Predicate NewDelete::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.

predicate allocReaches(Expr e, Expr alloc, string kind)