instrumenter

Documentation

Index

• type Block
• type File
  • func Annotate(name string) (*File, error)
  • func (f *File) GetBlockIDs() []string
  • func (f *File) Visit(node ast.Node) ast.Visitor
  • func (f *File) WriteAnnotatedFile(outfile string) error
  • func (f *File) WriteBlocksFile(outfile string) error

Types

type Block

type Block struct {
	ID string
	// contains filtered or unexported fields
}

Block represents the information about a basic block to be recorded in the analysis. Note: Our definition of basic block is based on control structures; we don't break apart && and ||. We could but it doesn't seem important enough to bother.

type File

type File struct {
	// contains filtered or unexported fields
}

File is a wrapper for the state of a file used in the parser. The basic parse tree walker is a method of this type.

func Annotate

func Annotate(name string) (*File, error)

Annotate annotates the source code with Dara instrumentation for source code coverage

func (*File) GetBlockIDs

func (f *File) GetBlockIDs() []string

func (*File) Visit

func (f *File) Visit(node ast.Node) ast.Visitor

Visit implements the ast.Visitor interface.

func (*File) WriteAnnotatedFile

func (f *File) WriteAnnotatedFile(outfile string) error

WriteAnnotatedFile writes the annotated source code to the specified outfile

func (*File) WriteBlocksFile

func (f *File) WriteBlocksFile(outfile string) error

WriteBlocksFile writes the list of blockIDs to the specified outfile