Module TypeTracking
Provides classes and predicates for simple data-flow reachability suitable for tracking types.
Import path
import codeql.ruby.typetracking.TypeTrackingImports
| TypeTracking<Locations::Location, TypeTrackingImpl::TypeTrackingInput> | Given a set of step relations, this module provides classes and predicates for simple data-flow reachability suitable for tracking types. |