Finally, I’ve been able to start work on the code flow graph.
So far, very little is prepared, but I can now make the most basic graph, with each instruction as its own vertex (click for full-size image):
Additionally, jumps are also handled (click for full-size image):
The next step is to combine some of these instructions into groups of instructions, to reduce the number of vertices in the graph.