diff --git a/powershell/ql/lib/semmle/code/powershell/dataflow/TaintTracking.qll b/powershell/ql/lib/semmle/code/powershell/dataflow/TaintTracking.qll new file mode 100644 index 00000000000..af2fc727f74 --- /dev/null +++ b/powershell/ql/lib/semmle/code/powershell/dataflow/TaintTracking.qll @@ -0,0 +1,12 @@ +/** + * Provides classes for performing local (intra-procedural) and + * global (inter-procedural) taint-tracking analyses. + */ +module TaintTracking { + import semmle.code.powershell.dataflow.internal.TaintTrackingImpl::Public + private import semmle.code.powershell.dataflow.internal.DataFlowImplSpecific + private import semmle.code.powershell.dataflow.internal.TaintTrackingImplSpecific + private import codeql.dataflow.TaintTracking + private import powershell + import TaintFlowMake +} diff --git a/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingImpl.qll b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingImpl.qll new file mode 100644 index 00000000000..e9b742f420b --- /dev/null +++ b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingImpl.qll @@ -0,0 +1,7 @@ +import semmle.code.powershell.dataflow.internal.TaintTrackingPublic as Public + +module Private { + import semmle.code.powershell.dataflow.DataFlow::DataFlow as DataFlow + import semmle.code.powershell.dataflow.internal.DataFlowImpl as DataFlowInternal + import semmle.code.powershell.dataflow.internal.TaintTrackingPrivate +}