qtil
advanced-security/qtil-go 0.0.3
Search

Predicate CFG::succ

Gets a successor of nd, that is, a node that is executed after nd.

Import path

import semmle.go.controlflow.ControlFlowGraphImpl
Node succ(Node nd)