C#: Update Csv validation to allow sources and sink kinds to be prefixed with generated.

This commit is contained in:
Michael Nebel
2022-04-05 14:21:43 +02:00
parent d7bf024318
commit 2562910b94
2 changed files with 14 additions and 10 deletions

View File

@@ -606,9 +606,10 @@ module CsvValidation {
)
)
or
exists(string row, string kind | summaryModel(row) |
kind = row.splitAt(";", 8) and
not kind = ["taint", "value", "generated:taint", "generated:value"] and
exists(string row, string k, string kind | summaryModel(row) |
k = row.splitAt(";", 8) and
getKind(k, kind, _) and
not kind = ["taint", "value"] and
msg = "Invalid kind \"" + kind + "\" in summary model."
)
}