mirror of
https://github.com/github/codeql.git
synced 2026-07-12 23:15:40 +02:00
This module (which for convenience currently resides inside `DataFlowDispatch`, but this may change later) contains convenience predicates for bridging the gap between the data-flow layer and the old points-to analysis.