tainttracking

package

v0.0.0-...-ff5eb55 Latest Latest Go to latest Published: Jun 11, 2021 License: MIT Imports: 10 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

View Source

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

View Source

const (
	Kind x.ModelKind = "TaintTracking"
)

View Source

const (
	MethodSelf = "Self"
)

View Source

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

)

View Source

var (
	GenerateBoilerplate bool
)

View Source

var (
	IncludeCommentsInGeneratedGo bool
)

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

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

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

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

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

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

func NewTestFile(includeBoilerplace bool) *File

func Tag() Code

type Handler struct{}

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 struct {
	Statement    *Statement
	TestFuncName string
}

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