Predicate functionDereferences
Holds if the body of a function f is likely to dereference its ith
parameter unconditionally. This analysis does not account for reassignment.
Import path
import semmle.code.cpp.controlflow.Dereferencedpredicate functionDereferences(Function f, int i)