File tree Expand file tree Collapse file tree
java/ql/src/Security/CWE/CWE-190 Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -19,7 +19,7 @@ import DataFlow::PathGraph
1919class ArithmeticTaintedLocalOverflowConfig extends TaintTracking:: Configuration {
2020 ArithmeticTaintedLocalOverflowConfig ( ) { this = "ArithmeticTaintedLocalOverflowConfig" }
2121
22- override predicate isSource ( DataFlow:: Node source ) { source instanceof RemoteFlowSource }
22+ override predicate isSource ( DataFlow:: Node source ) { source instanceof LocalUserInput }
2323
2424 override predicate isSink ( DataFlow:: Node sink ) { overflowSink ( _, sink .asExpr ( ) ) }
2525
@@ -29,7 +29,7 @@ class ArithmeticTaintedLocalOverflowConfig extends TaintTracking::Configuration
2929class ArithmeticTaintedLocalUnderflowConfig extends TaintTracking:: Configuration {
3030 ArithmeticTaintedLocalUnderflowConfig ( ) { this = "ArithmeticTaintedLocalUnderflowConfig" }
3131
32- override predicate isSource ( DataFlow:: Node source ) { source instanceof RemoteFlowSource }
32+ override predicate isSource ( DataFlow:: Node source ) { source instanceof LocalUserInput }
3333
3434 override predicate isSink ( DataFlow:: Node sink ) { underflowSink ( _, sink .asExpr ( ) ) }
3535
You can’t perform that action at this time.
0 commit comments