Module Languages.Cfg

module Ast : sig ... end

Extends the simple Universal language with Control Flow Graphs.

module Frontend : sig ... end

Converts a Universal program AST into a CFG.

module Iterator : sig ... end

General intraprocedural iterator on Control Flow Graphs.

module Pp : sig ... end

Pretty-printing for CFG.

module Visitor : sig ... end

Visitors for CFG.