instrumentor

Mar 4, 2024

Changes in this version

+ func GenerateNotifierSource(notifierDir string, notifierInfo *NotifierInfo)

type CoverageInstrumentor

+ NotifierPackage string

+ func (cI *CoverageInstrumentor) WriteNotifierSource(notifierDir string, edge_count int)

+ type NotifierInfo struct

+ EdgeCount int

+ InstrumentationPackageName string

+ NotifierPackage string

+ SymbolTableName string

Feb 20, 2024

Changes in this version

+ const AntithesisCallbackFunction

+ const InstrumentationModuleName

+ const InstrumentationPackageAlias

+ func ExportsFunctions(file *ast.File, fset *token.FileSet) bool

+ func HasLinkname(file *ast.File, fset *token.FileSet) bool

+ func IsFunctionExported(group *ast.CommentGroup, name string) bool

+ func IsLineDirectiveCompatible(file *ast.File, fset *token.FileSet) bool

+ func RequiresFileNameOrLineNumber(n ast.Node, fset *token.FileSet) bool

+ type CoverageInstrumentor struct

+ FilesInstrumented int

+ FilesSkipped int

+ FullCatalogPath string

+ GoInstrumentor *Instrumentor

+ PreviousEdge int

+ SymTable *SymbolTable

+ UsingSymbols string

+ func (cI *CoverageInstrumentor) InstrumentFile(file_name string) string

+ func (cI *CoverageInstrumentor) SummarizeWork(numFiles int)

+ func (cI *CoverageInstrumentor) WrapUp() (edge_count int)

+ type Instrumentor struct

+ CurrentEdge int

+ ShimPkg string

+ SymbolTable *SymbolTable

+ func CreateInstrumentor(basePath string, shimPkg string, table *SymbolTable) *Instrumentor

+ func (instrumentor *Instrumentor) Instrument(path string) (string, error)

+ func (instrumentor *Instrumentor) TrimComments(path string, file *ast.File)

+ func (instrumentor *Instrumentor) Visit(node ast.Node) ast.Visitor

+ func (instrumentor *Instrumentor) VisitAndAddLines(node ast.Node) ast.Visitor

+ func (instrumentor *Instrumentor) VisitAndInstrument(node ast.Node) ast.Visitor

+ type Stack []ast.Node

+ func (s *Stack) IsEmpty() bool

+ func (s *Stack) Peek() (ast.Node, bool)

+ func (s *Stack) Pop() (ast.Node, bool)

+ func (s *Stack) Push(x ast.Node)

+ type SymbolTable struct

+ Path string

+ func CreateInMemorySymbolTable(symbolTablePath, instrumentedModule string) *SymbolTable

+ func CreateSymbolTableFile(symbolTablePath, instrumentedModule string) (err error, symbolTable *SymbolTable)

+ func (t *SymbolTable) Close() error

+ func (t *SymbolTable) String() string

+ func (t *SymbolTable) WritePosition(p SymbolTablePosition) error

+ type SymbolTablePosition struct

+ Edge int

+ EndColumn int

+ EndLine int

+ Function string

+ Path string

+ StartColumn int

+ StartLine int