ConceptsShared: Add BlockMode#matchesString(string) predicate

alexrford · alexrford · commit e5dfbe2c8ddd · 2023-02-02T20:27:52.000Z
diff --git a/javascript/ql/lib/semmle/javascript/internal/ConceptsShared.qll b/javascript/ql/lib/semmle/javascript/internal/ConceptsShared.qll
@@ -91,6 +91,10 @@ module Cryptography {
 
     /** Holds if this block mode is considered to be insecure. */
     predicate isWeak() { this = "ECB" }
+
+    /** Holds if the given string appears to match this block mode. */
+    bindingset[s]
+    predicate matchesString(string s) { s.toUpperCase().matches("%" + this + "%") }
   }
 }
 
diff --git a/python/ql/lib/semmle/python/internal/ConceptsShared.qll b/python/ql/lib/semmle/python/internal/ConceptsShared.qll
@@ -91,6 +91,10 @@ module Cryptography {
 
     /** Holds if this block mode is considered to be insecure. */
     predicate isWeak() { this = "ECB" }
+
+    /** Holds if the given string appears to match this block mode. */
+    bindingset[s]
+    predicate matchesString(string s) { s.toUpperCase().matches("%" + this + "%") }
   }
 }
 
diff --git a/ruby/ql/lib/codeql/ruby/internal/ConceptsShared.qll b/ruby/ql/lib/codeql/ruby/internal/ConceptsShared.qll
@@ -91,6 +91,10 @@ module Cryptography {
 
     /** Holds if this block mode is considered to be insecure. */
     predicate isWeak() { this = "ECB" }
+
+    /** Holds if the given string appears to match this block mode. */
+    bindingset[s]
+    predicate matchesString(string s) { s.toUpperCase().matches("%" + this + "%") }
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -91,6 +91,10 @@ module Cryptography {`
`91`	`91`
`92`	`92`	`/** Holds if this block mode is considered to be insecure. */`
`93`	`93`	`predicate isWeak() { this = "ECB" }`
	`94`	`+`
	`95`	`+ /** Holds if the given string appears to match this block mode. */`
	`96`	`+ bindingset[s]`
	`97`	`+ predicate matchesString(string s) { s.toUpperCase().matches("%" + this + "%") }`
`94`	`98`	`}`
`95`	`99`	`}`
`96`	`100`