Module signature TypeTrackingInput
The step relations for type tracking.
Import path
import codeql.typetracking.TypeTracking
Predicates
callStep | Holds if |
compatibleContents | Holds if a value stored with |
hasFeatureBacktrackStoreTarget | Holds if the target of store steps should be backtracked via |
jumpStep | Holds if data can flow from |
levelStepCall | Holds if there is a level step from |
levelStepNoCall | Holds if there is a level step from |
loadStep | Holds if |
loadStoreStep | Holds if the content |
nonStandardFlowsTo | Holds if a non-standard |
returnStep | Holds if |
simpleLocalSmallStep | Holds if there is a simple local flow step from |
storeStep | Holds if |
withContentStep | Holds if type-tracking should step from |
withoutContentStep | Holds if type-tracking should step from |
Types
Content | A type of content to be used with the store and read steps. |
ContentFilter | A label to use for |
LocalSourceNode | A node that is the source of local flow. This defines the end-points of the big-step relation used by type-trackers once the transitive closure of |
Node | A node that is used by the type-trackers. |