mirror of
https://github.com/github/codeql.git
synced 2026-07-23 20:22:02 +02:00
8 lines
242 B
Plaintext
8 lines
242 B
Plaintext
import csharp
|
|
|
|
from int uses, int live
|
|
where
|
|
uses = strictcount(SsaExplicitWrite ssa, AssignableRead read | read = ssa.getARead()) and
|
|
live = strictcount(SsaExplicitWrite ssa, BasicBlock bb | ssa.isLiveAtEndOfBlock(bb))
|
|
select uses, live
|