Exclude queries without precision

Author: atorralba

ql/ql/src/queries/style/MissingSecuritySeverity.ql

@@ -15,6 +15,9 @@ predicate missingSecuritySeverity(QLDoc doc) {
     exists(string securityTag | securityTag = s.splitAt("@") |
       securityTag.matches("tags%security%")
     ) and
+    exists(string precisionTag | precisionTag = s.splitAt("@") |
+      precisionTag.matches("precision %")
+    ) and
     not exists(string securitySeverity | securitySeverity = s.splitAt("@") |
       securitySeverity.matches("security-severity %")
     )

ql/ql/test/queries/style/MissingSecuritySeverity/testcases/NoPrecision.expected

@@ -0,0 +1,14 @@
+/**
+ * @name Some query
+ * @description Some description
+ * @kind problem
+ * @problem.severity warning
+ * @id ql/some-query
+ * @tags quality
+ *       security
+ */
+
+import ql
+
+from Class c
+select c