Update CompilerRemovalOfCodeToClearBuffers.ql

This commit is contained in:
ihsinme
2021-01-14 17:24:49 +03:00
committed by GitHub
parent cd0d2a5692
commit 10ab1d9b54

View File

@@ -29,7 +29,7 @@ class CompilerRemovaMemset extends FunctionCall {
}
predicate isExistsAllocForThisVariable() {
exists(FunctionCall alloc, Variable v |
exists(AllocationExpr alloc, Variable v |
alloc = v.getAnAssignedValue() and
this.getArgument(0) = v.getAnAccess() and
alloc.getASuccessor+() = this