Update java/ql/lib/experimental/quantum/JCA.qll

bdrodes · nicolaswill · web-flow · commit b32a6407b9f2 · 2025-10-06T09:04:19.000-04:00
Co-authored-by: Nicolas Will &lt;nicolaswill@github.com&gt;
diff --git a/java/ql/lib/experimental/quantum/JCA.qll b/java/ql/lib/experimental/quantum/JCA.qll
@@ -108,7 +108,7 @@ module JCAModel {
    */
   bindingset[name]
   predicate signature_names(string name) {
-    name.toUpperCase().splitAt("with".toUpperCase(), 1).matches(["RSA%", "ECDSA%", "DSA%"])
+    name.toUpperCase().splitAt("WITH", 1).matches(["RSA%", "ECDSA%", "DSA%"])
     or
     name.toUpperCase().matches(["RSASSA-PSS", "ED25519", "ED448", "EDDSA", "ML-DSA%", "HSS/LMS"])
   }

Original file line number	Diff line number	Diff line change
`@@ -108,7 +108,7 @@ module JCAModel {`
`108`	`108`	`*/`
`109`	`109`	`bindingset[name]`
`110`	`110`	`predicate signature_names(string name) {`
`111`		`- name.toUpperCase().splitAt("with".toUpperCase(), 1).matches(["RSA%", "ECDSA%", "DSA%"])`
	`111`	`+ name.toUpperCase().splitAt("WITH", 1).matches(["RSA%", "ECDSA%", "DSA%"])`
`112`	`112`	`or`
`113`	`113`	`name.toUpperCase().matches(["RSASSA-PSS", "ED25519", "ED448", "EDDSA", "ML-DSA%", "HSS/LMS"])`
`114`	`114`	`}`