FilesExpand file tree

main

/

InconsistentMRO.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

32 lines (28 loc) · 993 Bytes

main

/

InconsistentMRO.ql

Copy path

Top

File metadata and controls

• Code
• Blame

32 lines (28 loc) · 993 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

24

25

26

27

28

29

30

31

32

/**

* @name Inconsistent method resolution order

* @description Class definition will raise a type error at runtime due to inconsistent method resolution order(MRO)

* @kind problem

* @tags quality

* reliability

* correctness

* @problem.severity error

* @sub-severity high

* @precision very-high

* @id py/inconsistent-mro

*/

import python

private import LegacyPointsTo

ClassObject left_base(ClassObject type, ClassObject base) {

exists(int i | i > 0 and type.getBaseType(i) = base and result = type.getBaseType(i - 1))

}

predicate invalid_mro(ClassObject t, ClassObject left, ClassObject right) {

t.isNewStyle() and

left = left_base(t, right) and

left = right.getAnImproperSuperType()

}

from ClassObject t, ClassObject left, ClassObject right

where invalid_mro(t, left, right)

select t,

"Construction of class " + t.getName() +

" can fail due to invalid method resolution order(MRO) for bases $@ and $@.", left,

left.getName(), right, right.getName()