Update CompilerRemovalOfCodeToClearBuffers.ql

ihsinme · web-flow · commit 10ab1d9b549b · 2021-01-14T17:24:49.000+03:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-14/CompilerRemovalOfCodeToClearBuffers.ql b/cpp/ql/src/experimental/Security/CWE/CWE-14/CompilerRemovalOfCodeToClearBuffers.ql
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ class CompilerRemovaMemset extends FunctionCall {`
`29`	`29`	`}`
`30`	`30`
`31`	`31`	`predicate isExistsAllocForThisVariable() {`
`32`		`- exists(FunctionCall alloc, Variable v \|`
	`32`	`+ exists(AllocationExpr alloc, Variable v \|`
`33`	`33`	`alloc = v.getAnAssignedValue() and`
`34`	`34`	`this.getArgument(0) = v.getAnAccess() and`
`35`	`35`	`alloc.getASuccessor+() = this`