hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 07:45:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Include changes from review

Browse Source
This commit is contained in:
Porcupiney Hairs
2024-10-21 20:01:44 +05:30
parent 7ef2d79b3f
commit f6369a6ed7
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/lib/semmle/python/frameworks/Pycurl.qll
View File

@@ -92,9 +92,9 @@ module Pycurl {
) {
sslverifypeer().getAValueReachableFromSource() = this.getArg(0) and
(
exists(IntegerLiteral i | i.getValue() = 0 and this.getArg(1).asExpr() = i)
this.getArg(1).asExpr().(IntegerLiteral).getValue() = 0
or
exists(BooleanLiteral b | b.booleanValue() = false and this.getArg(_).asExpr() = b)
this.getArg(1).asExpr().(BooleanLiteral).booleanValue() = false
) and
(disablingNode = this and argumentOrigin = this.getArg(1))
}