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 ¶
Constants ¶
This section is empty.
Variables ¶
View Source
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)}, }
Functions ¶
This section is empty.
Types ¶
type ResultType ¶
ResultType is a set of objects that are field propagators.
func (ResultType) IsFieldPropagator ¶ added in v0.1.4
func (r ResultType) IsFieldPropagator(c *ssa.Call) bool
IsFieldPropagator determines whether a call is a field propagator.
Click to show internal directories.
Click to hide internal directories.