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

Module TypeTracking :: ConsistencyChecks

Provides consistency checks for the type-tracker step relations.

Import path

import codeql.typetracking.TypeTracking

Predicates

nonSourceStoreTarget

Holds if there is a store target that isn’t a LocalSourceNode and backtracking store target feature isn’t enabled.

unreachableNode

Holds if there is any node in a step relation that is unreachable from a LocalSourceNode.