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++: Exclude custom vprintf implementations.

Browse Source
This commit is contained in:
Geoffrey White
2021-01-29 19:25:41 +00:00
parent 527c41520e
commit 03922aa1f5
1 changed files with 4 additions and 1 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

@@ -50,7 +50,10 @@ predicate primitiveVariadicFormatter(
then formatParamIndex = f.getNumberOfParameters() - 3
else formatParamIndex = f.getNumberOfParameters() - 2
) and
if type = "" then outputParamIndex = -1 else outputParamIndex = 0 // Conveniently, these buffer parameters are all at index 0.
(
if type = "" then outputParamIndex = -1 else outputParamIndex = 0 // Conveniently, these buffer parameters are all at index 0.
) and
not exists(f.getBlock()) // exclude functions with an implementation in the snapshot as they may not be standard implementations.
}
private predicate callsVariadicFormatter(