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

C++: Make the ql-for-ql checks happy.

Browse Source
This commit is contained in:
Geoffrey White
2022-10-06 11:25:22 +01:00
parent 86756538f2
commit c6b7bb436d
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/src/Security/CWE/CWE-121/UnterminatedVarargsCall.ql
View File

@@ -60,11 +60,11 @@ class VarargsFunction extends Function {
// the terminator is 0 or -1
result = ["0", "-1"] and
// at least 80% of calls have the terminator
cnt = trailingArgValueCount(result) and
totalCount = totalCount() and
cnt = this.trailingArgValueCount(result) and
totalCount = this.totalCount() and
100 * cnt / totalCount >= 80 and
// terminator value is not used in a non-terminating position
not exists(FunctionCall fc, int index | nonTrailingVarArgValue(fc, index) = result)
not exists(FunctionCall fc, int index | this.nonTrailingVarArgValue(fc, index) = result)
}
predicate isWhitelisted() {