Automatically Deriving Control-Flow Graph Generators from Operational Semantics

James Koppel, Jackson Kearl, Armando Solar-Lezama

We develop the first theory of control-flow graphs from first principles, and use it to create an algorithm for automatically synthesizing many variants of control-flow graph gener…