Go: Add summary model validation on the kind column.

This commit is contained in:
Michael Nebel
2022-08-04 13:29:26 +02:00
parent 37f01fe10e
commit 2c2e09b20b

View File

@@ -36,7 +36,13 @@ private string getInvalidModelOutput() {
)
}
private string getInvalidModelKind() { none() }
private string getInvalidModelKind() {
exists(string row, string kind | summaryModel(row) |
kind = row.splitAt(";", 8) and
not kind = ["taint", "value"] and
result = "Invalid kind \"" + kind + "\" in summary model."
)
}
private string getInvalidModelSubtype() {
exists(string pred, string row, int expect |