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

C++: Clean up QL.

Browse Source
This commit is contained in:
Geoffrey White
2021-10-19 14:08:46 +01:00
parent 6b0360acca
commit e487832823
1 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/lib/semmle/code/cpp/commons/NullTermination.qll
View File

@@ -21,12 +21,10 @@ predicate mayAddNullTerminator(Expr e, VariableAccess va) {
)
or
// Assignment to another stack variable
exists(Expr e0 |
exists(StackVariable v0, Expr val |
exprDefinition(v0, e, val) and // e resembles `v0 := val`
val.getAChild*() = va and
mayAddNullTerminator(e0, v0.getAnAccess())
)
exists(StackVariable v0, Expr val |
exprDefinition(v0, e, val) and // e resembles `v0 := val`
val.getAChild*() = va and
mayAddNullTerminator(_, v0.getAnAccess())
)
or
// Assignment to non-stack variable