hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 11:46:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Update QLDoc.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-12-12 11:09:36 +00:00
parent a6104ad878
commit f284fde93c
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/src/Critical/FlowAfterFree.qll
View File

@@ -94,8 +94,9 @@ module FlowFromFree<isSinkSig/2 isASink, isExcludedSig/2 isExcluded> {
} }
/** /**
* Holds if `n` is a dataflow node such that `n.asExpr() = e` and `e` * Holds if `n` is a dataflow node that represents the pointer passed to
* is being freed by a deallocation expression `dealloc`. * `dealloc` after the call returns (i.e., the post-update node associated with
* the argument to `dealloc`).
*/ */
predicate isFree(DataFlow::Node n, Expr e, DeallocationExpr dealloc) { predicate isFree(DataFlow::Node n, Expr e, DeallocationExpr dealloc) {
exists(Expr conv | exists(Expr conv |