We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
freeCall
1 parent 391d9be commit aa00424Copy full SHA for aa00424
cpp/ql/src/experimental/Security/CWE/CWE-415/DoubleFree.ql
@@ -14,8 +14,8 @@ import cpp
14
15
from FunctionCall fc, FunctionCall fc2, LocalScopeVariable v
16
where
17
- freeCall(fc, v.getAnAccess()) and
18
- freeCall(fc2, v.getAnAccess()) and
+ fc.(DeallocationExpr).getFreedExpr() = v.getAnAccess() and
+ fc2.(DeallocationExpr).getFreedExpr() = v.getAnAccess() and
19
fc != fc2 and
20
fc.getASuccessor*() = fc2 and
21
not exists(Expr exptmp |
0 commit comments