mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
Python: ObjectAPI to ValueAPI: IterReturnsNonIterator: Adds preliminary modernization
This commit is contained in:
@@ -12,17 +12,17 @@
|
||||
|
||||
import python
|
||||
|
||||
ClassObject return_type(FunctionObject f) {
|
||||
ClassValue return_type(FunctionValue f) {
|
||||
exists(ControlFlowNode n, Return ret |
|
||||
ret.getScope() = f.getFunction() and
|
||||
ret.getScope() = f.getScope() and
|
||||
ret.getValue() = n.getNode() and
|
||||
n.refersTo(_, result, _)
|
||||
result = n.pointsTo().getClass()
|
||||
)
|
||||
}
|
||||
|
||||
from ClassObject iterable, FunctionObject iter, ClassObject iterator
|
||||
from ClassValue iterable, FunctionValue iter, ClassValue iterator
|
||||
where
|
||||
iter = iterable.lookupAttribute("__iter__") and
|
||||
iter = iterable.lookup("__iter__") and
|
||||
iterator = return_type(iter) and
|
||||
not iterator.isIterator()
|
||||
select iterator,
|
||||
|
||||
Reference in New Issue
Block a user