Apply suggestions from code review

yoff · RasmusWL · web-flow · commit c2b63830f168 · 2023-09-28T12:40:37.000+02:00
Claim conversions do not execute inputs in order to remove interaction with `py/unsafe-deserialization`.

Co-authored-by: Rasmus Wriedt Larsen &lt;rasmuswriedtlarsen@gmail.com&gt;
diff --git a/python/ql/lib/semmle/python/frameworks/NoSQL.qll b/python/ql/lib/semmle/python/frameworks/NoSQL.qll
@@ -170,7 +170,7 @@ private module NoSql {
 
     override string getFormat() { result = "NoSQL" }
 
-    override predicate mayExecuteInput() { any() }
+    override predicate mayExecuteInput() { none() }
   }
 
   /**
@@ -200,7 +200,7 @@ private module NoSql {
 
     override string getFormat() { result = "NoSQL" }
 
-    override predicate mayExecuteInput() { any() }
+    override predicate mayExecuteInput() { none() }
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -170,7 +170,7 @@ private module NoSql {`
`170`	`170`
`171`	`171`	`override string getFormat() { result = "NoSQL" }`
`172`	`172`
`173`		`- override predicate mayExecuteInput() { any() }`
	`173`	`+ override predicate mayExecuteInput() { none() }`
`174`	`174`	`}`
`175`	`175`
`176`	`176`	`/**`
`@@ -200,7 +200,7 @@ private module NoSql {`
`200`	`200`
`201`	`201`	`override string getFormat() { result = "NoSQL" }`
`202`	`202`
`203`		`- override predicate mayExecuteInput() { any() }`
	`203`	`+ override predicate mayExecuteInput() { none() }`
`204`	`204`	`}`
`205`	`205`
`206`	`206`	`/**`