Predicate isUse0
Holds if e
is a use. A use is a pointer dereference or a
parameter to a call with no function definition.
Uses in deallocation expressions (e.g., free) are excluded.
Default isUse definition for an expression.
Import path
import semmle.code.cpp.security.flowafterfree.UseAfterFree