FilesExpand file tree

 main

/

UninitializedLocal.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

36 lines (32 loc) · 1.04 KB

 main

/

UninitializedLocal.ql

Copy path

Top

File metadata and controls

• Code
• Blame

36 lines (32 loc) · 1.04 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

/**

* @name Potentially uninitialized local variable

* @description Using a local variable before it is initialized causes an UnboundLocalError.

* @kind problem

* @tags reliability

* correctness

* @problem.severity error

* @sub-severity low

* @precision medium

* @id py/uninitialized-local-variable

*/

import python

import Undefined

import semmle.python.pointsto.PointsTo

predicate uninitialized_local(NameNode use) {

exists(FastLocalVariable local | use.uses(local) or use.deletes(local) | not local.escapes()) and

(

any(Uninitialized uninit).taints(use) and

PointsToInternal::reachableBlock(use.getBasicBlock(), _)

or

not exists(EssaVariable var | var.getASourceUse() = use)

)

}

predicate explicitly_guarded(NameNode u) {

exists(Try t |

t.getBody().contains(u.getNode()) and

t.getAHandler().getType().pointsTo(ClassValue::nameError())

)

}

from NameNode u

where uninitialized_local(u) and not explicitly_guarded(u)

select u.getNode(), "Local variable '" + u.getId() + "' may be used before it is initialized."