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

Module TypeTracking :: TypeTrack

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

Import path

import codeql.typetracking.TypeTracking

Predicates

flowsTo

Holds if the given source flows to n.

Modules

Graph

Given a sink definition, constructs the relation of edges that can be used in a source-sink path and calculates the set of source-sink pairs.

Parameters

source endpoint