Skip to content

Commit 8435c31

Browse files
committed
C#/Java: Update model converter queries to handle kind information.
1 parent 7858da6 commit 8435c31

File tree

2 files changed

+8
-6
lines changed

2 files changed

+8
-6
lines changed

csharp/ql/src/utils/modelconverter/ExtractNeutrals.ql

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,9 @@
77
import csharp
88
import semmle.code.csharp.dataflow.ExternalFlow
99

10-
from string package, string type, string name, string signature, string provenance
10+
from string package, string type, string name, string signature, string kind, string provenance
1111
where
12-
neutralModel(package, type, name, signature, provenance) and
12+
neutralModel(package, type, name, signature, kind, provenance) and
1313
not provenance.matches("%generated")
14-
select package, type, name, signature, provenance order by package, type, name, signature
14+
select package, type, name, signature, kind, provenance order by
15+
package, type, name, signature, kind

java/ql/src/utils/modelconverter/ExtractNeutrals.ql

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,9 @@
77
import java
88
import semmle.code.java.dataflow.ExternalFlow
99

10-
from string package, string type, string name, string signature, string provenance
10+
from string package, string type, string name, string signature, string kind, string provenance
1111
where
12-
neutralModel(package, type, name, signature, provenance) and
12+
neutralModel(package, type, name, signature, kind, provenance) and
1313
not provenance.matches("%generated")
14-
select package, type, name, signature, provenance order by package, type, name, signature
14+
select package, type, name, signature, kind, provenance order by
15+
package, type, name, signature, kind

0 commit comments

Comments
 (0)