Predicate dereferencedByOperation
Holds if evaluation of op dereferences e.
Import path
import semmle.code.cpp.controlflow.Dereferencedpredicate dereferencedByOperation(Expr op, Expr e)Holds if evaluation of op dereferences e.
import semmle.code.cpp.controlflow.Dereferencedpredicate dereferencedByOperation(Expr op, Expr e)