codeql/csharp-all
0.9.2-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if succ is a control flow successor for pred, given that pred finishes with completion c.
succ
pred
c
import codeql.controlflow.Cfg
predicate succ(AstNode pred, AstNode succ, Completion c)