Module NewDelete

Provides predicates for associating new/malloc calls with delete/free.

Import path

Critical.NewDelete

Imports

SSA
cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.

Predicates

allocExpr

Holds if alloc is a use of malloc or new. kind is a string describing the type of the allocation.

allocExprOrIndirect

Holds if alloc is a use of malloc or new, or a function wrapping one of those. kind is a string describing the type of the allocation.

allocReaches

Holds if e is an expression which may evaluate to the result of a previous memory allocation alloc. kind is a string describing the type of that allocation.

freeExpr

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

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.