hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 03:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++/Docs: respond to simple PR comments

Browse Source
This commit is contained in:
Robert Marsh
2019-10-08 10:53:54 -07:00
parent a90e8684e4
commit aee87ebaaa
3 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/language/learn-ql/cpp/range-analysis.rst
View File

@@ -13,7 +13,7 @@ The ``upperBound`` and ``lowerBound`` predicates provide constant bounds on expr
Overflow predicates
-------------------
``defMightOverflow``, ``exprMightOverflow``, and related predicates hold if the relevant definition or expression might overflow, as determined by the range analysis library. The ``convertedExprMightOverflow`` family of predicates will take conversions into account.
``exprMightOverflow`` and related predicates hold if the relevant expression might overflow, as determined by the range analysis library. The ``convertedExprMightOverflow`` family of predicates will take conversions into account.
Example
-------
@@ -25,7 +25,7 @@ This query uses ``upperBound`` to determine whether the result of ``snprintf`` i
where
// the call is an snprintf with a string format argument
call.getTarget().getName() = "snprintf" and
call.getArgument(2).getValue().regexpMatch("(?s).*%s.*") and
call.getArgument(2).getValue().regexpMatch(".*%s.*") and
// the result of the call influences its size argument in later iterations
TaintTracking::localTaint(source, sink) and