Predicate mayReturnNull
Holds if f
may, directly or indirectly, return a null literal.
Import path
import cpp
predicate mayReturnNull(Function f)
Holds if f
may, directly or indirectly, return a null literal.
import cpp
predicate mayReturnNull(Function f)