hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

python: update users of try

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2022-11-10 20:31:28 +01:00
parent 7d05ba38d5
commit 71335a1a97
4 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/Expressions/HashedButNoHash.ql
View File

@@ -70,7 +70,7 @@ predicate is_unhashable(ControlFlowNode f, ClassValue cls, ControlFlowNode origi
predicate typeerror_is_caught(ControlFlowNode f) {
exists(Try try |
try.getBody().contains(f.getNode()) and
try.getAHandler().getType().pointsTo(ClassValue::typeError())
try.getANormalHandler().getType().pointsTo(ClassValue::typeError())
)
}

2
python/ql/src/Imports/DeprecatedModule.ql
View File

@@ -78,7 +78,7 @@ from ImportExpr imp, string name, string instead
where
name = imp.getName() and
deprecated_module(name, instead, _, _) and
not exists(Try try, ExceptStmt except | except = try.getAHandler() |
not exists(Try try, ExceptStmt except | except = try.getANormalHandler() |
except.getType().pointsTo(ClassValue::importError()) and
except.containsInScope(imp)
)

2
python/ql/src/Variables/UndefinedGlobal.ql
View File

@@ -17,7 +17,7 @@ import semmle.python.pointsto.PointsTo
predicate guarded_against_name_error(Name u) {
exists(Try t | t.getBody().getAnItem().contains(u) |
t.getAHandler().getType().(Name).getId() = "NameError"
t.getANormalHandler().getType().(Name).getId() = "NameError"
)
or
exists(ConditionBlock guard, BasicBlock controlled, Call globals |

2
python/ql/src/Variables/UninitializedLocal.ql
View File

@@ -27,7 +27,7 @@ predicate uninitialized_local(NameNode use) {
predicate explicitly_guarded(NameNode u) {
exists(Try t |
t.getBody().contains(u.getNode()) and
t.getAHandler().getType().pointsTo(ClassValue::nameError())
t.getANormalHandler().getType().pointsTo(ClassValue::nameError())
)
}