scalar

Documentation

Index

• type BaseFlowAnalysis
  • func NewBase(g *graph.UnitGraph) *BaseFlowAnalysis
  • func (a *BaseFlowAnalysis) Computations() int
  • func (a *BaseFlowAnalysis) Copy(srcMap *map[any]any, dstMap *map[any]any)
  • func (a *BaseFlowAnalysis) End(universe []*entry.Entry)
  • func (a *BaseFlowAnalysis) EntryInitalFlow() *map[any]any
  • func (a *BaseFlowAnalysis) FlowThrougth(inMap *map[any]any, unit ssa.Instruction, outMap *map[any]any)
  • func (a *BaseFlowAnalysis) GetGraph() *graph.UnitGraph
  • func (a *BaseFlowAnalysis) IsForward() bool
  • func (a *BaseFlowAnalysis) MergeInto(unit ssa.Instruction, inout *map[any]any, in *map[any]any)
  • func (a *BaseFlowAnalysis) NewInitalFlow() *map[any]any
• type FlowAnalysis

Types

type BaseFlowAnalysis

type BaseFlowAnalysis struct {
	Graph *graph.UnitGraph
}

BaseFlowAnalysis represents a base flow analysis implemention

func NewBase

func NewBase(g *graph.UnitGraph) *BaseFlowAnalysis

NewBase returns a BaseFlowAnalysis

func (*BaseFlowAnalysis) Computations

func (a *BaseFlowAnalysis) Computations() int

Computations limit number of computations on a flow graph

func (*BaseFlowAnalysis) Copy

func (a *BaseFlowAnalysis) Copy(srcMap *map[any]any, dstMap *map[any]any)

Copy copy from srcMap to dstMap

func (*BaseFlowAnalysis) End

func (a *BaseFlowAnalysis) End(universe []*entry.Entry)

End handle result of analysis

func (*BaseFlowAnalysis) EntryInitalFlow

func (a *BaseFlowAnalysis) EntryInitalFlow() *map[any]any

EntryInitalFlow returns a new flow for entry

func (*BaseFlowAnalysis) FlowThrougth

func (a *BaseFlowAnalysis) FlowThrougth(inMap *map[any]any, unit ssa.Instruction, outMap *map[any]any)

FlowThrougth calculate outMap based on inMap and unit

func (*BaseFlowAnalysis) GetGraph

func (a *BaseFlowAnalysis) GetGraph() *graph.UnitGraph

GetGraph returns the Graph memeber in a BaseFlowAnalysis

func (*BaseFlowAnalysis) IsForward

func (a *BaseFlowAnalysis) IsForward() bool

IsForward returns whether this analysis is a forward flow analysis

func (*BaseFlowAnalysis) MergeInto

func (a *BaseFlowAnalysis) MergeInto(unit ssa.Instruction, inout *map[any]any, in *map[any]any)

MergeInto merge from in to inout based on unit

func (*BaseFlowAnalysis) NewInitalFlow

func (a *BaseFlowAnalysis) NewInitalFlow() *map[any]any

NewInitalFlow returns a new flow

type FlowAnalysis

type FlowAnalysis interface {
	GetGraph() *graph.UnitGraph
	IsForward() bool
	Computations() int
	FlowThrougth(inMap *map[any]any, unit ssa.Instruction, outMap *map[any]any)
	NewInitalFlow() *map[any]any
	EntryInitalFlow() *map[any]any
	Copy(srcMap *map[any]any, dstMap *map[any]any)
	MergeInto(Unit ssa.Instruction, inout *map[any]any, in *map[any]any)
	End(universe []*entry.Entry)
}

FlowAnalysis represents a flow analysis