Merge pull request github#12986 from aschackmull/java/mapvalue-precision

aschackmull · web-flow · commit 1185bfc90fd9 · 2023-05-04T14:52:41.000+02:00
Java: Force high precision for MapValueContent.
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
@@ -374,7 +374,7 @@ int accessPathLimit() { result = 5 }
  * precision. This disables adaptive access path precision for such access paths.
  */
 predicate forceHighPrecision(Content c) {
-  c instanceof ArrayContent or c instanceof CollectionContent
+  c instanceof ArrayContent or c instanceof CollectionContent or c instanceof MapValueContent
 }
 
 /** Holds if `n` should be hidden from path explanations. */

Original file line number	Diff line number	Diff line change
`@@ -374,7 +374,7 @@ int accessPathLimit() { result = 5 }`
`374`	`374`	`* precision. This disables adaptive access path precision for such access paths.`
`375`	`375`	`*/`
`376`	`376`	`predicate forceHighPrecision(Content c) {`
`377`		`- c instanceof ArrayContent or c instanceof CollectionContent`
	`377`	`+ c instanceof ArrayContent or c instanceof CollectionContent or c instanceof MapValueContent`
`378`	`378`	`}`
`379`	`379`
`380`	`380`	/** Holds if `n` should be hidden from path explanations. */