C#: Make sure that the shared CaptureSummaryModel is in sync.

This commit is contained in:
Michael Nebel 2022-03-18 10:54:42 +01:00
Родитель 4ae5dc323f
Коммит b4efd0e154
1 изменённых файлов: 4 добавлений и 0 удалений

Просмотреть файл

@ -83,6 +83,10 @@
"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"
],
"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"