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

Use LocalSourceNode and flowsTo() for better performance

Browse Source
This commit is contained in:
jorgectf
2021-04-02 21:17:18 +02:00
parent 513055cae5
commit 7ed7809a60
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
python/ql/src/experimental/semmle/python/security/JWT.qll
View File

@@ -4,8 +4,17 @@ import semmle.python.dataflow.new.DataFlow
predicate isEmptyOrNone(DataFlow::Node arg) { isEmpty(arg) or isNone(arg) }
predicate isEmpty(DataFlow::Node arg) { arg.asExpr().(Str_).getS() = "" }
predicate isEmpty(DataFlow::Node arg) {
exists(StrConst emptyString |
emptyString.getText() = "" and
DataFlow::exprNode(emptyString).(DataFlow::LocalSourceNode).flowsTo(arg)
)
}
predicate isNone(DataFlow::Node arg) {
exists(NameConstant noneName | noneName.getId() = "None" and arg.asExpr() = noneName)
exists( | DataFlow::exprNode(any(None no)).(DataFlow::LocalSourceNode).flowsTo(arg))
}
predicate isFalse(DataFlow::Node arg) {
exists( | DataFlow::exprNode(any(False falseExpr)).(DataFlow::LocalSourceNode).flowsTo(arg))
}