PS: Add taint-tracking files.

This commit is contained in:
Mathias Vorreiter Pedersen
2024-10-16 18:16:50 +01:00
parent 4cd37d63d7
commit 3c18124faf
2 changed files with 19 additions and 0 deletions

View File

@@ -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<Location, PowershellDataFlow, PowershellTaintTracking>
}

View File

@@ -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
}