hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Torch.qll: use better alternative instead of exists

Browse Source
This commit is contained in:
am0o0
2024-05-29 15:43:41 +02:00
parent 8c3994bc9c
commit 66cba89fdb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/lib/semmle/python/frameworks/Torch.qll
View File

@@ -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() }