A flowgraph is a directed graph with a set of vertices, represented by the IBasicBlock interface, and a set of edges, represented by IBasicBlock.getSuccessors().
IBasicBlock
IBasicBlock.getSuccessors()