qtil
advanced-security/qtil-csharp 0.0.3
Search

Predicate MakeWithSplitting::Consistency::deadEnd

Holds if node is lacking a successor.

Import path

import codeql.controlflow.Cfg
predicate deadEnd(Node node)