Torch.qll: use better alternative instead of exists

am0o0 · am0o0 · commit 66cba89fdb73 · 2024-05-29T15:43:41.000+02:00
diff --git a/python/ql/lib/semmle/python/frameworks/Torch.qll b/python/ql/lib/semmle/python/frameworks/Torch.qll
@@ -21,7 +21,7 @@ private module Torch {
 
     override predicate mayExecuteInput() {
       not exists(this.getParameter(2, "pickle_module").asSink()) or
-      exists(this.getParameter(2, "pickle_module").asSink().asExpr().(None))
+      this.getParameter(2, "pickle_module").asSink().asExpr() instanceof None
     }
 
     override DataFlow::Node getAnInput() { result = this.getParameter(0, "f").asSink() }

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ private module Torch {`
`21`	`21`
`22`	`22`	`override predicate mayExecuteInput() {`
`23`	`23`	`not exists(this.getParameter(2, "pickle_module").asSink()) or`
`24`		`- exists(this.getParameter(2, "pickle_module").asSink().asExpr().(None))`
	`24`	`+ this.getParameter(2, "pickle_module").asSink().asExpr() instanceof None`
`25`	`25`	`}`
`26`	`26`
`27`	`27`	`override DataFlow::Node getAnInput() { result = this.getParameter(0, "f").asSink() }`