Predicate Make::Flow::hasProperty
Holds if all flow reaching n originates from nodes in
hasPropertyBase. The property t is taken from one of those origins
such that all other origins imply t.
Import path
import codeql.typeflow.UniversalFlowpredicate hasProperty(FlowNode n, Prop t)