C#/Java: Update model converter queries.

This commit is contained in:
Michael Nebel
2023-03-22 13:03:22 +01:00
parent 574f568c26
commit de7f486cb1
8 changed files with 8 additions and 8 deletions

View File

@@ -10,5 +10,5 @@ import semmle.code.java.dataflow.ExternalFlow
from string package, string type, string name, string signature, string provenance
where
neutralModel(package, type, name, signature, provenance) and
provenance != ["generated", "ai-generated"]
not provenance.matches("%generated")
select package, type, name, signature, provenance order by package, type, name, signature

View File

@@ -12,6 +12,6 @@ from
string input, string kind, string provenance
where
sinkModel(package, type, subtypes, name, signature, ext, input, kind, provenance) and
provenance != ["generated", "ai-generated"]
not provenance.matches("%generated")
select package, type, subtypes, name, signature, ext, input, kind, provenance order by
package, type, name, signature, input, kind

View File

@@ -12,6 +12,6 @@ from
string output, string kind, string provenance
where
sourceModel(package, type, subtypes, name, signature, ext, output, kind, provenance) and
provenance != ["generated", "ai-generated"]
not provenance.matches("%generated")
select package, type, subtypes, name, signature, ext, output, kind, provenance order by
package, type, name, signature, output, kind

View File

@@ -12,6 +12,6 @@ from
string input, string output, string kind, string provenance
where
summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance) and
provenance != ["generated", "ai-generated"]
not provenance.matches("%generated")
select package, type, subtypes, name, signature, ext, input, output, kind, provenance order by
package, type, name, signature, input, output, kind