hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 19:55:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#/Java: Some light re-factoring.

Browse Source
This commit is contained in:
Michael Nebel
2023-03-16 14:08:17 +01:00
parent b17a71674a
commit d258a1c728
9 changed files with 5 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/src/utils/modelgenerator/CaptureDiscardedSummaryModels.ql
View File

@@ -6,7 +6,7 @@
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
import internal.CaptureModels
import internal.CaptureSummaryFlow
import internal.CaptureSummaryFlowQuery
from DataFlowTargetApi api, string flow
where

2
csharp/ql/src/utils/modelgenerator/CaptureNeutralModels.ql
View File

@@ -8,7 +8,7 @@
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
import internal.CaptureModels
import internal.CaptureSummaryFlow
import internal.CaptureSummaryFlowQuery
from DataFlowTargetApi api, string noflow
where

2
csharp/ql/src/utils/modelgenerator/CaptureSummaryModels.ql
View File

@@ -8,7 +8,7 @@
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
import internal.CaptureModels
import internal.CaptureSummaryFlow
import internal.CaptureSummaryFlowQuery
from DataFlowTargetApi api, string flow
where flow = captureFlow(api) and not api.(FlowSummaryImpl::Public::SummarizedCallable).isManual()

1
csharp/ql/src/utils/modelgenerator/internal/CaptureModelsSpecific.qll
View File

@@ -7,7 +7,6 @@ private import dotnet
private import semmle.code.csharp.commons.Util as Util
private import semmle.code.csharp.commons.Collections as Collections
private import semmle.code.csharp.dataflow.internal.DataFlowDispatch
private import semmle.code.csharp.frameworks.System as System
private import semmle.code.csharp.frameworks.system.linq.Expressions
import semmle.code.csharp.dataflow.ExternalFlow as ExternalFlow
import semmle.code.csharp.dataflow.internal.DataFlowImplCommon as DataFlowImplCommon

0
csharp/ql/src/utils/modelgenerator/internal/CaptureSummaryFlow.qll → csharp/ql/src/utils/modelgenerator/internal/CaptureSummaryFlowQuery.qll
View File

2
java/ql/src/utils/modelgenerator/CaptureNeutralModels.ql
View File

@@ -7,7 +7,7 @@
*/
import internal.CaptureModels
import internal.CaptureSummaryFlow
import internal.CaptureSummaryFlowQuery
from DataFlowTargetApi api, string noflow
where noflow = captureNoFlow(api)

2
java/ql/src/utils/modelgenerator/CaptureSummaryModels.ql
View File

@@ -7,7 +7,7 @@
*/
import internal.CaptureModels
import internal.CaptureSummaryFlow
import internal.CaptureSummaryFlowQuery
from DataFlowTargetApi api, string flow
where flow = captureFlow(api)

1
java/ql/src/utils/modelgenerator/internal/CaptureModelsSpecific.qll
View File

@@ -3,7 +3,6 @@
*/
private import java as J
private import semmle.code.java.dataflow.internal.DataFlowNodes
private import semmle.code.java.dataflow.internal.DataFlowPrivate
private import semmle.code.java.dataflow.internal.ContainerFlow as ContainerFlow
private import semmle.code.java.dataflow.DataFlow as Df

0
java/ql/src/utils/modelgenerator/internal/CaptureSummaryFlow.qll → java/ql/src/utils/modelgenerator/internal/CaptureSummaryFlowQuery.qll
View File