Here is a Scala interpreter for control-flow graphs.

Standard version with program counter.

Accumulating semantics version.