hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 03:06:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add QLDoc to 'isExcludeFreePair'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-04-13 10:15:23 +01:00
parent e0aeea058e
commit d304022685
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/Critical/DoubleFree.ql
View File

@@ -31,6 +31,14 @@ predicate isExFreePoolCall(FunctionCall fc) {
fc.getTarget().hasGlobalName("ExFreePool") fc.getTarget().hasGlobalName("ExFreePool")
} }
/**
* `dealloc1` is a deallocation expression and `e` is an expression such
* that is deallocated by a deallocation expression, and the `(dealloc1, e)` pair
* should be excluded by the `FlowFromFree` library.
*
* Note that `e` is not necessarily the expression deallocated by `dealloc1`. It will
* be bound to the second deallocation as identified by the `FlowFromFree` library.
*/
bindingset[dealloc1, e] bindingset[dealloc1, e]
predicate isExcludeFreePair(DeallocationExpr dealloc1, Expr e) { predicate isExcludeFreePair(DeallocationExpr dealloc1, Expr e) {
exists(DeallocationExpr dealloc2 | isFree(_, e, dealloc2) | exists(DeallocationExpr dealloc2 | isFree(_, e, dealloc2) |