Predicate isLiveAtEndOfBlock
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate isLiveAtEndOfBlock(Definition def, BasicBlock bb)import semmle.code.csharp.dataflow.internal.SsaImplpredicate isLiveAtEndOfBlock(Definition def, BasicBlock bb)