CodeQL library for Java
codeql/java-all 0.5.5 ( changelog , source )
Search

Module TypeTracking

Given a set of step relations, this module provides classes and predicates for simple data-flow reachability suitable for tracking types.

Import path

import codeql.typetracking.TypeTracking

Predicates

flowsTo

Holds if there is flow from localSource to dst using zero or more simpleLocalSmallSteps.

Classes

TypeBackTracker

A summary of the steps needed to back-track a use of a value to a given dataflow node.

TypeTracker

A summary of the steps needed to track a value to a given dataflow node.

Modules

ConsistencyChecks

Provides consistency checks for the type-tracker step relations.

TypeBackTracker

Provides predicates for implementing custom TypeBackTrackers.

TypeTrack

Given a source definition, constructs the default forward type tracking from those sources.

TypeTracker

Provides predicates for implementing custom TypeTrackers.

Predicate signatures

Parameters