Source code for CFI Graphs