C#: Make sure that language independent parts of CaptureSinkModels is in sync.

This commit is contained in:
Michael Nebel
2022-03-18 13:44:39 +01:00
parent db21a6a0f3
commit 858508fa33

View File

@@ -87,6 +87,10 @@
"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"
],
"Sign Java/C#": [
"java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/Sign.qll",
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/Sign.qll"