hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 12:45:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Modernizes query

Browse Source
This commit is contained in:
Rebecca Valentine
2020-03-04 17:28:44 -08:00
parent 02ae0fbda6
commit d535246703
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
python/ql/src/Exceptions/UnguardedNextInGenerator.ql
View File

@@ -12,12 +12,12 @@
import python
FunctionObject iter() {
result = Object::builtin("iter")
FunctionValue iter() {
result = Value::named("iter")
}
BuiltinFunctionObject next() {
result = Object::builtin("next")
BuiltinFunctionValue next() {
result = Value::named("next")
}
predicate call_to_iter(CallNode call, EssaVariable sequence) {
@@ -43,7 +43,7 @@ predicate iter_not_exhausted(EssaVariable iterator) {
predicate stop_iteration_handled(CallNode call) {
exists(Try t |
t.containsInScope(call.getNode()) and
t.getAHandler().getType().refersTo(theStopIterationType())
t.getAHandler().getType().pointsTo(ClassValue::stopIteration())
)
}