Module CfgSource

Sourcemodule Ast : sig ... end

Extends the simple Universal language with Control Flow Graphs.

Sourcemodule Frontend : sig ... end

Converts a Universal program AST into a CFG.

Sourcemodule Iterator : sig ... end

General intraprocedural iterator on Control Flow Graphs.

Sourcemodule Pp : sig ... end

Pretty-printing for CFG.

Sourcemodule Visitor : sig ... end

Visitors for CFG.