C++/ArithmeticUncontrolled

d10c · d10c · commit f3d51e01513c · 2025-10-28T09:41:57.000+01:00
diff --git a/cpp/ql/src/Security/CWE/CWE-190/ArithmeticUncontrolled.ql b/cpp/ql/src/Security/CWE/CWE-190/ArithmeticUncontrolled.ql
@@ -124,7 +124,7 @@ module UncontrolledArithConfig implements DataFlow::ConfigSig {
   predicate observeDiffInformedIncrementalMode() { any() }
 
   Location getASelectedSourceLocation(DataFlow::Node source) {
-    result = getExpr(source).getLocation()
+    result = [getExpr(source).getLocation(), source.getLocation()]
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -124,7 +124,7 @@ module UncontrolledArithConfig implements DataFlow::ConfigSig {`
`124`	`124`	`predicate observeDiffInformedIncrementalMode() { any() }`
`125`	`125`
`126`	`126`	`Location getASelectedSourceLocation(DataFlow::Node source) {`
`127`		`- result = getExpr(source).getLocation()`
	`127`	`+ result = [getExpr(source).getLocation(), source.getLocation()]`
`128`	`128`	`}`
`129`	`129`	`}`
`130`	`130`