Java: Force high precision for MapValueContent.

aschackmull · aschackmull · commit 97cd3b85764f · 2023-05-02T11:19:21.000+02:00
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. */