hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 18:25:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Allow declarations of library printf functions in source (repairs most of the tests).

Browse Source
This commit is contained in:
Geoffrey White
2018-09-07 10:25:24 +01:00
parent fe8f7e9624
commit 6e5207ce3c
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/src/semmle/code/cpp/models/implementations/Printf.qll
View File

@@ -13,7 +13,7 @@ class Printf extends FormattingFunction {
hasGlobalName("wprintf_s") or
hasGlobalName("g_printf")
) and
not exists(getADeclarationEntry().getFile().getRelativePath())
not exists(getDefinition().getFile().getRelativePath())
}
override int getFormatParameterIndex() { result=0 }
@@ -34,7 +34,7 @@ class Fprintf extends FormattingFunction {
hasGlobalName("fwprintf") or
hasGlobalName("g_fprintf")
) and
not exists(getADeclarationEntry().getFile().getRelativePath())
not exists(getDefinition().getFile().getRelativePath())
}
override int getFormatParameterIndex() { result=1 }
@@ -57,7 +57,7 @@ class Sprintf extends FormattingFunction {
hasGlobalName("g_sprintf") or
hasGlobalName("__builtin___sprintf_chk")
) and
not exists(getADeclarationEntry().getFile().getRelativePath())
not exists(getDefinition().getFile().getRelativePath())
}
override predicate isWideCharDefault() {
@@ -111,7 +111,7 @@ class Snprintf extends FormattingFunction {
or hasGlobalName("wnsprintf")
or hasGlobalName("__builtin___snprintf_chk")
) and
not exists(getADeclarationEntry().getFile().getRelativePath())
not exists(getDefinition().getFile().getRelativePath())
}
override int getFormatParameterIndex() {
@@ -150,7 +150,7 @@ class Snprintf extends FormattingFunction {
hasGlobalName("__builtin___snprintf_chk") or
hasGlobalName("snprintf_s")
) and
not exists(getADeclarationEntry().getFile().getRelativePath())
not exists(getDefinition().getFile().getRelativePath())
}
override int getSizeParameterIndex() {
@@ -173,7 +173,7 @@ class StringCchPrintf extends FormattingFunction {
or hasGlobalName("StringCbPrintf_l")
or hasGlobalName("StringCbPrintf_lEx")
) and
not exists(getADeclarationEntry().getFile().getRelativePath())
not exists(getDefinition().getFile().getRelativePath())
}
override int getFormatParameterIndex() {