ctrlflow

Documentation

Overview

Package ctrlflow represents and constructs control-flow graph (CFG) of MiGo functions in a MiGo program.

Index

• type Graph
  • func NewGraph(prog *migo.Program) *Graph
  • func (g *Graph) DotString() string
  • func (g *Graph) String() string
• type Node
  • func (n Node) Func() *migo.Function
  • func (n *Node) String() string

Types

type Graph

type Graph struct {
	Nodes []*Node
	// contains filtered or unexported fields
}

Graph is a control flow graph.

func NewGraph

func NewGraph(prog *migo.Program) *Graph

NewGraph returns a new CFG given MiGo program prog.

func (*Graph) DotString

func (g *Graph) DotString() string

DotString returns a string representation the graph in dot format.

func (*Graph) String

func (g *Graph) String() string

type Node

type Node struct {
	Preds []*Node
	Succs []*Node
	// contains filtered or unexported fields
}

Node is a CFG node (function) for a migo program.

func (Node) Func

func (n Node) Func() *migo.Function

Func returns the function the Node n represents in the CFG.

func (*Node) String

func (n *Node) String() string