Java: replace exists with instanceof

This commit is contained in:
Jami Cogswell
2022-12-12 16:40:19 -05:00
parent 3526406db0
commit f0124dae1a

View File

@@ -20,7 +20,7 @@ private int getNumMadModeledApis(string package, string provenance) {
result =
count(SummarizedCallable sc |
package = sc.asCallable().getCompilationUnit().getPackage().getName() and
exists(DataFlowTargetApi dataFlowTargApi | sc.asCallable() = dataFlowTargApi) and
sc.asCallable() instanceof DataFlowTargetApi and
(
sc.isAutoGenerated() and // "auto-only"
provenance = "generated"