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

C++: Improve QLDoc.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-01-13 11:01:23 +00:00
committed by GitHub
parent dd8bead21a
commit 59072f9e81
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/src/Critical/MissingCheckScanf.ql
View File

@@ -33,8 +33,8 @@ predicate isSource(ScanfFunctionCall call, int index, Instruction instr, ValueNu
}
/**
* Holds if `instr` is control-flow reachable in 0 or more steps from an a call
* to a call to a `scanf`-like function.
* Holds if `instr` is control-flow reachable in 0 or more steps from
* a call to a `scanf`-like function.
*/
pragma[nomagic]
predicate fwdFlow0(Instruction instr) {
@@ -94,6 +94,9 @@ private predicate fwdFlow(Instruction instr, ValueNumber vn) {
* Holds if `instr` is part of a path from a call to a `scanf`-like function
* that writes to a variable with value number `vn`, without passing through
* redefinitions of the variable.
*
* Note: This predicate only holds for the `(intr, vn)` pairs that are also
* control-flow reachable from an argument to a `scanf`-like function call.
*/
pragma[nomagic]
predicate revFlow(Instruction instr, ValueNumber vn) {