Module Make::FlowNullary
Calculates a (nullary) property using universal flow given a base case relation.
Import path
import codeql.typeflow.UniversalFlowPredicates
| hasProperty | Holds if all flow reaching |
Calculates a (nullary) property using universal flow given a base case relation.
import codeql.typeflow.UniversalFlow| hasProperty | Holds if all flow reaching |