mirror of
https://github.com/github/codeql.git
synced 2025-12-27 22:26:31 +01:00
23 lines
755 B
Plaintext
23 lines
755 B
Plaintext
/**
|
|
* Provides classes for performing local (intra-procedural) and
|
|
* global (inter-procedural) data flow analyses.
|
|
*/
|
|
|
|
import codeql.Locations
|
|
|
|
module DataFlow {
|
|
private import codeql.dataflow.DataFlow
|
|
private import codeql.actions.dataflow.internal.DataFlowImplSpecific
|
|
import DataFlowMake<Location, ActionsDataFlow>
|
|
import codeql.actions.dataflow.internal.DataFlowPublic
|
|
// debug
|
|
private import codeql.actions.dataflow.internal.TaintTrackingImplSpecific
|
|
import codeql.dataflow.internal.DataFlowImplConsistency as DFIC
|
|
|
|
module ActionsConsistency implements DFIC::InputSig<Location, ActionsDataFlow> { }
|
|
|
|
module Consistency {
|
|
import DFIC::MakeConsistency<Location, ActionsDataFlow, ActionsTaintTracking, ActionsConsistency>
|
|
}
|
|
}
|