We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 84b6d0c commit 41daa53Copy full SHA for 41daa53
1 file changed
python/ql/src/Classes/SuperInOldStyleClass.ql
@@ -11,14 +11,13 @@
11
*/
12
13
import python
14
-private import LegacyPointsTo
+private import semmle.python.dataflow.new.internal.DataFlowDispatch
15
16
predicate uses_of_super_in_old_style_class(Call s) {
17
- exists(Function f, ClassObject c |
+ exists(Function f, Class c |
18
s.getScope() = f and
19
- f.getScope() = c.getPyClass() and
20
- not c.failedInference() and
21
- not c.isNewStyle() and
+ f.getScope() = c and
+ not DuckTyping::isNewStyle(c) and
22
s.getFunc().(Name).getId() = "super"
23
)
24
}
0 commit comments