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

Java/C#: Move C# internal implementation for model generation.

Browse Source
This commit is contained in:
Michael Nebel
2022-11-01 10:51:30 +01:00
parent 4cb82ad5a7
commit d6ae1ef6f2
11 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
config/identical-files.json
View File

@@ -94,8 +94,8 @@
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaReadPositionCommon.qll"
],
"Model as Data Generation Java/C# - CaptureModels": [
"java/ql/src/utils/model-generator/internal/CaptureModels.qll",
"csharp/ql/src/utils/model-generator/internal/CaptureModels.qll"
"java/ql/src/utils/modelgenerator/internal/CaptureModels.qll",
"csharp/ql/src/utils/modelgenerator/internal/CaptureModels.qll"
],
"Sign Java/C#": [
"java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/Sign.qll",

4
csharp/ql/src/utils/model-generator/CaptureDiscardedSummaryModels.ql
View File

@@ -5,8 +5,8 @@
*/
import semmle.code.csharp.dataflow.ExternalFlow
import internal.CaptureModels
import internal.CaptureSummaryFlow
import utils.modelgenerator.internal.CaptureModels
import utils.modelgenerator.internal.CaptureSummaryFlow
from DataFlowTargetApi api, string flow
where flow = captureFlow(api) and hasSummary(api, false)

4
csharp/ql/src/utils/model-generator/CaptureNegativeSummaryModels.ql
View File

@@ -7,8 +7,8 @@
*/
import semmle.code.csharp.dataflow.ExternalFlow
import internal.CaptureModels
import internal.CaptureSummaryFlow
import utils.modelgenerator.internal.CaptureModels
import utils.modelgenerator.internal.CaptureSummaryFlow
from DataFlowTargetApi api, string noflow
where

2
csharp/ql/src/utils/model-generator/CaptureSinkModels.ql
View File

@@ -6,7 +6,7 @@
* @tags model-generator
*/
import internal.CaptureModels
import utils.modelgenerator.internal.CaptureModels
class Activate extends ActiveConfiguration {
override predicate activateToSinkConfig() { any() }

2
csharp/ql/src/utils/model-generator/CaptureSourceModels.ql
View File

@@ -6,7 +6,7 @@
* @tags model-generator
*/
import internal.CaptureModels
import utils.modelgenerator.internal.CaptureModels
class Activate extends ActiveConfiguration {
override predicate activateFromSourceConfig() { any() }

4
csharp/ql/src/utils/model-generator/CaptureSummaryModels.ql
View File

@@ -7,8 +7,8 @@
*/
import semmle.code.csharp.dataflow.ExternalFlow
import internal.CaptureModels
import internal.CaptureSummaryFlow
import utils.modelgenerator.internal.CaptureModels
import utils.modelgenerator.internal.CaptureSummaryFlow
from DataFlowTargetApi api, string flow
where flow = captureFlow(api) and not hasSummary(api, false)

2
csharp/ql/src/utils/model-generator/CaptureTypeBasedSummaryModels.ql
View File

@@ -7,7 +7,7 @@
*/
import semmle.code.csharp.dataflow.ExternalFlow
import internal.CaptureTypeBasedSummaryModels
import utils.modelgenerator.internal.CaptureTypeBasedSummaryModels
from TypeBasedFlowTargetApi api, string flow
where flow = captureFlow(api)

0
csharp/ql/src/utils/model-generator/internal/CaptureModels.qll → csharp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
View File

0
csharp/ql/src/utils/model-generator/internal/CaptureModelsSpecific.qll → csharp/ql/src/utils/modelgenerator/internal/CaptureModelsSpecific.qll
View File

0
csharp/ql/src/utils/model-generator/internal/CaptureSummaryFlow.qll → csharp/ql/src/utils/modelgenerator/internal/CaptureSummaryFlow.qll
View File

0
csharp/ql/src/utils/model-generator/internal/CaptureTypeBasedSummaryModels.qll → csharp/ql/src/utils/modelgenerator/internal/CaptureTypeBasedSummaryModels.qll
View File