mirror of
https://github.com/github/codeql.git
synced 2025-12-24 04:36:35 +01:00
36 lines
1.3 KiB
Plaintext
36 lines
1.3 KiB
Plaintext
import csharp
|
|
import DataFlow
|
|
import semmle.code.csharp.dataflow.ExternalFlow
|
|
import ModelValidation
|
|
import semmle.code.csharp.dataflow.FlowSummary
|
|
import semmle.code.csharp.dataflow.internal.DataFlowDispatch as DataFlowDispatch
|
|
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
|
|
|
|
private SummarizedCallable getRelevantSummarizedCallable() {
|
|
exists(SummarizedCallable sc |
|
|
sc.getDeclaringType*().getName() = "C" and
|
|
sc instanceof DataFlowDispatch::DataFlowSummarizedCallable and
|
|
result = sc
|
|
)
|
|
}
|
|
|
|
query predicate summaryThroughStep(
|
|
DataFlow::Node node1, DataFlow::Node node2, boolean preservesValue
|
|
) {
|
|
FlowSummaryImpl::Private::Steps::summaryThroughStepValue(node1, node2,
|
|
getRelevantSummarizedCallable()) and
|
|
preservesValue = true
|
|
or
|
|
FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(node1, node2,
|
|
getRelevantSummarizedCallable()) and
|
|
preservesValue = false
|
|
}
|
|
|
|
query predicate summaryGetterStep(DataFlow::Node arg, DataFlow::Node out, Content c) {
|
|
FlowSummaryImpl::Private::Steps::summaryGetterStep(arg, c, out, getRelevantSummarizedCallable())
|
|
}
|
|
|
|
query predicate summarySetterStep(DataFlow::Node arg, DataFlow::Node out, Content c) {
|
|
FlowSummaryImpl::Private::Steps::summarySetterStep(arg, c, out, getRelevantSummarizedCallable())
|
|
}
|