CodeQL library for C#
codeql/csharp-all 1.0.1 (changelog, source)

Member predicate Ssa::Definition::isLiveAtEndOfBlock

Holds if this SSA definition is live at the end of basic block bb. That is, this definition reaches the end of basic block bb, at which point it is still live, without crossing another SSA definition of the same source variable.

predicate isLiveAtEndOfBlock(BasicBlock bb)