FilesExpand file tree

codeql-cli-2.17.4

/

ShadowBuiltin.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

50 lines (45 loc) · 1.5 KB

codeql-cli-2.17.4

/

ShadowBuiltin.ql

Copy path

Top

File metadata and controls

• Code
• Blame

50 lines (45 loc) · 1.5 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

44

45

46

47

48

49

50

/**

* @name Builtin shadowed by local variable

* @description Defining a local variable with the same name as a built-in object

* makes the built-in object unusable within the current scope and makes the code

* more difficult to read.

* @kind problem

* @tags maintainability

* readability

* @problem.severity recommendation

* @sub-severity low

* @precision medium

* @id py/local-shadows-builtin

*/

import python

import Shadowing

import semmle.python.types.Builtins

predicate allow_list(string name) {

name in [

/* These are rarely used and thus unlikely to be confusing */

"iter", "next", "input", "file", "apply", "slice", "buffer", "coerce", "intern", "exit",

"quit", "license",

/* These are short and/or hard to avoid */

"dir", "id", "max", "min", "sum", "cmp", "chr", "ord", "bytes", "_",

]

}

predicate shadows(Name d, string name, Function scope, int line) {

exists(LocalVariable l |

d.defines(l) and

l.getId() = name and

exists(Builtin::builtin(l.getId()))

) and

d.getScope() = scope and

d.getLocation().getStartLine() = line and

not allow_list(name) and

not optimizing_parameter(d)

}

predicate first_shadowing_definition(Name d, string name) {

exists(int first, Scope scope |

shadows(d, name, scope, first) and

first = min(int line | shadows(_, name, scope, line))

)

}

from Name d, string name

where first_shadowing_definition(d, name)

select d, "Local variable " + name + " shadows a builtin variable."