FilesExpand file tree

 codeql-cli/v2.16.6

/

MissingCallToInit.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

28 lines (26 loc) · 1.05 KB

 codeql-cli/v2.16.6

/

MissingCallToInit.ql

Top

File metadata and controls

• Code
• Blame

28 lines (26 loc) · 1.05 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

/**

* @name Missing call to `__init__` during object initialization

* @description An omitted call to a super-class `__init__` method may lead to objects of this class not being fully initialized.

* @kind problem

* @tags reliability

* correctness

* @problem.severity error

* @sub-severity low

* @precision high

* @id py/missing-call-to-init

*/

import python

import MethodCallOrder

from ClassObject self, FunctionObject initializer, FunctionObject missing

where

self.lookupAttribute("__init__") = initializer and

missing_call_to_superclass_method(self, initializer, missing, "__init__") and

// If a superclass is incorrect, don't flag this class as well.

not missing_call_to_superclass_method(self.getASuperType(), _, missing, "__init__") and

not missing.neverReturns() and

not self.failedInference() and

not missing.isBuiltin() and

not self.isAbstract()

select self,

"Class " + self.getName() + " may not be initialized properly as $@ is not called from its $@.",

missing, missing.descriptiveString(), initializer, "__init__ method"