Skip to content

Commit ba4e3ae

Browse files
MathiasVPgeoffw0
andauthored
Update cpp/ql/src/Critical/FlowAfterFree.qll
Co-authored-by: Geoffrey White <[email protected]>
1 parent ab70f57 commit ba4e3ae

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/src/Critical/FlowAfterFree.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -103,7 +103,7 @@ module FlowFromFree<isSinkSig/2 isASink, isExcludedSig/2 isExcluded> {
103103

104104
/**
105105
* Holds if `n` is a dataflow node such that `n.asExpr() = e` and `e`
106-
* is being freed by a deallocation function `dealloc`.
106+
* is being freed by a deallocation expression `dealloc`.
107107
*/
108108
predicate isFree(DataFlow::Node n, Expr e, DeallocationExpr dealloc) {
109109
e = dealloc.getFreedExpr() and

0 commit comments

Comments
 (0)