Predicate functionEntry
Holds if entry is the entry point of a function.
Import path
import cpppredicate functionEntry(ControlFlowNode entry)Holds if entry is the entry point of a function.
import cpppredicate functionEntry(ControlFlowNode entry)