Module MakeWithSplitting::Cached
Import path
import codeql.controlflow.Cfg
Predicates
getASuccessor | Gets a successor node of a given flow type, if any. |
splitsToString |
import codeql.controlflow.Cfg
getASuccessor | Gets a successor node of a given flow type, if any. |
splitsToString |