source

Documentation

Overview

Package source contains the logic related to the concept of the source which may be tainted.

Index

• Variables
• type ResultType
• type Source
  • func New(in ssa.Node, config classifier) *Source
  • func (a *Source) HasPathTo(n ssa.Node) bool
  • func (a *Source) IsSanitizedAt(call ssa.Instruction) bool
  • func (a *Source) Node() ssa.Node
  • func (a *Source) RefersTo(n ssa.Node) bool
  • func (a *Source) String() string

Variables

var Analyzer = &analysis.Analyzer{
	Name:       "source",
	Doc:        "This analyzer identifies ssa.Values as dataflow sources.",
	Flags:      config.FlagSet,
	Run:        run,
	Requires:   []*analysis.Analyzer{buildssa.Analyzer},
	ResultType: reflect.TypeOf(new(ResultType)).Elem(),
}

Types

type ResultType

type ResultType = map[*ssa.Function][]*Source

type Source

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

Source represents a Source in an SSA call tree. It is based on ssa.Node, with the added functionality of computing the recursive graph of its referrers. Source.sanitized notes sanitizer calls that sanitize this Source

func New

func New(in ssa.Node, config classifier) *Source

New constructs a Source

func (*Source) HasPathTo

func (a *Source) HasPathTo(n ssa.Node) bool

HasPathTo returns true when a Node is part of declaration-use graph.

func (*Source) IsSanitizedAt

func (a *Source) IsSanitizedAt(call ssa.Instruction) bool

IsSanitizedAt returns true when the Source is sanitized by the supplied instruction.

func (*Source) Node

func (a *Source) Node() ssa.Node

Node returns the underlying ssa.Node of the Source.

func (*Source) RefersTo

func (a *Source) RefersTo(n ssa.Node) bool

func (*Source) String

func (a *Source) String() string

String implements Stringer interface.