peperunas/harden
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

samples: Added sample int overflow query

Browse Source
This commit is contained in:
Giulio De Pasquale 2023-02-17 14:27:28 -08:00
parent b37960c8b7
commit 830306ecb0
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
codeql/samples/integer_overflow/findIntegerOverflow.ql Normal file
View File

@ -0,0 +1,12 @@
import cpp
import semmle.code.cpp.security.FlowSources
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
import semmle.code.cpp.valuenumbering.GlobalValueNumbering
from RelationalOperation ro, AddExpr add, Expr exprOne, Expr exprTwo
where
add.getAnOperand() = exprOne and
add.getAnOperand() = exprTwo and
globalValueNumber(exprOne) = globalValueNumber(exprTwo) and
exprMightOverflowPositively(add) or exprMightOverflowNegatively(add)
select add