Module CallGraphConstruction::Make
Provides the track predicate for use in call graph construction.
Import path
import codeql.ruby.typetracking.TypeTrackerPredicates
| track | Gets a node that can be reached from some start node in state |
Parameters
| Input | InputSig |