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

C++: update docs for new range analysis AST wrapper

Browse Source
This commit is contained in:
Robert Marsh
2023-04-27 14:59:18 -04:00
parent 3f8638643e
commit 376e01ae3d
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/RangeAnalysis.qll
View File

@@ -1,6 +1,6 @@
/**
* Provides an AST-based interface to the relative range analysis, which tracks bounds of the form
* `a < B + delta` for expressions `a` and `b` and an integer offset `delta`.
* `a <= b + delta` for expressions `a` and `b` and an integer offset `delta`.
*/
private import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.RangeAnalysis
@@ -14,7 +14,7 @@ private import semmle.code.cpp.valuenumbering.GlobalValueNumbering
/**
* Holds if e is bounded by `b + delta`. The bound is an upper bound if
* `upper` is true, and can be traced baack to a guard represented by `reason`.
* `upper` is true, and can be traced back to a guard represented by `reason`.
*/
predicate bounded(Expr e, Bound b, float delta, boolean upper, Reason reason) {
exists(SemanticExprConfig::Expr semExpr |
@@ -26,7 +26,8 @@ predicate bounded(Expr e, Bound b, float delta, boolean upper, Reason reason) {
/**
* Holds if e is bounded by `b + delta`. The bound is an upper bound if
* `upper` is true, and can be traced baack to a guard represented by `reason`.
* `upper` is true, and can be traced back to a guard represented by `reason`.
* The `Expr` may be a conversion.
*/
predicate convertedBounded(Expr e, Bound b, float delta, boolean upper, Reason reason) {
exists(SemanticExprConfig::Expr semExpr |