render

Documentation

Overview

Package render provides functions to build a inter-procedural dataflow graph. This is used to render the graph in a GraphViz format.

Index

• func BuildCrossFunctionGraph(state *dataflow.State) (*dataflow.State, error)
• type CrossFunctionGraphVisitor
  • func (v CrossFunctionGraphVisitor) Visit(c *dataflow.State, entrypoint dataflow.NodeWithTrace)

Functions

func BuildCrossFunctionGraph

func BuildCrossFunctionGraph(state *dataflow.State) (*dataflow.State, error)

BuildCrossFunctionGraph builds a full-program (inter-procedural) analysis state from program.

Types

type CrossFunctionGraphVisitor

type CrossFunctionGraphVisitor struct{}

CrossFunctionGraphVisitor represents a visitor that builds the state's FlowGraph.

func (CrossFunctionGraphVisitor) Visit

func (v CrossFunctionGraphVisitor) Visit(c *dataflow.State, entrypoint dataflow.NodeWithTrace)

Visit is a SourceVisitor that builds adds edges between the individual intra-procedural dataflow graphs reachable from source. This visitor must be called for every entrypoint in the program to build a complete dataflow graph.