Predicate Make::FlowNullary::hasProperty
Holds if all flow reaching n originates from nodes in
hasPropertyBase.
Import path
import codeql.typeflow.UniversalFlowpredicate hasProperty(FlowNode n)Holds if all flow reaching n originates from nodes in
hasPropertyBase.
import codeql.typeflow.UniversalFlowpredicate hasProperty(FlowNode n)