Sync ImproperValidationOfArrayIndexLocalQuery

egregius313 · egregius313 · commit f1886320e50e · 2023-10-12T09:58:08.000-04:00
diff --git a/java/ql/lib/semmle/code/java/security/ImproperValidationOfArrayIndexLocalQuery.qll b/java/ql/lib/semmle/code/java/security/ImproperValidationOfArrayIndexLocalQuery.qll
@@ -13,6 +13,10 @@ module ImproperValidationOfArrayIndexLocalConfig implements DataFlow::ConfigSig
   predicate isSink(DataFlow::Node sink) {
     any(CheckableArrayAccess caa).canThrowOutOfBounds(sink.asExpr())
   }
+
+  predicate isBarrier(DataFlow::Node node) { node.getType() instanceof BooleanType }
+
+  predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -13,6 +13,10 @@ module ImproperValidationOfArrayIndexLocalConfig implements DataFlow::ConfigSig`
`13`	`13`	`predicate isSink(DataFlow::Node sink) {`
`14`	`14`	`any(CheckableArrayAccess caa).canThrowOutOfBounds(sink.asExpr())`
`15`	`15`	`}`
	`16`	`+`
	`17`	`+ predicate isBarrier(DataFlow::Node node) { node.getType() instanceof BooleanType }`
	`18`	`+`
	`19`	`+ predicate isBarrierIn(DataFlow::Node node) { isSource(node) }`
`16`	`20`	`}`
`17`	`21`
`18`	`22`	`/**`