CodeQL library for C/C++
Search

Predicate freeExprOrIndirect

Holds if free is a use of free or delete, or a function wrapping one of those. freed is the expression that is freed / deleted and kind is a string describing the type of that free or delete.

Import path

import Critical.NewDelete
predicate freeExprOrIndirect(Expr free, Expr freed, string kind)