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

Member predicate ControlFlowElement::isLive

Holds if this element is live, that is this element can be reached from the entry point of its enclosing callable.

predicate isLive()