ACFG

The Annotated Control Flow Graph is a Control Flow Graph but in place of the basic bloc there is a different representation. It can be a text description, a embedded vector, function name… Anything that may give more information to the study system or human.

It’s not unified so for the exemple i will choose a human friendly representation.

The code used is the one from the CFG notes.

As far as i know the usage of this kind of system are more for automated analysis tool. With a good enough embedding for the basic block and some tricks to simplify the graph it’s a powerful tool for binary diffing problem.

In the wild you can see some annotation like enhanced-ACFG or ACFG+. More i work on it more i think ACFG match all this variations, but i’m open to criticism.