config

Documentation

Index

• Variables
• type Config
  • func ReadConfig() (*Config, error)
  • func (c Config) IsPropagator(call *ssa.Call) bool
  • func (c Config) IsSanitizer(call *ssa.Call) bool
  • func (c Config) IsSink(call *ssa.Call) bool
  • func (c Config) IsSource(t types.Type) bool
  • func (c Config) IsSourceField(typ types.Type, fld *types.Var) bool
  • func (c Config) IsSourceFieldAddr(fa *ssa.FieldAddr) bool
• type NameMatcher
  • func (r NameMatcher) MatchMethodName(c *ssa.Call) bool

Variables

var FlagSet flag.FlagSet

FlagSet should be used by analyzers to reuse -config flag.

Types

type Config

type Config struct {
	Sources                 []sourceMatcher
	Sinks                   []NameMatcher
	Sanitizers              []NameMatcher
	FieldPropagators        []fieldPropagatorMatcher
	TransformingPropagators []transformingPropagatorMatcher
	PropagatorArgs          argumentPropagatorMatcher
	Whitelist               []packageMatcher
	AnalysisScope           []packageMatcher
}

config contains matchers and analysis scope information

func ReadConfig

func ReadConfig() (*Config, error)

func (Config) IsPropagator

func (c Config) IsPropagator(call *ssa.Call) bool

func (Config) IsSanitizer

func (c Config) IsSanitizer(call *ssa.Call) bool

func (Config) IsSink

func (c Config) IsSink(call *ssa.Call) bool

func (Config) IsSource

func (c Config) IsSource(t types.Type) bool

func (Config) IsSourceField

func (c Config) IsSourceField(typ types.Type, fld *types.Var) bool

func (Config) IsSourceFieldAddr

func (c Config) IsSourceFieldAddr(fa *ssa.FieldAddr) bool

type NameMatcher

type NameMatcher struct {
	PackageRE regexp.Regexp
	TypeRE    regexp.Regexp
	MethodRE  regexp.Regexp
}

func (NameMatcher) MatchMethodName

func (r NameMatcher) MatchMethodName(c *ssa.Call) bool