It&#x27;s actually a bit more relaxed than a CFG, since code is not really organized into &quot;basic blocks&quot; but floats around as nodes in a graph. We affectionately refer to it as a &quot;soup of nodes&quot;.