mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
9 lines
273 B
Plaintext
9 lines
273 B
Plaintext
import csharp
|
|
|
|
from int uses, int live
|
|
where
|
|
uses = strictcount(Ssa::ExplicitDefinition ssa, AssignableRead read | read = ssa.getARead()) and
|
|
live =
|
|
strictcount(Ssa::ExplicitDefinition ssa, ControlFlow::BasicBlock bb | ssa.isLiveAtEndOfBlock(bb))
|
|
select uses, live
|