mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
9 lines
254 B
Plaintext
9 lines
254 B
Plaintext
import java
|
|
import semmle.code.java.dataflow.SSA
|
|
|
|
from int uses, int live
|
|
where
|
|
uses = strictcount(SsaVariable ssa, RValue use | use = ssa.getAUse()) and
|
|
live = strictcount(SsaVariable ssa, BasicBlock b | ssa.isLiveAtEndOfBlock(b))
|
|
select uses, live
|