Merge pull request #19398 from github/nickrolfe/rm-erroneous-query

Java: Remove erroneously-committed query
This commit is contained in:
Nick Rolfe
2025-04-28 14:06:52 +01:00
committed by GitHub

View File

@@ -1,17 +0,0 @@
/**
* @name sm
* @kind problem
* @id java/sm
* @severity warning
*/
import semmle.code.java.dataflow.internal.ExternalFlowExtensions
from
string s, string package, string type, boolean subtypes, string name, string signature,
string ext, string input, string output, string kind, string provenance,
QlBuiltins::ExtensionId madId
where
summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance, madId) and
s = package + "." + type + "." + name + signature
select s, "summary model"