Predicate callDereferences
Holds if the call fc will dereference argument i.
Import path
import cpppredicate callDereferences(FunctionCall fc, int i)Holds if the call fc will dereference argument i.
import cpppredicate callDereferences(FunctionCall fc, int i)