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

C++: Support custom range expression modeling for variable accesses

Browse Source
This commit is contained in:
lcartey@github.com
2020-07-08 17:56:31 +01:00
parent b4929dbb97
commit 0638b512bc
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll
View File

@@ -720,7 +720,9 @@ private float getLowerBoundsImpl(Expr expr) {
or or
// Use SSA to get the lower bounds for a variable use. // Use SSA to get the lower bounds for a variable use.
exists(RangeSsaDefinition def, StackVariable v | expr = def.getAUse(v) | exists(RangeSsaDefinition def, StackVariable v | expr = def.getAUse(v) |
result = getDefLowerBounds(def, v) result = getDefLowerBounds(def, v) and
// Not explicitly modeled by a RangeAnalysisExpr
not expr instanceof RangeAnalysisExpr
) )
or or
// unsigned `&` (tighter bounds may exist) // unsigned `&` (tighter bounds may exist)
@@ -893,7 +895,9 @@ private float getUpperBoundsImpl(Expr expr) {
or or
// Use SSA to get the upper bounds for a variable use. // Use SSA to get the upper bounds for a variable use.
exists(RangeSsaDefinition def, StackVariable v | expr = def.getAUse(v) | exists(RangeSsaDefinition def, StackVariable v | expr = def.getAUse(v) |
result = getDefUpperBounds(def, v) result = getDefUpperBounds(def, v) and
// Not explicitly modeled by a RangeAnalysisExpr
not expr instanceof RangeAnalysisExpr
) )
or or
// unsigned `&` (tighter bounds may exist) // unsigned `&` (tighter bounds may exist)