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