Versions in this module Expand all Collapse all v0 v0.4.5 Sep 2, 2020 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) AddExtendedQuery(v ssa.Value, query string) (*Pointer, error) + 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) Intersects(y PointsToSet) bool + func (s PointsToSet) Labels() []*Label + func (s PointsToSet) String() string + 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
Go to main page