FilesExpand file tree

 master

/

ExplicitCallToDel.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

34 lines (30 loc) · 1.14 KB

 master

/

ExplicitCallToDel.ql

Copy path

Top

File metadata and controls

• Code
• Blame

34 lines (30 loc) · 1.14 KB

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

28

29

30

31

32

33

34

/**

* @name __del__ is called explicitly

* @description The __del__ special method is called by the virtual machine when an object is being finalized. It should not be called explicitly.

* @kind problem

* @tags reliability

* correctness

* @problem.severity warning

* @sub-severity low

* @precision very-high

* @id py/explicit-call-to-delete

*/

import python

class DelCall extends Call {

DelCall() { this.getFunc().(Attribute).getName() = "__del__" }

predicate isSuperCall() {

exists(Function f | f = this.getScope() and f.getName() = "__del__" |

// We pass in `self` as the first argument...

f.getArg(0).asName().getVariable() = this.getArg(0).(Name).getVariable()

or

// ... or the call is of the form `super(Type, self).__del__()`, or the equivalent

// Python 3: `super().__del__()`.

exists(Call superCall | superCall = this.getFunc().(Attribute).getObject() |

superCall.getFunc().(Name).getId() = "super"

)

)

}

}

from DelCall del

where not del.isSuperCall()

select del, "The __del__ special method is called explicitly."