hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Remove now redundant special cases.

Browse Source
This commit is contained in:
Geoffrey White
2020-01-17 17:04:57 +00:00
parent 200545d88c
commit fcea3693f9
1 changed files with 0 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/semmle/code/cpp/commons/NullTermination.qll
View File

@@ -80,14 +80,6 @@ predicate functionArgumentMustBeNullTerminated(Function f, int i) {
f.(ArrayFunction).hasArrayInput(i) f.(ArrayFunction).hasArrayInput(i)
or or
f instanceof StrcatFunction and i = 0 f instanceof StrcatFunction and i = 0
or
f.hasName("strlen") and i = 0
or
f.hasName("strcmp") and i in [0 .. 1]
or
f.hasName("strchr") and i = 0
or
f.hasName("strstr") and i in [0 .. 1]
} }
/** /**