C#/Java: Update model converter queries to handle kind information.

This commit is contained in:
Michael Nebel
2023-04-26 13:36:54 +02:00
parent 7858da66e3
commit 8435c31213
2 changed files with 8 additions and 6 deletions

View File

@@ -7,8 +7,9 @@
import java
import semmle.code.java.dataflow.ExternalFlow
from string package, string type, string name, string signature, string provenance
from string package, string type, string name, string signature, string kind, string provenance
where
neutralModel(package, type, name, signature, provenance) and
neutralModel(package, type, name, signature, kind, provenance) and
not provenance.matches("%generated")
select package, type, name, signature, provenance order by package, type, name, signature
select package, type, name, signature, kind, provenance order by
package, type, name, signature, kind