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

C++: Update qldoc in reponse to PR comments

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-07-15 16:24:47 +02:00
parent c4b97a3a62
commit 289a908eb8
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/src/semmle/code/cpp/commons/Printf.qll
View File

@@ -78,8 +78,9 @@ private predicate callsVariadicFormatterOutput(Function f, int outputParamIndex)
}
/**
* Holds if `f` is a function such as `vprintf` that writes formatted
* output to buffer given as a parameter at index `outputParamIndex`, if any.
* Holds if `f` is a function such as `vprintf` that takes variable argument list
* of type `va_arg` and writes formatted output to a buffer given as a parameter at
* index `outputParamIndex`, if any.
*/
private predicate variadicFormatterOutput(Function f, int outputParamIndex) {
primitiveVariadicFormatterOutput(f, outputParamIndex)