tools

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)