FilesExpand file tree

main

/

TypeInferenceFailure.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

17 lines (15 loc) · 421 Bytes

main

/

TypeInferenceFailure.ql

Copy path

Top

File metadata and controls

• Code
• Blame

17 lines (15 loc) · 421 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

/**

* @name Type inference fails for 'object'

* @description Type inference fails for 'object' which reduces recall for many queries.

* @kind problem

* @problem.severity info

* @id py/type-inference-failure

* @deprecated

*/

import python

private import LegacyPointsTo

from ControlFlowNodeWithPointsTo f, Object o

where

f.refersTo(o) and

not f.refersTo(o, _, _)

select o, "Type inference fails for 'object'."