FilesExpand file tree

codeql-cli/v2.15.4

/

NoDefs.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

18 lines (16 loc) · 536 Bytes

codeql-cli/v2.15.4

/

NoDefs.ql

Copy path

Top

File metadata and controls

• Code
• Blame

18 lines (16 loc) · 536 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

/**

* @name Variable use with no corresponding SSA variable

* @description Every reachable use of an SSA-convertible variable should correspond to

* exactly one SSA variable.

* @kind problem

* @problem.severity error

* @id js/consistency/dead-ssa-use

* @tags consistency

*/

import javascript

from VarUse u

where

u.getVariable() instanceof SsaSourceVariable and

exists(ReachableBasicBlock bb | u = bb.getANode()) and

not exists(u.getSsaVariable())

select u, "Variable use has no corresponding SSA variable."