CodeQL library for C/C++
Search

Predicate allocReaches

Holds if e is an expression which may evaluate to the result of previous memory allocations alloc only of type kind.

Import path

import Critical.NewDelete
predicate allocReaches(Expr e, Expr alloc, string kind)