tainttracking

Documentation

Index

• Constants
• Variables
• func Comments(group *Group, comments ...string) *Group
• func ComposeTypeAssertion(file *File, group *Group, varName string, typ types.Type, isVariadic bool, ...)
• func DoGroup(f func(*Group)) *Statement
• func GetFuncQualifierCodeElements(qual *x.FuncQualifier) (x.FuncInterface, []Code)
• func NewTestFile(includeBoilerplace bool) *File
• func Tag() Code
• type Handler
  • func (han *Handler) GenerateCodeQL(impAdder x.ImportAdder, mdl *x.XModel, rootModuleGroup *Group) error
  • func (han *Handler) GenerateGo(parentDir string, mdl *x.XModel) error
  • func (han *Handler) ScavengeMethods() []*x.XMethod
  • func (han *Handler) Validate(mdl *x.XModel) error
• type StatementAndName

Constants

const (
	// NOTE: hardcoded inside TestQueryContent const.
	InlineExpectationsTestTag = "$taintSink" // Must start with a $ sign.
)

const (
	Kind x.ModelKind = "TaintTracking"
)

const (
	MethodSelf = "Self"
)

const (
	TestQueryContent = `` /* 1192-byte string literal not displayed */

)

Variables

var (
	GenerateBoilerplate bool
)

var (
	IncludeCommentsInGeneratedGo bool
)

Functions

func Comments

func Comments(group *Group, comments ...string) *Group

Comments adds comments to a Group (if enabled), and returns the group.

func ComposeTypeAssertion

func ComposeTypeAssertion(file *File, group *Group, varName string, typ types.Type, isVariadic bool, counter int)

declare `name := source(1).(Type)`

func DoGroup

func DoGroup(f func(*Group)) *Statement

func GetFuncQualifierCodeElements

func GetFuncQualifierCodeElements(qual *x.FuncQualifier) (x.FuncInterface, []Code)

func NewTestFile

func NewTestFile(includeBoilerplace bool) *File

func Tag

func Tag() Code

Types

type Handler

type Handler struct{}

func (*Handler) GenerateCodeQL

func (han *Handler) GenerateCodeQL(impAdder x.ImportAdder, mdl *x.XModel, rootModuleGroup *Group) error

func (*Handler) GenerateGo

func (han *Handler) GenerateGo(parentDir string, mdl *x.XModel) error

func (*Handler) ScavengeMethods

func (han *Handler) ScavengeMethods() []*x.XMethod

func (*Handler) Validate

func (han *Handler) Validate(mdl *x.XModel) error

type StatementAndName

type StatementAndName struct {
	Statement    *Statement
	TestFuncName string
}

//////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////