Predicate isUse
Holds if n represents the expression e, and e is a pointer that is
guaranteed to be dereferenced (either because it’s an operand of a
dereference operation, or because it’s an argument to a function that
always dereferences the parameter).
Import path
import semmle.code.cpp.security.flowafterfree.UseAfterFree