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
)