Sync ArithmeticTaintedLocalQuery

egregius313 · egregius313 · commit ec84f072ebfd · 2023-10-12T09:58:08.000-04:00
diff --git a/java/ql/lib/semmle/code/java/security/ArithmeticTaintedLocalQuery.qll b/java/ql/lib/semmle/code/java/security/ArithmeticTaintedLocalQuery.qll
@@ -13,6 +13,8 @@ module ArithmeticTaintedLocalOverflowConfig implements DataFlow::ConfigSig {
   predicate isSink(DataFlow::Node sink) { overflowSink(_, sink.asExpr()) }
 
   predicate isBarrier(DataFlow::Node n) { overflowBarrier(n) }
+
+  predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }
 
 /**
@@ -30,6 +32,8 @@ module ArithmeticTaintedLocalUnderflowConfig implements DataFlow::ConfigSig {
   predicate isSink(DataFlow::Node sink) { underflowSink(_, sink.asExpr()) }
 
   predicate isBarrier(DataFlow::Node n) { underflowBarrier(n) }
+
+  predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -13,6 +13,8 @@ module ArithmeticTaintedLocalOverflowConfig implements DataFlow::ConfigSig {`
`13`	`13`	`predicate isSink(DataFlow::Node sink) { overflowSink(_, sink.asExpr()) }`
`14`	`14`
`15`	`15`	`predicate isBarrier(DataFlow::Node n) { overflowBarrier(n) }`
	`16`	`+`
	`17`	`+ predicate isBarrierIn(DataFlow::Node node) { isSource(node) }`
`16`	`18`	`}`
`17`	`19`
`18`	`20`	`/**`
`@@ -30,6 +32,8 @@ module ArithmeticTaintedLocalUnderflowConfig implements DataFlow::ConfigSig {`
`30`	`32`	`predicate isSink(DataFlow::Node sink) { underflowSink(_, sink.asExpr()) }`
`31`	`33`
`32`	`34`	`predicate isBarrier(DataFlow::Node n) { underflowBarrier(n) }`
	`35`	`+`
	`36`	`+ predicate isBarrierIn(DataFlow::Node node) { isSource(node) }`
`33`	`37`	`}`
`34`	`38`
`35`	`39`	`/**`