diff --git a/java/ql/src/dx.ql b/java/ql/src/dx.ql deleted file mode 100644 index 2032957996f9..000000000000 --- a/java/ql/src/dx.ql +++ /dev/null @@ -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"