fieldpropagator

Documentation

Overview

Package fieldpropagator implements identification of field propagators. A field propagator is a function that returns a value tainted by a source field.

Index

• Variables
• type ResultType
  • func (r ResultType) IsFieldPropagator(c *ssa.Call) bool

Variables

var Analyzer = &analysis.Analyzer{
	Name: "fieldpropagator",
	Doc: `This analyzer identifies field propagators.

A field propagator is a function that returns a value that is tainted by a source field.`,
	Flags:      config.FlagSet,
	Run:        run,
	Requires:   []*analysis.Analyzer{buildssa.Analyzer, fieldtags.Analyzer},
	ResultType: reflect.TypeOf(new(ResultType)).Elem(),
	FactTypes:  []analysis.Fact{new(isFieldPropagator)},
}

Types

type ResultType

type ResultType map[types.Object]bool

ResultType is a set of objects that are field propagators.

func (ResultType) IsFieldPropagator

func (r ResultType) IsFieldPropagator(c *ssa.Call) bool

IsFieldPropagator determines whether a call is a field propagator.