pointer

Mar 21, 2017

Changes in this version

+ func CanHaveDynamicTypes(T types.Type) bool

+ func CanPoint(T types.Type) bool

+ type Config struct

+ BuildCallGraph bool

+ IndirectQueries map[ssa.Value]struct{}

+ Log io.Writer

+ Mains []*ssa.Package

+ Queries map[ssa.Value]struct{}

+ Reflection bool

+ func (c *Config) AddIndirectQuery(v ssa.Value)

+ func (c *Config) AddQuery(v ssa.Value)

+ type Label struct

+ func (l Label) Path() string

+ func (l Label) Pos() token.Pos

+ func (l Label) ReflectType() types.Type

+ func (l Label) String() string

+ func (l Label) Value() ssa.Value

+ type Pointer struct

+ func (p Pointer) DynamicTypes() *typeutil.Map

+ func (p Pointer) MayAlias(q Pointer) bool

+ func (p Pointer) PointsTo() PointsToSet

+ func (p Pointer) String() string

+ type PointsToSet struct

+ func (s PointsToSet) DynamicTypes() *typeutil.Map

+ func (s PointsToSet) Labels() []*Label

+ func (s PointsToSet) String() string

+ func (x PointsToSet) Intersects(y PointsToSet) bool

+ type Result struct

+ CallGraph *callgraph.Graph

+ IndirectQueries map[ssa.Value]Pointer

+ Queries map[ssa.Value]Pointer

+ Warnings []Warning

+ func Analyze(config *Config) (result *Result, err error)

+ type Warning struct

+ Message string

+ Pos token.Pos