Predicate callDereferences
Holds if the call fc will dereference argument i.
Import path
import semmle.code.cpp.controlflow.Dereferencedpredicate callDereferences(FunctionCall fc, int i)Holds if the call fc will dereference argument i.
import semmle.code.cpp.controlflow.Dereferencedpredicate callDereferences(FunctionCall fc, int i)