FilesExpand file tree

main

/

CallToSuperWrongClass.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

27 lines (25 loc) · 880 Bytes

main

/

CallToSuperWrongClass.ql

Copy path

Top

File metadata and controls

• Code
• Blame

27 lines (25 loc) · 880 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

/**

* @name First argument to super() is not enclosing class

* @description Calling super with something other than the enclosing class may cause incorrect object initialization.

* @kind problem

* @tags quality

* reliability

* correctness

* external/cwe/cwe-687

* @problem.severity error

* @sub-severity low

* @precision high

* @id py/super-not-enclosing-class

*/

import python

import semmle.python.dataflow.new.DataFlow

import semmle.python.ApiGraphs

from DataFlow::CallCfgNode call_to_super, string name

where

call_to_super = API::builtin("super").getACall() and

name = call_to_super.getScope().getScope().(Class).getName() and

exists(DataFlow::Node arg |

arg = call_to_super.getArg(0) and

arg.getALocalSource().asExpr().(Name).getId() != name

)

select call_to_super.getNode(), "First argument to super() should be " + name + "."