tools

Documentation

Index

• func BuildCallgraph(inputfile string) map[string]*FuncInfo
• func Callgraph(inputfile string)
• func FormatArray(src, pattern string)
• func Formuala(inputfile, formula string) string
• func Formulae(inputfile, formulae string) string
• func PrintAst(src string)
• func RersInput(inputfile string) string
• func RewriteBlackbox(inputfile string, funs []string, outputdir string) (string, string)
• func RewriteRecursion(inputfile string, unroll_level int) (string, bool)
• type FuncInfo

Functions

func BuildCallgraph

func BuildCallgraph(inputfile string) map[string]*FuncInfo

func Callgraph

func Callgraph(inputfile string)

func FormatArray

func FormatArray(src, pattern string)

func Formuala

func Formuala(inputfile, formula string) string

func Formulae

func Formulae(inputfile, formulae string) string

func PrintAst

func PrintAst(src string)

func RersInput

func RersInput(inputfile string) string

func RewriteBlackbox

func RewriteBlackbox(inputfile string, funs []string, outputdir string) (string, string)

FIXME this function is very "naive": it only removes function from the orignal file to put them (visibility public) in the Blackbox file Nonetheles problem can occur when a blackbox function call a non blackbox one

func RewriteRecursion

func RewriteRecursion(inputfile string, unroll_level int) (string, bool)

Types

type FuncInfo

type FuncInfo struct {
	Name                  string
	IsRecursive           bool
	TransitivelyRecursive bool
	Calls                 []string
}