Versions in this module Expand all Collapse all v1 v1.2.1 Mar 21, 2017 v1.2.0 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