Skip to content

Commit a1908be

Browse files
Jami CogswellJami Cogswell
authored andcommitted
C#: remove previous uses of isUninteresting
1 parent ff85e2f commit a1908be

File tree

7 files changed

+6
-21
lines changed

7 files changed

+6
-21
lines changed

csharp/ql/src/Telemetry/ExternalLibraryUsage.ql

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,7 @@ private predicate getRelevantUsages(string namespace, int usages) {
1414
usages =
1515
strictcount(Call c, ExternalApi api |
1616
c.getTarget().getUnboundDeclaration() = api and
17-
api.getNamespace() = namespace and
18-
not api.isUninteresting()
17+
api.getNamespace() = namespace
1918
)
2019
}
2120

csharp/ql/src/Telemetry/SupportedExternalApis.ql

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,8 @@ private import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSumma
1212
private import ExternalApi
1313

1414
private predicate relevant(ExternalApi api) {
15-
not api.isUninteresting() and
16-
(
17-
api.isSupported() or
18-
api instanceof FlowSummaryImpl::Public::NegativeSummarizedCallable
19-
)
15+
api.isSupported() or
16+
api instanceof FlowSummaryImpl::Public::NegativeSummarizedCallable
2017
}
2118

2219
from string info, int usages

csharp/ql/src/Telemetry/SupportedExternalSinks.ql

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,10 +10,7 @@ private import csharp
1010
private import semmle.code.csharp.dispatch.Dispatch
1111
private import ExternalApi
1212

13-
private predicate relevant(ExternalApi api) {
14-
not api.isUninteresting() and
15-
api.isSink()
16-
}
13+
private predicate relevant(ExternalApi api) { api.isSink() }
1714

1815
from string info, int usages
1916
where Results<relevant/1>::restrict(info, usages)

csharp/ql/src/Telemetry/SupportedExternalSources.ql

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,10 +10,7 @@ private import csharp
1010
private import semmle.code.csharp.dispatch.Dispatch
1111
private import ExternalApi
1212

13-
private predicate relevant(ExternalApi api) {
14-
not api.isUninteresting() and
15-
api.isSource()
16-
}
13+
private predicate relevant(ExternalApi api) { api.isSource() }
1714

1815
from string info, int usages
1916
where Results<relevant/1>::restrict(info, usages)

csharp/ql/src/Telemetry/SupportedExternalTaint.ql

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,10 +10,7 @@ private import csharp
1010
private import semmle.code.csharp.dispatch.Dispatch
1111
private import ExternalApi
1212

13-
private predicate relevant(ExternalApi api) {
14-
not api.isUninteresting() and
15-
api.hasSummary()
16-
}
13+
private predicate relevant(ExternalApi api) { api.hasSummary() }
1714

1815
from string info, int usages
1916
where Results<relevant/1>::restrict(info, usages)

csharp/ql/src/Telemetry/UnsupportedExternalAPIs.ql

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,6 @@ private import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSumma
1212
private import ExternalApi
1313

1414
private predicate relevant(ExternalApi api) {
15-
not api.isUninteresting() and
1615
not api.isSupported() and
1716
not api instanceof FlowSummaryImpl::Public::NegativeSummarizedCallable
1817
}

csharp/ql/src/meta/frameworks/UnsupportedExternalAPIs.ql

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,6 @@ private import Telemetry.ExternalApi
1616
from Call c, ExternalApi api
1717
where
1818
c.getTarget().getUnboundDeclaration() = api and
19-
not api.isUninteresting() and
2019
not api.isSupported() and
2120
not api instanceof FlowSummaryImpl::Public::NegativeSummarizedCallable
2221
select c, "Call to unsupported external API $@.", api, api.toString()

0 commit comments

Comments
 (0)