I wish to know of any references to material that discusses data
structures for the basic code blocks which form the nodes of the
graph and the graph itself for efficient traversal, used in
actual implementations. The CFGs are being built for subsequent
optimisation purposes.