pointer

type AllocationSite struct {
	// contains filtered or unexported fields
}

type AnalysisConfig struct {
	Program *ssa.Program

	// Functions in this list will be treated as program entry points.
	EntryFunctions []*ssa.Function
	// Packages in this list will have their main & init functions treated as
	// program entry points.
	EntryPackages []*ssa.Package

	// When TreatMethodsAsRoots is true, all methods of all types in
	// prog.RuntimeTypes() are implicitly called.
	// This is mainly useful for soundness comparison with the analysis in
	// "golang.org/x/tools/go/pointer" which does the same thing.
	TreatMethodsAsRoots bool
}

type Array struct {
	// contains filtered or unexported fields
}

type Chan struct {
	// contains filtered or unexported fields
}

type Closure struct {
	// contains filtered or unexported fields
}

type ElementPointer struct {
	// contains filtered or unexported fields
}

type FieldPointer struct {
	Field int
	// contains filtered or unexported fields
}

type Fresh struct {
	// contains filtered or unexported fields
}

type Interface struct {
	// contains filtered or unexported fields
}

type Label interface {
	// Allocation site of the object denoted by the label.
	Site() ssa.Value
	// Returns an access path to the object that is compatible with the paths
	// provided for labels in the Go team implementation of Andersen's pointer
	// analysis. Specifically field names are resolved from ssa indices.
	Path() string
	// Returns the type of a pointer pointing to the object denoted by the
	// label. (Label).Type().Underlying() == (*types.Pointer) except for
	// allocation sites for slices (where the returned type is (*types.Slice)).
	Type() types.Type
}

type Map struct {
	// contains filtered or unexported fields
}

type Pointer struct {
	// contains filtered or unexported fields
}

type PointsTo struct {
	// contains filtered or unexported fields
}

type Result struct {
	// Reachable contains all function discovered during analysis.
	Reachable map[*ssa.Function]bool
	CallGraph *callgraph.Graph
	// contains filtered or unexported fields
}

type Struct struct {
	// contains filtered or unexported fields
}

type Term struct {
	// contains filtered or unexported fields
}