Update kind model validation

This commit is contained in:
Mathew Payne
2023-05-10 10:06:22 +01:00
parent 0f85b98cc7
commit 681623d631

View File

@@ -211,7 +211,11 @@ module ModelValidation {
) )
or or
exists(string kind | sinkModel(_, _, _, _, _, _, _, kind, _) | exists(string kind | sinkModel(_, _, _, _, _, _, _, kind, _) |
not kind = ["code", "sql", "xss", "remote", "html"] and not kind =
[
"code", "command-injection", "html", "ldap-injection", "log-injection", "remote", "sql",
"url-redirection", "xss",
] and
not kind.matches("encryption-%") and not kind.matches("encryption-%") and
result = "Invalid kind \"" + kind + "\" in sink model." result = "Invalid kind \"" + kind + "\" in sink model."
) )