hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java/ArithmeticTainted

Browse Source 
java/ql/src/Security/CWE/CWE-190/ArithmeticTainted.ql
This commit is contained in:
Nora Dimitrijević
2025-10-08 14:56:11 +02:00
parent 913550f408
commit a228936c63
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/semmle/code/java/security/ArithmeticTaintedQuery.qll
View File

@@ -19,6 +19,8 @@ module ArithmeticOverflowConfig implements DataFlow::ConfigSig {
} }
Location getASelectedSinkLocation(DataFlow::Node sink) { Location getASelectedSinkLocation(DataFlow::Node sink) {
result = sink.getLocation()
or
exists(ArithExpr exp | result = exp.getLocation() | overflowSink(exp, sink.asExpr())) exists(ArithExpr exp | result = exp.getLocation() | overflowSink(exp, sink.asExpr()))
} }
} }
@@ -43,6 +45,8 @@ module ArithmeticUnderflowConfig implements DataFlow::ConfigSig {
} }
Location getASelectedSinkLocation(DataFlow::Node sink) { Location getASelectedSinkLocation(DataFlow::Node sink) {
result = sink.getLocation()
or
exists(ArithExpr exp | result = exp.getLocation() | underflowSink(exp, sink.asExpr())) exists(ArithExpr exp | result = exp.getLocation() | underflowSink(exp, sink.asExpr()))
} }
} }