hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 03:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Move query over to Rasmus's API for NumericValue

Browse Source
This commit is contained in:
Rebecca Valentine
2020-02-20 16:18:54 -08:00
parent ab1fcb32ae
commit 376638e9c0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/Expressions/TruncatedDivision.ql
View File

@@ -26,7 +26,7 @@ where
and bin.getRight().pointsTo(rval, right)
and rval.getClass() = ClassValue::int_()
// Ignore instances where integer division leaves no remainder
and not lval.(NumericValue).intValue() % rval.(NumericValue).intValue() = 0
and not lval.(NumericValue).getIntValue() % rval.(NumericValue).getIntValue() = 0
and not bin.getNode().getEnclosingModule().hasFromFuture("division")
// Filter out results wrapped in `int(...)`
and not exists(CallNode c |