Skip to content

Commit 290c35e

Browse files
committed
Java: Use negative summary models in unsupported external api telemetry query.
1 parent 23e0ee6 commit 290c35e

File tree

4 files changed

+16
-3
lines changed

4 files changed

+16
-3
lines changed
Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,6 @@
11
/**
22
* A module importing all generated negative Models as Data models.
33
*/
4-
5-
import csharp
6-
74
private module GeneratedFrameworks {
85
private import generated.dotnet.NegativeRuntime
96
}
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
/** Provides modules for importing negative summaries. */
2+
3+
/**
4+
* A module importing the frameworks that provide external flow data,
5+
* ensuring that they are visible to the taint tracking / data flow library.
6+
*/
7+
private module Frameworks {
8+
private import semmle.code.java.frameworks.GeneratedNegative
9+
}
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
/**
2+
* A module importing all generated negative Models as Data models.
3+
*/
4+
private module GeneratedFrameworks {
5+
private import apache.NegativeIOGenerated
6+
}

java/ql/src/Telemetry/UnsupportedExternalAPIs.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88

99
import java
1010
import semmle.code.java.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
11+
import semmle.code.java.dataflow.internal.NegativeSummary
1112
import ExternalApi
1213

1314
private predicate getRelevantUsages(ExternalApi api, int usages) {

0 commit comments

Comments
 (0)