hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-25 08:37:20 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java/C#: Add missing files.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-01-30 17:44:32 +00:00
parent ee6624a425
commit d144c26c04
2 changed files with 75 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
java/ql/lib/semmle/code/java/dataflow/TaintTrackingStack.qll Normal file
View File

@@ -0,0 +1,38 @@
import java
private import semmle.code.java.dataflow.DataFlow
private import semmle.code.java.dataflow.TaintTracking
private import semmle.code.java.dataflow.internal.DataFlowImplSpecific
private import semmle.code.java.dataflow.internal.TaintTrackingImplSpecific
private import codeql.dataflowstack.TaintTrackingStack as TTS
private import TTS::TaintTrackingStackMake<Location, JavaDataFlow, JavaTaintTracking> as TaintTrackingStackFactory
private module TaintTrackingStackInput<TaintTrackingStackFactory::DataFlow::ConfigSig Config>
implements TTS::TaintTrackingStackSig<Location, JavaDataFlow, JavaTaintTracking, Config>
{
private module Flow = TaintTracking::Global<Config>;
JavaDataFlow::Node getNode(Flow::PathNode n) { result = n.getNode() }
predicate isSource(Flow::PathNode n) { n.isSource() }
Flow::PathNode getASuccessor(Flow::PathNode n) { result = n.getASuccessor() }
JavaDataFlow::DataFlowCallable getARuntimeTarget(JavaDataFlow::DataFlowCall call) {
result.asCallable() = call.asCall().getCallee()
}
JavaDataFlow::Node getAnArgumentNode(JavaDataFlow::DataFlowCall call) {
result = JavaDataFlow::exprNode(call.asCall().getAnArgument())
}
}
module DataFlowStackMake<TaintTrackingStackFactory::DataFlow::ConfigSig Config> {
import TaintTrackingStackFactory::FlowStack<Config, TaintTrackingStackInput<Config>>
}
module BiStackAnalysisMake<
TaintTrackingStackFactory::DataFlow::ConfigSig ConfigA,
TaintTrackingStackFactory::DataFlow::ConfigSig ConfigB>
{
import TaintTrackingStackFactory::BiStackAnalysis<ConfigA, TaintTrackingStackInput<ConfigA>, ConfigB, TaintTrackingStackInput<ConfigB>>
}