FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
codeql/javascript/ql/src/meta/SSA/DeadDef.ql at codeql-cli/v2.27.1 · github/codeql · GitHub
github
codeql
Repository navigation
Code
Issues
1k
(1k)
Pull requests
481
(481)
Discussions
Actions
Projects
Security and quality
Insights
Expand file tree
Breadcrumbs
codeql
/
javascript
/
ql
/
src
/
meta
/
SSA
/
DeadDef.ql
Copy path
More file actions
More file actions
Latest commit
History
History
History
17 lines (15 loc) · 439 Bytes
Breadcrumbs
codeql
/
javascript
/
ql
/
src
/
meta
/
SSA
/
DeadDef.ql
Copy path
File metadata and controls
17 lines (15 loc) · 439 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 Dead SSA definition
* @description Each SSA definition should have at least one use.
* @kind problem
* @problem.severity error
* @id js/consistency/dead-ssa-definition
* @tags consistency
*/
import
javascript
from
SsaVariable
d
where
not
exists
(
d
.
getAUse
(
)
)
and
not
d
=
any
(
SsaPseudoDefinition
phi
)
.
getAnInput
(
)
and
d
.
getSourceVariable
(
)
instanceof
PurelyLocalVariable
select
d
,
"Dead SSA definition "
+
d
+
"."
Back
|
FazBrowse Home
|
New Git URL