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

C++: Use GVN for base case.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-07-16 11:00:14 +01:00
parent 575fbd2578
commit d539ce0a01
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql
View File

@@ -40,7 +40,10 @@ predicate isGuarded(SubExpr sub, Expr left, Expr right) {
*/
Expr exprIsLeftOrLessBase(SubExpr sub) {
interestingSubExpr(sub, _) and // Manual magic
result = sub.getLeftOperand()
exists(Expr e | globalValueNumber(e).getAnExpr() = sub.getLeftOperand() |
// result = sub.getLeftOperand() so result <= sub.getLeftOperand()
result = e
)
}
/**