FilesExpand file tree

 main

/

Shadowing.qll

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

14 lines (12 loc) · 347 Bytes

 main

/

Shadowing.qll

Copy path

Top

File metadata and controls

• Code
• Blame

14 lines (12 loc) · 347 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

import python

/*

* Parameters with defaults that are used as an optimization.

* E.g. def f(x, len=len): ...

* (In general, this kind of optimization is not recommended.)

*/

predicate optimizing_parameter(Parameter p) {

exists(string name, Name glob | p.getDefault() = glob |

glob.getId() = name and

p.asName().getId() = name

)

}