ssa4analyze

package

v1.3.3 Latest Latest Go to latest Published: May 30, 2024 License: AGPL-3.0 Imports: 7 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/yaklang/yaklang

Links

Open Source Insights

Documentation ¶

Index ¶

Constants
func ArgumentTypeError(index int, valueType, wantType, funName string) string
func BlockUnreachable() string
func ConditionIsConst(control string) string
func ErrorUnhandled() string
func ErrorUnhandledWithType(typ string) string
func FreeValueUndefine(name string) string
func InvalidField(typ, key string) string
func NotEnoughArgument(funName string, have, want string) string
func RunAnalyzer(prog *ssa.Program, opts ...Option)
type Analyzer
- func NewBlockCondition(config) Analyzer
- func NewTypeCheck(config) Analyzer
- func NewTypeInference(config) Analyzer
type AnalyzerBuilder
type AnalyzerGroup
- func NewAnalyzerGroup(prog *ssa.Program, opts ...Option) *AnalyzerGroup
- func (ag *AnalyzerGroup) GetError() ssa.SSAErrors
- func (ag *AnalyzerGroup) Run()
type BlockCondition
- func (s *BlockCondition) Run(prog *ssa.Program)
- func (s *BlockCondition) RunOnFunction(fun *ssa.Function)
type Edge
type Option
type TypeCheck
- func (t *TypeCheck) CheckOnInstruction(inst ssa.Instruction)
- func (t *TypeCheck) Run(prog *ssa.Program)
- func (t *TypeCheck) TypeCheckCall(c *ssa.Call)
- func (t *TypeCheck) TypeCheckUndefine(inst *ssa.Undefined)
type TypeInference
- func (t *TypeInference) InferenceOnInstruction(inst ssa.Instruction)
- func (t *TypeInference) Run(prog *ssa.Program)
- func (t *TypeInference) RunOnFunction(fun *ssa.Function)
- func (t *TypeInference) TypeInferenceBinOp(bin *ssa.BinOp)
- func (t *TypeInference) TypeInferencePhi(phi *ssa.Phi)

Constants ¶

View Source

const BCTag ssa.ErrorTag = "BlockCondition"

View Source

const TITAG = "TypeInference"

View Source

const TypeCheckTAG ssa.ErrorTag = "TypeCheck"

Variables ¶

This section is empty.

Functions ¶

func ArgumentTypeError ¶ added in v1.2.9

func ArgumentTypeError(index int, valueType, wantType, funName string) string

func BlockUnreachable ¶

func BlockUnreachable() string

func ConditionIsConst ¶ added in v1.2.9

func ConditionIsConst(control string) string

func ErrorUnhandled ¶

func ErrorUnhandled() string

func ErrorUnhandledWithType ¶

func ErrorUnhandledWithType(typ string) string

func FreeValueUndefine ¶ added in v1.3.3

func FreeValueUndefine(name string) string

func InvalidField ¶

func InvalidField(typ, key string) string

func NotEnoughArgument ¶

func NotEnoughArgument(funName string, have, want string) string

func RunAnalyzer ¶ added in v1.3.0

func RunAnalyzer(prog *ssa.Program, opts ...Option)

Types ¶

type Analyzer ¶

type Analyzer interface {
	Run(*ssa.Program)
}

program pass

func NewBlockCondition ¶

func NewBlockCondition(config) Analyzer

func NewTypeCheck ¶

func NewTypeCheck(config) Analyzer

func NewTypeInference ¶

func NewTypeInference(config) Analyzer

type AnalyzerBuilder ¶

type AnalyzerBuilder func(config) Analyzer

type AnalyzerGroup ¶

type AnalyzerGroup struct {
	Ir *ssa.Program
	// contains filtered or unexported fields
}

analyzer group

func NewAnalyzerGroup ¶

func NewAnalyzerGroup(prog *ssa.Program, opts ...Option) *AnalyzerGroup

func (*AnalyzerGroup) GetError ¶

func (ag *AnalyzerGroup) GetError() ssa.SSAErrors

func (*AnalyzerGroup) Run ¶

func (ag *AnalyzerGroup) Run()

type BlockCondition ¶

type BlockCondition struct {
	Finish map[*ssa.BasicBlock]struct{}
	// contains filtered or unexported fields
}

block condition

func (*BlockCondition) Run ¶

func (s *BlockCondition) Run(prog *ssa.Program)

func (*BlockCondition) RunOnFunction ¶

func (s *BlockCondition) RunOnFunction(fun *ssa.Function)

type Edge ¶

type Edge map[*ssa.BasicBlock]map[*ssa.BasicBlock]ssa.Value

map to -> from -> condition

type Option ¶

type Option func(*config)

type TypeCheck ¶

type TypeCheck struct {
}

func (*TypeCheck) CheckOnInstruction ¶

func (t *TypeCheck) CheckOnInstruction(inst ssa.Instruction)

func (*TypeCheck) Run ¶

func (t *TypeCheck) Run(prog *ssa.Program)

Analyze(config, *ssa.Program)

func (*TypeCheck) TypeCheckCall ¶

func (t *TypeCheck) TypeCheckCall(c *ssa.Call)

func (*TypeCheck) TypeCheckUndefine ¶

func (t *TypeCheck) TypeCheckUndefine(inst *ssa.Undefined)

type TypeInference ¶

type TypeInference struct {
	Finish     map[ssa.Value]struct{}
	DeleteInst []ssa.Instruction
}

func (*TypeInference) InferenceOnInstruction ¶

func (t *TypeInference) InferenceOnInstruction(inst ssa.Instruction)

func (*TypeInference) Run ¶

func (t *TypeInference) Run(prog *ssa.Program)

func (*TypeInference) RunOnFunction ¶

func (t *TypeInference) RunOnFunction(fun *ssa.Function)

func (*TypeInference) TypeInferenceBinOp ¶

func (t *TypeInference) TypeInferenceBinOp(bin *ssa.BinOp)

func (*TypeInference) TypeInferencePhi ¶

func (t *TypeInference) TypeInferencePhi(phi *ssa.Phi)

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL