Module Make
Provides an implementation of universal flow using input I.
Import path
import codeql.typeflow.UniversalFlowModules
| Flow | Calculates a unary property using universal flow given a base case relation. |
| FlowNullary | Calculates a (nullary) property using universal flow given a base case relation. |
| Internal | Provides access to internal step relations. |