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

Update DivideByZeroUsingReturnValue.ql

Browse Source
This commit is contained in:
ihsinme
2023-02-19 21:41:28 +03:00
committed by GitHub
parent 065ca3c227
commit 49af5ec536
1 changed files with 1 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/src/experimental/Security/CWE/CWE-369/DivideByZeroUsingReturnValue.ql
View File

@@ -122,10 +122,7 @@ predicate compareFunctionWithValue(Expr guardExp, Function compArg, Expr valArg)
pragma[inline]
predicate checkConditions1(Expr div, Function fn, float changeInt) {
exists(Expr val |
(
val.getEnclosingFunction() = fn //or
//val.getEnclosingFunction() = div.getEnclosingFunction()
) and
val.getEnclosingFunction() = fn and
val.getValue().toFloat() = changeInt and
compareFunctionWithValue(div, fn, val)
)