FilesExpand file tree

 master

/

UseImplicitNoneReturnValue.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

38 lines (35 loc) · 1.42 KB

 master

/

UseImplicitNoneReturnValue.ql

Copy path

Top

File metadata and controls

• Code
• Blame

38 lines (35 loc) · 1.42 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

35

36

37

38

/**

* @name Use of the return value of a procedure

* @description The return value of a procedure (a function that does not return a value) is used. This is confusing to the reader as the value (None) has no meaning.

* @kind problem

* @tags maintainability

* @problem.severity warning

* @sub-severity low

* @precision high

* @id py/procedure-return-value-used

*/

import python

import Testing.Mox

predicate is_used(Call c) {

exists(Expr outer | outer != c and outer.containsInScope(c) |

outer instanceof Call or outer instanceof Attribute or outer instanceof Subscript

)

or

exists(Stmt s |

c = s.getASubExpression() and

not s instanceof ExprStmt and

/* Ignore if a single return, as def f(): return g() is quite common. Covers implicit return in a lambda. */

not (s instanceof Return and strictcount(Return r | r.getScope() = s.getScope()) = 1)

)

}

from Call c, FunctionValue func

where

/* Call result is used, but callee is a procedure */

is_used(c) and

c.getFunc().pointsTo(func) and

func.getScope().isProcedure() and

/* All callees are procedures */

forall(FunctionValue callee | c.getFunc().pointsTo(callee) | callee.getScope().isProcedure()) and

/* Mox return objects have an `AndReturn` method */

not useOfMoxInModule(c.getEnclosingModule())

select c, "The result of '$@' is used even though it is always None.", func, func.getQualifiedName()