Predicate dereferenced
Holds if e will be dereferenced after being evaluated.
Import path
import semmle.code.cpp.controlflow.Dereferencedpredicate dereferenced(Expr e)Holds if e will be dereferenced after being evaluated.
import semmle.code.cpp.controlflow.Dereferencedpredicate dereferenced(Expr e)