Module Cached
Import path
import codeql.ruby.typetracking.TypeTrackerPredicates
| append | Gets the summary resulting from appending |
| prepend | Gets the summary resulting from prepending |
| smallstepCall | |
| smallstepNoCall | |
| stepCall | Gets the summary that corresponds to having taken a forwards inter-procedural step from |
| stepNoCall | Gets the summary that corresponds to having taken a forwards heap and/or intra-procedural step from |
Datatypes
| TStepSummary | A description of a step on an inter-procedural data flow path. |
| TTypeBackTracker | |
| TTypeTracker |