FilesExpand file tree

 main

/

UnusedLocalVariable.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

34 lines (31 loc) · 1.12 KB

 main

/

UnusedLocalVariable.ql

Copy path

Top

File metadata and controls

• Code
• Blame

34 lines (31 loc) · 1.12 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 Unused local variable

* @description Local variable is defined but not used

* @kind problem

* @tags maintainability

* useless-code

* external/cwe/cwe-563

* @problem.severity recommendation

* @sub-severity high

* @precision very-high

* @id py/unused-local-variable

*/

import python

import Definition

predicate unused_local(Name unused, LocalVariable v) {

forex(Definition def | def.getNode() = unused |

def.getVariable() = v and

def.isUnused() and

not exists(def.getARedef()) and

def.isRelevant() and

not v = any(Nonlocal n).getAVariable() and

not exists(def.getNode().getParentNode().(FunctionDef).getDefinedFunction().getADecorator()) and

not exists(def.getNode().getParentNode().(ClassDef).getDefinedClass().getADecorator())

)

}

from Name unused, LocalVariable v

where

unused_local(unused, v) and

// If unused is part of a tuple, count it as unused if all elements of that tuple are unused.

forall(Name el | el = unused.getParentNode().(Tuple).getAnElt() | unused_local(el, _))

select unused, "The value assigned to local variable '" + v.getId() + "' is never used."