C#: Update sync files config.

This commit is contained in:
Michael Nebel
2022-03-23 16:25:59 +01:00
parent 5d62c48890
commit 62dcbff67f

View File

@@ -76,20 +76,12 @@
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaReadPositionCommon.qll"
],
"Model as Data Generation Java/C# - Utils": [
"java/ql/src/utils/model-generator/ModelGeneratorUtils.qll",
"csharp/ql/src/utils/model-generator/ModelGeneratorUtils.qll"
"java/ql/src/utils/model-generator/internal/ModelGeneratorUtils.qll",
"csharp/ql/src/utils/model-generator/internal/ModelGeneratorUtils.qll"
],
"Model as Data Generation Java/C# - SummaryModels": [
"java/ql/src/utils/model-generator/CaptureSummaryModels.qll",
"csharp/ql/src/utils/model-generator/CaptureSummaryModels.qll"
],
"Model as Data Generation Java/C# - SourceModels": [
"java/ql/src/utils/model-generator/CaptureSourceModels.qll",
"csharp/ql/src/utils/model-generator/CaptureSourceModels.qll"
],
"Model as Data Generation Java/C# - SinkModels": [
"java/ql/src/utils/model-generator/CaptureSinkModels.qll",
"csharp/ql/src/utils/model-generator/CaptureSinkModels.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"
],
"Sign Java/C#": [
"java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/Sign.qll",