FilesExpand file tree

 main

/

MaybeUndefinedClassAttribute.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

43 lines (39 loc) · 1.19 KB

 main

/

MaybeUndefinedClassAttribute.ql

Copy path

Top

File metadata and controls

• Code
• Blame

43 lines (39 loc) · 1.19 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

39

40

41

42

43

/**

* @name Maybe undefined class attribute

* @description Accessing an attribute of `self` that is not initialized in the `__init__` method may cause an AttributeError at runtime

* @kind problem

* @tags reliability

* correctness

* @problem.severity error

* @sub-severity low

* @precision low

* @id py/maybe-undefined-attribute

*/

import python

import ClassAttributes

predicate guarded_by_other_attribute(SelfAttributeRead a, CheckClass c) {

c.sometimesDefines(a.getName()) and

exists(SelfAttributeRead guard, If i |

i.contains(a) and

c.assignedInInit(guard.getName())

|

i.getTest() = guard

or

i.getTest().contains(guard)

)

}

predicate maybe_undefined_class_attribute(SelfAttributeRead a, CheckClass c) {

c.sometimesDefines(a.getName()) and

not c.alwaysDefines(a.getName()) and

c.interestingUndefined(a) and

not guarded_by_other_attribute(a, c)

}

from Attribute a, ClassObject c, SelfAttributeStore sa

where

maybe_undefined_class_attribute(a, c) and

sa.getClass() = c.getPyClass() and

sa.getName() = a.getName()

select a,

"Attribute '" + a.getName() +

"' is not defined in the class body nor in the __init__() method, but it is defined $@.", sa,

"here"