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

C++: Add number of bounds test to simple range analysis

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-10-15 13:32:05 +02:00
parent 7eacd87343
commit 8896a7210b
3 changed files with 4580 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll
View File

@@ -2140,4 +2140,7 @@ module SimpleRangeAnalysisInternal {
// bound is `typeUpperBound`. // bound is `typeUpperBound`.
defMightOverflowNegatively(def, v) and result = varMaxVal(v) defMightOverflowNegatively(def, v) and result = varMaxVal(v)
} }
/** Gets the estimate of the number of bounds for `e`. */
float estimateNrOfBounds(Expr e) { result = BoundsEstimate::nrOfBoundsExpr(e) }
} }

4572
cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/nrOfBounds.expected Normal file
View File

File diff suppressed because it is too large Load Diff

5
cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/nrOfBounds.ql Normal file
View File

@@ -0,0 +1,5 @@
import cpp
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
from Expr e
select e, SimpleRangeAnalysisInternal::estimateNrOfBounds(e)