FilesExpand file tree

 master

/

ExplicitReturnInInit.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

23 lines (21 loc) · 819 Bytes

 master

/

ExplicitReturnInInit.ql

Copy path

Top

File metadata and controls

• Code
• Blame

23 lines (21 loc) · 819 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

/**

* @name __init__ method returns a value

* @description Explicitly returning a value from an __init__ method will raise a TypeError.

* @kind problem

* @tags reliability

* correctness

* @problem.severity error

* @sub-severity low

* @precision very-high

* @id py/explicit-return-in-init

*/

import python

from Return r, Expr rv

where

exists(Function init | init.isInitMethod() and r.getScope() = init) and

r.getValue() = rv and

not rv.pointsTo(Value::none_()) and

not exists(FunctionValue f | f.getACall() = rv.getAFlowNode() | f.neverReturns()) and

// to avoid double reporting, don't trigger if returning result from other __init__ function

not exists(Attribute meth | meth = rv.(Call).getFunc() | meth.getName() = "__init__")

select r, "Explicit return in __init__ method."