results

Documentation

Index

• type Builder
  • func NewBuilder(pkg *PkgRes) *Builder
  • func (b *Builder) ArrayIndex(m memory.Loc, i int) memory.Loc
  • func (b *Builder) Field(m memory.Loc, i int) memory.Loc
  • func (b *Builder) GenLoad(dst, src memory.Loc)
  • func (b *Builder) GenLoc() memory.Loc
  • func (b *Builder) GenPointsTo(dst, p memory.Loc)
  • func (b *Builder) GenStore(dst, src memory.Loc)
  • func (b *Builder) GenTransfer(dst, src memory.Loc)
  • func (b *Builder) GenTransferIndex(dst, src memory.Loc, off indexing.I)
  • func (b *Builder) GenWithPointer() (obj, ptr memory.Loc)
  • func (b *Builder) Model() *memory.Model
  • func (b *Builder) Reset()
• type PkgRes
  • func NewPkgRes(pkgPath string, vs indexing.T) *PkgRes
  • func (pkg *PkgRes) PlainDecode(r io.Reader) error
  • func (pkg *PkgRes) PlainEncode(w io.Writer) error
• type T
  • func New() (*T, error)
  • func (t *T) AFact()
  • func (t *T) Lookup(pkgPath string) *PkgRes
  • func (t *T) Put(pkgName string, pkgR *PkgRes) error

Types

type Builder

type Builder struct {
	Attrs memory.Attrs
	Class memory.Class
	Pos   token.Pos
	Type  types.Type
	// contains filtered or unexported fields
}

func NewBuilder

func NewBuilder(pkg *PkgRes) *Builder

func (*Builder) ArrayIndex

func (b *Builder) ArrayIndex(m memory.Loc, i int) memory.Loc

func (*Builder) Field

func (b *Builder) Field(m memory.Loc, i int) memory.Loc

func (*Builder) GenLoad

func (b *Builder) GenLoad(dst, src memory.Loc)

func (*Builder) GenLoc

func (b *Builder) GenLoc() memory.Loc

func (*Builder) GenPointsTo

func (b *Builder) GenPointsTo(dst, p memory.Loc)

func (*Builder) GenStore

func (b *Builder) GenStore(dst, src memory.Loc)

func (*Builder) GenTransfer

func (b *Builder) GenTransfer(dst, src memory.Loc)

func (*Builder) GenTransferIndex

func (b *Builder) GenTransferIndex(dst, src memory.Loc, off indexing.I)

func (*Builder) GenWithPointer

func (b *Builder) GenWithPointer() (obj, ptr memory.Loc)

func (*Builder) Model

func (b *Builder) Model() *memory.Model

func (*Builder) Reset

func (b *Builder) Reset()

type PkgRes

type PkgRes struct {
	PkgPath string

	Start    memory.Loc
	MemModel *memory.Model // provides memory.Loc operations
	// contains filtered or unexported fields
}

PkgRes represents results for a package.

func NewPkgRes

func NewPkgRes(pkgPath string, vs indexing.T) *PkgRes

func (*PkgRes) PlainDecode

func (pkg *PkgRes) PlainDecode(r io.Reader) error

func (*PkgRes) PlainEncode

func (pkg *PkgRes) PlainEncode(w io.Writer) error

type T

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

func New

func New() (*T, error)

New generates a new results.T object for managing pointer analysis results.

func (*T) AFact

func (t *T) AFact()

AFact satisfying golang.org/x/tools/go/analysis's Facts.

Using this in that framework makes it analyse package dependencies before analyzing the respective package.

func (*T) Lookup

func (t *T) Lookup(pkgPath string) *PkgRes

func (*T) Put

func (t *T) Put(pkgName string, pkgR *PkgRes) error