ssa

README

HIR

Include 25+ Instruction

Instruction	Description
Assert	assert stmt
BasicBlock	block with scope
BinOp	binary operation
Call	function call or undefined call, operation with Method/FormalParams and Returns
ConstInst	constant value / literal
ErrorHandler	error handler
Field	field access, member call, like foo.bar, Op1 is foo, Op2 is bar
Function	function definition, with FormalParams and Returns, support freevalues, closure function
If	Standard if statement, with condition, then block, else block, if-elif-else like
Jump	jump to another block
Loop	loop statement, with condition, body block, and optional init block, and latch, classic for three block format
Make	make statement, with type, and optional init block, create new value or mix type
Next	next statement, with optional value, like continue
Panic	panic statement, with optional value, like panic
Parameter	Formal Parameters, in function definitions
Phi	phi node, with type, and optional init block, like a = phi [b, c], generally if-phi and for-phi is common...
Recover	relative for Panic, with optional value, like recover
Return	return statement, with optional value, like return
SideEffect	a freevalue in function is re-assigned, like a = 1; c = () => {a = a + 1}; c(); dump(a) will cause the last a is changed
Switch	switch statement, with condition, and optional default block, and optional case blocks, like switch a { case b: c; default: d; }
TypeCast	type cast, with type, and optional init block
TypeValue	type literal, like make([]int, 1), the []int is type literal
UnOp	unary operation
Undefined	undefined value, like undefined

How Translate From AST?

the core operator is *Function instance, so keep the main in a package and u can use *Function to emit some ast structure to ssa ins.

in AST walker, the visitor mode is recommended, DO NOT USE listener

Advanced Syntax Support

Closure Function and Side Effect

var a = 0
c = () => { a += 1 }
c()

dump(a) // build/emit side effect via the lexical scope(name) 

Lexical Scope API

// in php code
<?php 

$a ="b";
$b = "123";
echo $$a; // operator for lexical scope

Yield Abstract Syntax

TBD

OOP, Interface with Object Blueprint

TBD

Documentation

Index

• Constants
• Variables
• func BindingGenericTypeWithRealType(real, generic Type, symbolsTypeMap map[string]Type) (errMsg string)
• func BindingNotFound(v string, r *Range) string
• func BindingNotFoundInCall(v string) string
• func CallAssignmentMismatch(left int, right string) string
• func CallAssignmentMismatchDropError(left int, right string) string
• func CombineMemberCallVariableName(caller, callee Value) (string, bool)
• func ContAssignExtern(name string) string
• func DeleteInst(i Instruction)
• func ExternFieldError(instance, name, key, want string) string
• func FunctionContReturnError() string
• func GenericTypeError(symbol, generic, want, got Type) string
• func GetAllKey(t Type) []string
• func GetEndPosition(t antlr.Token) (int, int)
• func GetKeyString(key Value) string
• func GetMethodsName(t Type) []string
• func GetSSACacheIterationCost() time.Duration
• func GetSSACacheToDatabaseCost() time.Duration
• func GetSSASaveIrCodeCost() time.Duration
• func GetTypeStr(n Value) string
• func InsertSortedIntSlice(ts []int, t int) []int
• func Instruction2IrCode(inst Instruction, ir *ssadb.IrCode) error
• func IsCompareOpcode(i BinaryOpcode) bool
• func IsConst(v Instruction) bool
• func IsControlInstruction(i Instruction) bool
• func IsObjectType(t Type) bool
• func LineDisasm(v Instruction) string
• func LineShortDisasm(v Instruction) string
• func NewInstruction() anInstruction
• func NewInstructionFromLazy[T Instruction](id int64, Cover func(Instruction) (T, bool)) (T, error)
• func NewValue() anValue
• func NewVariable(globalIndex int, name string, local bool, ...) ssautil.VersionedIF[Value]
• func NoCheckMustInFirst() string
• func ReplaceAllValue(v Value, to Value)
• func ReplaceMemberCall(v, to Value) map[string]Value
• func ReplaceValue(v Value, to Value, skip func(Instruction) bool)
• func RunOnCoverOr[T, U Instruction](insts []U, cover func(Instruction) (T, bool), f func(T), or func(U))
• func SaveTypeToDB(typ Type) int
• func SetMemberCall(obj, key, member Value)
• func ShowDatabaseCacheCost()
• func SpinHandle(name string, phiValue, header, latch Value) map[string]Value
• func SyncFromDatabase(s *ScopeInstance) error
• func TryGetSimilarityKey(table []string, name string) string
• func TypeCompare(t1, t2 Type) bool
• func TypeEqual(t1, t2 Type) bool
• func ValueIsNull() string
• func ValueNotMember(op Opcode, name, key string, r *Range) string
• func ValueNotMemberInCall(name, key string) string
• func ValueUndefined(v string) string
• type AliasType
  • func NewAliasType(name, pkg string, elem Type) *AliasType
  • func (b *AliasType) AddMethod(id string, f *Function)
  • func (a *AliasType) GetMethod() map[string]*Function
  • func (a *AliasType) GetTypeKind() TypeKind
  • func (b *AliasType) PkgPathString() string
  • func (a *AliasType) RawString() string
  • func (a *AliasType) SetMethod(m map[string]*Function)
  • func (a *AliasType) String() string
• type Assert
  • func NewAssert(cond, msgValue Value, msg string) *Assert
  • func (a *Assert) GetBlock() *BasicBlock
  • func (a *Assert) GetFunc() *Function
  • func (a *Assert) GetId() int64
  • func (a *Assert) GetName() string
  • func (i *Assert) GetOpcode() Opcode
  • func (a *Assert) GetProgram() *Program
  • func (c *Assert) GetRange() *Range
  • func (i *Assert) GetShortVerboseName() string
  • func (v *Assert) GetSourceCode() string
  • func (v *Assert) GetSourceCodeContext(n int) string
  • func (r *Assert) GetUsers() Users
  • func (a *Assert) GetValues() Values
  • func (i *Assert) GetVerboseName() string
  • func (r *Assert) HasUsers() bool
  • func (a *Assert) HasValues() bool
  • func (a *Assert) IsAnnotation() bool
  • func (i *Assert) IsBlock(name string) bool
  • func (i *Assert) IsCFGEnterBlock() ([]Instruction, bool)
  • func (c *Assert) IsExtern() bool
  • func (i *Assert) IsLazy() bool
  • func (i *Assert) IsUndefined() bool
  • func (a *Assert) LineDisasm() string
  • func (c *Assert) NewError(kind ErrorKind, tag ErrorTag, msg string)
  • func (a *Assert) ReplaceValue(v, to Value)
  • func (i *Assert) Self() Instruction
  • func (i *Assert) SelfDelete()
  • func (a *Assert) SetBlock(block *BasicBlock)
  • func (c *Assert) SetExtern(b bool)
  • func (a *Assert) SetFunc(f *Function)
  • func (a *Assert) SetId(id int64)
  • func (a *Assert) SetIsAnnotation(b bool)
  • func (a *Assert) SetName(v string)
  • func (c *Assert) SetRange(pos *Range)
  • func (i *Assert) SetVerboseName(verbose string)
  • func (a *Assert) String() string
• type AssignAble
• type BasicBlock
  • func ToBasicBlock(n Instruction) (*BasicBlock, bool)
  • func (i *BasicBlock) AddMask(v Value)
  • func (n *BasicBlock) AddMember(k, v Value)
  • func (i *BasicBlock) AddReference(v Value)
  • func (b *BasicBlock) AddSucc(succ *BasicBlock)
  • func (n *BasicBlock) AddUser(u User)
  • func (a *BasicBlock) AddVariable(v *Variable)
  • func (n *BasicBlock) DeleteMember(k Value)
  • func (b *BasicBlock) EmitInst(i Instruction)
  • func (n *BasicBlock) ForEachMember(fn func(Value, Value) bool)
  • func (n *BasicBlock) GetAllMember() map[Value]Value
  • func (a *BasicBlock) GetAllVariables() map[string]*Variable
  • func (b *BasicBlock) GetBlockById(name string) *BasicBlock
  • func (n *BasicBlock) GetIndexMember(i int) (Value, bool)
  • func (n *BasicBlock) GetKey() Value
  • func (a *BasicBlock) GetLastVariable() *Variable
  • func (i *BasicBlock) GetMask() []Value
  • func (n *BasicBlock) GetMember(key Value) (Value, bool)
  • func (n *BasicBlock) GetObject() Value
  • func (i *BasicBlock) GetOpcode() Opcode
  • func (n *BasicBlock) GetStringMember(key string) (Value, bool)
  • func (b *BasicBlock) GetType() Type
  • func (n *BasicBlock) GetUsers() Users
  • func (b *BasicBlock) GetValues() Values
  • func (a *BasicBlock) GetVariable(name string) *Variable
  • func (n *BasicBlock) HasUsers() bool
  • func (b *BasicBlock) HasValues() bool
  • func (b *BasicBlock) IsBlock(name string) bool
  • func (b *BasicBlock) IsCFGEnterBlock() ([]Instruction, bool)
  • func (n *BasicBlock) IsMember() bool
  • func (n *BasicBlock) IsObject() bool
  • func (b *BasicBlock) LastInst() Instruction
  • func (i *BasicBlock) Masked() bool
  • func (b *BasicBlock) Reachable() int
  • func (i *BasicBlock) Reference() Values
  • func (n *BasicBlock) RemoveUser(u User)
  • func (n *BasicBlock) SetKey(k Value)
  • func (n *BasicBlock) SetObject(v Value)
  • func (b *BasicBlock) SetReachable(boolean bool)
  • func (b *BasicBlock) SetType(ts Type)
  • func (b *BasicBlock) String() string
• type BasicType
  • func NewBasicType(kind TypeKind, name string) *BasicType
  • func (b *BasicType) AddMethod(id string, f *Function)
  • func (b *BasicType) GetMethod() map[string]*Function
  • func (b *BasicType) GetTypeKind() TypeKind
  • func (b *BasicType) PkgPathString() string
  • func (b *BasicType) RawString() string
  • func (b *BasicType) SetMethod(method map[string]*Function)
  • func (b *BasicType) String() string
• type BinOp
  • func NewBinOp(op BinaryOpcode, x, y Value) *BinOp
  • func ToBinOp(v Instruction) (*BinOp, bool)
  • func (i *BinOp) AddMask(v Value)
  • func (n *BinOp) AddMember(k, v Value)
  • func (i *BinOp) AddReference(v Value)
  • func (n *BinOp) AddUser(u User)
  • func (a *BinOp) AddVariable(v *Variable)
  • func (n *BinOp) DeleteMember(k Value)
  • func (n *BinOp) ForEachMember(fn func(Value, Value) bool)
  • func (n *BinOp) GetAllMember() map[Value]Value
  • func (a *BinOp) GetAllVariables() map[string]*Variable
  • func (n *BinOp) GetIndexMember(i int) (Value, bool)
  • func (n *BinOp) GetKey() Value
  • func (a *BinOp) GetLastVariable() *Variable
  • func (i *BinOp) GetMask() []Value
  • func (n *BinOp) GetMember(key Value) (Value, bool)
  • func (n *BinOp) GetObject() Value
  • func (i *BinOp) GetOpcode() Opcode
  • func (n *BinOp) GetStringMember(key string) (Value, bool)
  • func (n *BinOp) GetType() Type
  • func (n *BinOp) GetUsers() Users
  • func (b *BinOp) GetValues() Values
  • func (a *BinOp) GetVariable(name string) *Variable
  • func (n *BinOp) HasUsers() bool
  • func (b *BinOp) HasValues() bool
  • func (n *BinOp) IsMember() bool
  • func (n *BinOp) IsObject() bool
  • func (i *BinOp) Masked() bool
  • func (i *BinOp) Reference() Values
  • func (n *BinOp) RemoveUser(u User)
  • func (b *BinOp) ReplaceValue(v Value, to Value)
  • func (n *BinOp) SetKey(k Value)
  • func (n *BinOp) SetObject(v Value)
  • func (n *BinOp) SetType(typ Type)
  • func (b *BinOp) String() string
• type BinaryOpcode
• type BluePrintMember
• type Build
• type Builder
• type Cache
  • func GetCacheFromPool(programName string) *Cache
  • func NewDBCache(programName string, databaseEnable bool, ConfigTTL ...time.Duration) *Cache
  • func (c *Cache) AddClassInstance(name string, inst Instruction)
  • func (c *Cache) AddVariable(name string, inst Instruction)
  • func (c *Cache) DeleteInstruction(inst Instruction)
  • func (c *Cache) ForEachVariable(handle func(string, []Instruction))
  • func (c *Cache) GetByVariable(name string) []Instruction
  • func (c *Cache) GetClassInstance(name string) []Instruction
  • func (c *Cache) GetInstruction(id int64) Instruction
  • func (c *Cache) HaveDatabaseBackend() bool
  • func (c *Cache) IrCodeToInstruction(inst Instruction, ir *ssadb.IrCode) Instruction
  • func (c *Cache) IsExistedSourceCodeHash(programName string, hashString string) bool
  • func (c *Cache) RemoveVariable(name string, inst Instruction)
  • func (c *Cache) SaveToDatabase()
  • func (c *Cache) SetInstruction(inst Instruction)
  • func (c *Cache) SetVariable(name string, instructions []Instruction)
• type Call
  • func NewCall(target Value, args []Value, binding map[string]Value, block *BasicBlock) *Call
  • func ToCall(v Instruction) (*Call, bool)
  • func (i *Call) AddMask(v Value)
  • func (n *Call) AddMember(k, v Value)
  • func (i *Call) AddReference(v Value)
  • func (n *Call) AddUser(u User)
  • func (a *Call) AddVariable(v *Variable)
  • func (n *Call) DeleteMember(k Value)
  • func (n *Call) ForEachMember(fn func(Value, Value) bool)
  • func (n *Call) GetAllMember() map[Value]Value
  • func (a *Call) GetAllVariables() map[string]*Variable
  • func (n *Call) GetIndexMember(i int) (Value, bool)
  • func (n *Call) GetKey() Value
  • func (a *Call) GetLastVariable() *Variable
  • func (i *Call) GetMask() []Value
  • func (n *Call) GetMember(key Value) (Value, bool)
  • func (n *Call) GetObject() Value
  • func (i *Call) GetOpcode() Opcode
  • func (n *Call) GetStringMember(key string) (Value, bool)
  • func (n *Call) GetType() Type
  • func (n *Call) GetUsers() Users
  • func (c *Call) GetValues() Values
  • func (a *Call) GetVariable(name string) *Variable
  • func (c *Call) HandleFreeValue(fvs []*Parameter)
  • func (n *Call) HasUsers() bool
  • func (c *Call) HasValues() bool
  • func (n *Call) IsMember() bool
  • func (n *Call) IsObject() bool
  • func (i *Call) Masked() bool
  • func (i *Call) Reference() Values
  • func (n *Call) RemoveUser(u User)
  • func (c *Call) ReplaceValue(v Value, to Value)
  • func (n *Call) SetKey(k Value)
  • func (n *Call) SetObject(v Value)
  • func (n *Call) SetType(typ Type)
  • func (c *Call) String() string
• type CanStartStopToken
• type ChanType
  • func NewChanType(elem Type) *ChanType
  • func (b *ChanType) AddMethod(id string, f *Function)
  • func (c *ChanType) GetMethod() map[string]*Function
  • func (c *ChanType) GetTypeKind() TypeKind
  • func (c ChanType) PkgPathString() string
  • func (c ChanType) RawString() string
  • func (c *ChanType) SetMethod(m map[string]*Function)
  • func (c ChanType) String() string
• type ClassBluePrint
  • func NewClassBluePrint() *ClassBluePrint
  • func (c *ClassBluePrint) AddMethod(key string, fun *Function)
  • func (c *ClassBluePrint) AddNormalMember(name string, value Value)
  • func (c *ClassBluePrint) AddNormalMemberOnlyType(name string, typ Type)
  • func (c *ClassBluePrint) AddParentClass(parent *ClassBluePrint)
  • func (c *ClassBluePrint) AddStaticMember(name string, value Value)
  • func (c *ClassBluePrint) AddStaticMethod(name string, value *Function)
  • func (c *ClassBluePrint) Apply(obj Value) Type
  • func (c *ClassBluePrint) GetMember(key string) *BluePrintMember
  • func (c *ClassBluePrint) GetMemberEx(key string, get func(*ClassBluePrint) bool) bool
  • func (c *ClassBluePrint) GetMethod() map[string]*Function
  • func (c *ClassBluePrint) GetTypeKind() TypeKind
  • func (b *ClassBluePrint) InitializeWithContainer(con *Make) error
  • func (c *ClassBluePrint) PkgPathString() string
  • func (c *ClassBluePrint) RawString() string
  • func (c *ClassBluePrint) SetMethod(m map[string]*Function)
  • func (c *ClassBluePrint) String() string
• type ClassModifier
• type Const
  • func (c *Const) Boolean() bool
  • func (c *Const) Float() float64
  • func (c *Const) GetRawValue() any
  • func (c *Const) GetType() Type
  • func (c *Const) GetTypeKind() TypeKind
  • func (c *Const) IsBoolean() bool
  • func (c *Const) IsFloat() bool
  • func (c *Const) IsNumber() bool
  • func (c *Const) IsString() bool
  • func (c *Const) Number() int64
  • func (c *Const) SetType(ts Type)
  • func (c Const) String() string
  • func (c *Const) VarString() string
• type ConstInst
  • func CalcConstBinary(x, y *ConstInst, op BinaryOpcode) *ConstInst
  • func CalcConstUnary(x *ConstInst, op UnaryOpcode) *ConstInst
  • func NewAny() *ConstInst
  • func NewConst(i any) *ConstInst
  • func NewConstWithUnary(i any, un int) *ConstInst
  • func NewNil() *ConstInst
  • func ToConst(v Instruction) (*ConstInst, bool)
  • func (i *ConstInst) AddMask(v Value)
  • func (n *ConstInst) AddMember(k, v Value)
  • func (i *ConstInst) AddReference(v Value)
  • func (n *ConstInst) AddUser(u User)
  • func (a *ConstInst) AddVariable(v *Variable)
  • func (n *ConstInst) DeleteMember(k Value)
  • func (n *ConstInst) ForEachMember(fn func(Value, Value) bool)
  • func (n *ConstInst) GetAllMember() map[Value]Value
  • func (a *ConstInst) GetAllVariables() map[string]*Variable
  • func (n *ConstInst) GetIndexMember(i int) (Value, bool)
  • func (n *ConstInst) GetKey() Value
  • func (a *ConstInst) GetLastVariable() *Variable
  • func (i *ConstInst) GetMask() []Value
  • func (n *ConstInst) GetMember(key Value) (Value, bool)
  • func (n *ConstInst) GetObject() Value
  • func (i *ConstInst) GetOpcode() Opcode
  • func (n *ConstInst) GetStringMember(key string) (Value, bool)
  • func (c *ConstInst) GetType() Type
  • func (n *ConstInst) GetUsers() Users
  • func (c *ConstInst) GetValues() Values
  • func (a *ConstInst) GetVariable(name string) *Variable
  • func (n *ConstInst) HasUsers() bool
  • func (c *ConstInst) HasValues() bool
  • func (n *ConstInst) IsMember() bool
  • func (n *ConstInst) IsObject() bool
  • func (i *ConstInst) Masked() bool
  • func (i *ConstInst) Reference() Values
  • func (n *ConstInst) RemoveUser(u User)
  • func (c *ConstInst) ReplaceValue(v Value, to Value)
  • func (n *ConstInst) SetKey(k Value)
  • func (n *ConstInst) SetObject(v Value)
  • func (c *ConstInst) SetType(ts Type)
  • func (c *ConstInst) String() string
• type DisasmLiner
• type DummyExtraFileAnalyzer
  • func (d *DummyExtraFileAnalyzer) EnableExtraFileAnalyzer() bool
  • func (d *DummyExtraFileAnalyzer) ExtraFileAnalyze(filesys.FileSystem, *Program, string) error
• type ErrorComment
  • func (ec ErrorComment) Skip(pos *Range) bool
• type ErrorCommentId
• type ErrorHandler
  • func NewErrorHandler(try *BasicBlock) *ErrorHandler
  • func (e *ErrorHandler) AddCatch(c *BasicBlock)
  • func (e *ErrorHandler) AddDone(d *BasicBlock)
  • func (e *ErrorHandler) AddFinal(f *BasicBlock)
  • func (a *ErrorHandler) GetBlock() *BasicBlock
  • func (a *ErrorHandler) GetFunc() *Function
  • func (a *ErrorHandler) GetId() int64
  • func (a *ErrorHandler) GetName() string
  • func (i *ErrorHandler) GetOpcode() Opcode
  • func (a *ErrorHandler) GetProgram() *Program
  • func (c *ErrorHandler) GetRange() *Range
  • func (i *ErrorHandler) GetShortVerboseName() string
  • func (v *ErrorHandler) GetSourceCode() string
  • func (v *ErrorHandler) GetSourceCodeContext(n int) string
  • func (i *ErrorHandler) GetVerboseName() string
  • func (a *ErrorHandler) IsAnnotation() bool
  • func (i *ErrorHandler) IsBlock(name string) bool
  • func (i *ErrorHandler) IsCFGEnterBlock() ([]Instruction, bool)
  • func (c *ErrorHandler) IsExtern() bool
  • func (i *ErrorHandler) IsLazy() bool
  • func (i *ErrorHandler) IsUndefined() bool
  • func (a *ErrorHandler) LineDisasm() string
  • func (c *ErrorHandler) NewError(kind ErrorKind, tag ErrorTag, msg string)
  • func (i *ErrorHandler) ReplaceValue(Value, Value)
  • func (i *ErrorHandler) Self() Instruction
  • func (i *ErrorHandler) SelfDelete()
  • func (a *ErrorHandler) SetBlock(block *BasicBlock)
  • func (c *ErrorHandler) SetExtern(b bool)
  • func (a *ErrorHandler) SetFunc(f *Function)
  • func (a *ErrorHandler) SetId(id int64)
  • func (a *ErrorHandler) SetIsAnnotation(b bool)
  • func (a *ErrorHandler) SetName(v string)
  • func (c *ErrorHandler) SetRange(pos *Range)
  • func (i *ErrorHandler) SetVerboseName(verbose string)
  • func (e *ErrorHandler) String() string
• type ErrorKind
• type ErrorLogger
• type ErrorTag
• type ExternLib
  • func NewExternLib(variable string, builder *FunctionBuilder, table map[string]any) *ExternLib
  • func ToExternLib(v Instruction) (*ExternLib, bool)
  • func (i *ExternLib) AddMask(v Value)
  • func (n *ExternLib) AddMember(k, v Value)
  • func (i *ExternLib) AddReference(v Value)
  • func (n *ExternLib) AddUser(u User)
  • func (a *ExternLib) AddVariable(v *Variable)
  • func (ex *ExternLib) BuildField(key string) Value
  • func (n *ExternLib) DeleteMember(k Value)
  • func (n *ExternLib) ForEachMember(fn func(Value, Value) bool)
  • func (n *ExternLib) GetAllMember() map[Value]Value
  • func (a *ExternLib) GetAllVariables() map[string]*Variable
  • func (n *ExternLib) GetIndexMember(i int) (Value, bool)
  • func (n *ExternLib) GetKey() Value
  • func (a *ExternLib) GetLastVariable() *Variable
  • func (i *ExternLib) GetMask() []Value
  • func (n *ExternLib) GetMember(key Value) (Value, bool)
  • func (n *ExternLib) GetObject() Value
  • func (i *ExternLib) GetOpcode() Opcode
  • func (n *ExternLib) GetStringMember(key string) (Value, bool)
  • func (n *ExternLib) GetType() Type
  • func (n *ExternLib) GetUsers() Users
  • func (e *ExternLib) GetValues() Values
  • func (a *ExternLib) GetVariable(name string) *Variable
  • func (n *ExternLib) HasUsers() bool
  • func (e *ExternLib) HasValues() bool
  • func (n *ExternLib) IsMember() bool
  • func (n *ExternLib) IsObject() bool
  • func (i *ExternLib) Masked() bool
  • func (i *ExternLib) Reference() Values
  • func (n *ExternLib) RemoveUser(u User)
  • func (e *ExternLib) ReplaceValue(v Value, to Value)
  • func (n *ExternLib) SetKey(k Value)
  • func (n *ExternLib) SetObject(v Value)
  • func (n *ExternLib) SetType(typ Type)
  • func (e *ExternLib) String() string
• type ExtraFileAnalyzer
• type FullDisasmLiner
  • func NewFullDisasmLiner(max int) *FullDisasmLiner
  • func (f *FullDisasmLiner) AddLevel() bool
  • func (b FullDisasmLiner) DeleteName(i Instruction)
  • func (f *FullDisasmLiner) DisasmValue(v Instruction) string
  • func (b FullDisasmLiner) GetName(i Instruction) (string, bool)
  • func (b FullDisasmLiner) SetName(i Instruction, name string)
  • func (b *FullDisasmLiner) SkipLevelChecking() bool
• type Function
  • func GetMethod(t Type, id string) *Function
  • func NewFunctionWithType(name string, typ *FunctionType) *Function
  • func ToFunction(n Instruction) (*Function, bool)
  • func (f *Function) AddErrorComment(str string, line int) error
  • func (f *Function) AddForceSideEffect(name string, v Value)
  • func (i *Function) AddMask(v Value)
  • func (n *Function) AddMember(k, v Value)
  • func (i *Function) AddReference(v Value)
  • func (f *Function) AddSideEffect(name *Variable, v Value)
  • func (n *Function) AddUser(u User)
  • func (a *Function) AddVariable(v *Variable)
  • func (n *Function) DeleteMember(k Value)
  • func (f *Function) DisAsm(flag FunctionAsmFlag) string
  • func (f *Function) Finish()
  • func (f *Function) FirstBlockInstruction() []Instruction
  • func (n *Function) ForEachMember(fn func(Value, Value) bool)
  • func (n *Function) GetAllMember() map[Value]Value
  • func (a *Function) GetAllVariables() map[string]*Variable
  • func (f *Function) GetDeferBlock() *BasicBlock
  • func (f *Function) GetFunc() *Function
  • func (n *Function) GetIndexMember(i int) (Value, bool)
  • func (n *Function) GetKey() Value
  • func (a *Function) GetLastVariable() *Variable
  • func (i *Function) GetMask() []Value
  • func (n *Function) GetMember(key Value) (Value, bool)
  • func (f *Function) GetMethodName() string
  • func (n *Function) GetObject() Value
  • func (i *Function) GetOpcode() Opcode
  • func (f *Function) GetParent() *Function
  • func (f *Function) GetProgram() *Program
  • func (n *Function) GetStringMember(key string) (Value, bool)
  • func (f *Function) GetType() Type
  • func (n *Function) GetUsers() Users
  • func (f *Function) GetValues() Values
  • func (a *Function) GetVariable(name string) *Variable
  • func (n *Function) HasUsers() bool
  • func (f *Function) HasValues() bool
  • func (f *Function) IsGeneric() bool
  • func (f *Function) IsMain() bool
  • func (n *Function) IsMember() bool
  • func (f *Function) IsMethod() bool
  • func (n *Function) IsObject() bool
  • func (i *Function) Masked() bool
  • func (f *Function) NewBasicBlock(name string) *BasicBlock
  • func (f *Function) NewBasicBlockNotAddBlocks(name string) *BasicBlock
  • func (f *Function) NewBasicBlockNotAddUnSealed(name string) *BasicBlock
  • func (f *Function) NewBasicBlockUnSealed(name string) *BasicBlock
  • func (f *Function) NewError(kind ErrorKind, tag ErrorTag, format string)
  • func (f *Function) NewErrorWithPos(kind ErrorKind, tag ErrorTag, Pos *Range, message string)
  • func (i *Function) Reference() Values
  • func (n *Function) RemoveUser(u User)
  • func (f *Function) ReturnValue() []Value
  • func (f *Function) SetGeneric(b bool)
  • func (n *Function) SetKey(k Value)
  • func (f *Function) SetMethod(is bool, objType Type)
  • func (f *Function) SetMethodName(name string)
  • func (n *Function) SetObject(v Value)
  • func (f *Function) SetType(t Type)
  • func (f *Function) String() string
• type FunctionAsmFlag
• type FunctionBuilder
  • func NewBuilder(editor *memedit.MemEditor, f *Function, parent *FunctionBuilder) *FunctionBuilder
  • func (b *FunctionBuilder) AddDefer(call *Call)
  • func (b *FunctionBuilder) AddIncludePath(path string)
  • func (b *FunctionBuilder) AddLabel(name string, block *BasicBlock)
  • func (i FunctionBuilder) AddMask(v Value)
  • func (n FunctionBuilder) AddMember(k, v Value)
  • func (i FunctionBuilder) AddReference(v Value)
  • func (n FunctionBuilder) AddUser(u User)
  • func (a FunctionBuilder) AddVariable(v *Variable)
  • func (b *FunctionBuilder) AppendBlockRange()
  • func (b *FunctionBuilder) AssignVariable(variable *Variable, value Value)
  • func (b *FunctionBuilder) Break() bool
  • func (b *FunctionBuilder) BuildDirectoryPackage(name []string, once bool) (*Program, error)
  • func (b *FunctionBuilder) BuildFilePackage(filename string, once bool) error
  • func (b *FunctionBuilder) BuildFreeValue(variable string) *Parameter
  • func (b *FunctionBuilder) BuildSwitch() *SwitchBuilder
  • func (b *FunctionBuilder) BuildSyntaxBlock(builder func())
  • func (b *FunctionBuilder) BuildTry() *TryBuilder
  • func (b *FunctionBuilder) BuildValueFromAny(id string, v any) (value Value)
  • func (f *FunctionBuilder) CheckAndSetSideEffect(variable *Variable, v Value)
  • func (b *FunctionBuilder) Continue() bool
  • func (b *FunctionBuilder) CoverReflectFunctionType(itype reflect.Type, level int) *FunctionType
  • func (b *FunctionBuilder) CreateClassBluePrint(name string, tokenizer ...CanStartStopToken) *ClassBluePrint
  • func (b *FunctionBuilder) CreateIfBuilder() *IfBuilder
  • func (b *FunctionBuilder) CreateInterfaceWithMap(keys []Value, vs []Value) *Make
  • func (b *FunctionBuilder) CreateInterfaceWithSlice(vs []Value) *Make
  • func (b *FunctionBuilder) CreateLocalVariable(name string) *Variable
  • func (b *FunctionBuilder) CreateLoopBuilder() *LoopBuilder
  • func (b *FunctionBuilder) CreateMemberCallVariable(object, key Value) *Variable
  • func (b *FunctionBuilder) CreateVariable(name string, pos ...CanStartStopToken) *Variable
  • func (b *FunctionBuilder) DeleteLabel(name string)
  • func (n FunctionBuilder) DeleteMember(k Value)
  • func (f *FunctionBuilder) EmitAssert(cond, msgValue Value, msg string) *Assert
  • func (f *FunctionBuilder) EmitBinOp(op BinaryOpcode, x, y Value) Value
  • func (f *FunctionBuilder) EmitCall(c *Call) *Call
  • func (f *FunctionBuilder) EmitConstInst(i any) *ConstInst
  • func (f *FunctionBuilder) EmitConstInstNil() *ConstInst
  • func (f *FunctionBuilder) EmitConstInstWithUnary(i any, un int) *ConstInst
  • func (f *FunctionBuilder) EmitEmptyContainer() *Make
  • func (f *FunctionBuilder) EmitErrorHandler(try *BasicBlock) *ErrorHandler
  • func (b *FunctionBuilder) EmitFirst(i Instruction, block *BasicBlock)
  • func (f *FunctionBuilder) EmitIf() *If
  • func (f *FunctionBuilder) EmitInstructionAfter(i, after Instruction)
  • func (f *FunctionBuilder) EmitInstructionBefore(i, before Instruction)
  • func (f *FunctionBuilder) EmitJump(to *BasicBlock) *Jump
  • func (f *FunctionBuilder) EmitLoop(body, exit *BasicBlock, cond Value) *Loop
  • func (f *FunctionBuilder) EmitMakeBuildWithType(typ Type, Len, Cap Value) *Make
  • func (f *FunctionBuilder) EmitMakeSlice(i Value, low, high, max Value) *Make
  • func (f *FunctionBuilder) EmitMakeWithoutType(Len, Cap Value) *Make
  • func (f *FunctionBuilder) EmitNext(iter Value, isIn bool) (key, field, ok Value)
  • func (f *FunctionBuilder) EmitNextOnly(iter Value, isIn bool) *Next
  • func (f *FunctionBuilder) EmitOnly(i Instruction)
  • func (f *FunctionBuilder) EmitPanic(info Value) *Panic
  • func (f *FunctionBuilder) EmitPhi(name string, vs []Value) *Phi
  • func (f *FunctionBuilder) EmitRecover() *Recover
  • func (f *FunctionBuilder) EmitReturn(vs []Value) *Return
  • func (f *FunctionBuilder) EmitSideEffect(name string, call *Call, value Value) *SideEffect
  • func (f *FunctionBuilder) EmitSwitch(cond Value, defaultb *BasicBlock, label []SwitchLabel) *Switch
  • func (f *FunctionBuilder) EmitToBlock(i Instruction, block *BasicBlock)
  • func (f *FunctionBuilder) EmitTypeCast(v Value, typ Type) *TypeCast
  • func (f *FunctionBuilder) EmitTypeValue(typ Type) *TypeValue
  • func (f *FunctionBuilder) EmitUnOp(op UnaryOpcode, v Value) Value
  • func (f *FunctionBuilder) EmitUndefined(name string) *Undefined
  • func (f *FunctionBuilder) EmitValueOnlyDeclare(name string) *Undefined
  • func (b *FunctionBuilder) Fallthrough() bool
  • func (b *FunctionBuilder) Finish()
  • func (n FunctionBuilder) ForEachMember(fn func(Value, Value) bool)
  • func (n FunctionBuilder) GetAllMember() map[Value]Value
  • func (a FunctionBuilder) GetAllVariables() map[string]*Variable
  • func (b *FunctionBuilder) GetClassBluePrint(name string) *ClassBluePrint
  • func (b *FunctionBuilder) GetCurrentRange(fallback CanStartStopToken) *Range
  • func (b *FunctionBuilder) GetEditor() *memedit.MemEditor
  • func (n FunctionBuilder) GetIndexMember(i int) (Value, bool)
  • func (n FunctionBuilder) GetKey() Value
  • func (b *FunctionBuilder) GetLabel(name string) *BasicBlock
  • func (a FunctionBuilder) GetLastVariable() *Variable
  • func (b *FunctionBuilder) GetMarkedFunction() *FunctionType
  • func (i FunctionBuilder) GetMask() []Value
  • func (n FunctionBuilder) GetMember(key Value) (Value, bool)
  • func (n FunctionBuilder) GetObject() Value
  • func (b *FunctionBuilder) GetRangeByToken(r CanStartStopToken) *Range
  • func (b *FunctionBuilder) GetStaticMember(class, key string) *Variable
  • func (n FunctionBuilder) GetStringMember(key string) (Value, bool)
  • func (n FunctionBuilder) GetUsers() Users
  • func (a FunctionBuilder) GetVariable(name string) *Variable
  • func (b FunctionBuilder) HandlerEllipsis()
  • func (n FunctionBuilder) HasUsers() bool
  • func (b *FunctionBuilder) InterfaceAddFieldBuild(size int, keys func(int) Value, value func(int) Value) *Make
  • func (b *FunctionBuilder) IsBlockFinish() bool
  • func (n FunctionBuilder) IsMember() bool
  • func (n FunctionBuilder) IsObject() bool
  • func (b *FunctionBuilder) IsParentFunctionVariable(v *Variable) bool
  • func (i FunctionBuilder) Masked() bool
  • func (f *FunctionBuilder) NewCall(target Value, args []Value) *Call
  • func (b *FunctionBuilder) NewError(kind ErrorKind, tag ErrorTag, massage string, arg ...interface{})
  • func (b *FunctionBuilder) NewFunc(name string) *Function
  • func (f *FunctionBuilder) NewParam(name string, pos ...CanStartStopToken) *Parameter
  • func (f *FunctionBuilder) NewParameterMember(name string, obj *Parameter, key Value) *ParameterMember
  • func (b *FunctionBuilder) PeekValue(name string) Value
  • func (b *FunctionBuilder) PeekValueByVariable(v *Variable) Value
  • func (b *FunctionBuilder) PeekValueInThisFunction(name string) Value
  • func (b *FunctionBuilder) PopFunction() *FunctionBuilder
  • func (b *FunctionBuilder) PopTarget() bool
  • func (b *FunctionBuilder) PushFunction(newFunc *Function) *FunctionBuilder
  • func (b *FunctionBuilder) PushTarget(scope ssautil.LabelTarget[Value], _break, _continue, _fallthrough *BasicBlock)
  • func (b *FunctionBuilder) ReadMemberCallVariable(value, key Value) Value
  • func (b *FunctionBuilder) ReadOrCreateMemberCallVariable(caller, callee Value) Value
  • func (b *FunctionBuilder) ReadOrCreateVariable(name string) Value
  • func (b *FunctionBuilder) ReadValue(name string) Value
  • func (b *FunctionBuilder) ReadValueByVariable(v *Variable) Value
  • func (b *FunctionBuilder) ReadValueInThisFunction(name string) Value
  • func (i FunctionBuilder) Reference() Values
  • func (b *FunctionBuilder) ReferenceParameter(name string)
  • func (n FunctionBuilder) RemoveUser(u User)
  • func (b *FunctionBuilder) SetClassBluePrint(name string, class *ClassBluePrint)
  • func (f *FunctionBuilder) SetCurrent(i Instruction, noChangeRanges ...bool) func()
  • func (b *FunctionBuilder) SetEditor(editor *memedit.MemEditor)
  • func (f *FunctionBuilder) SetInstructionPosition(i Instruction)
  • func (n FunctionBuilder) SetKey(k Value)
  • func (b *FunctionBuilder) SetMarkedFunction(name string)
  • func (n FunctionBuilder) SetObject(v Value)
  • func (b *FunctionBuilder) SetRange(token CanStartStopToken) func()
  • func (b *FunctionBuilder) SetRangeFromTerminalNode(node antlr.TerminalNode) func()
  • func (b *FunctionBuilder) TryBuildExternValue(id string) Value
  • func (b *FunctionBuilder) TryGetSimilarityKey(name, key string) string
  • func (b *FunctionBuilder) WithDefineFunction(defineFunc map[string]any)
  • func (b *FunctionBuilder) WithExternBuildValueHandler(m map[string]func(b *FunctionBuilder, id string, v any) (value Value))
  • func (b *FunctionBuilder) WithExternLib(lib map[string]map[string]any)
  • func (b *FunctionBuilder) WithExternMethod(builder MethodBuilder)
  • func (b *FunctionBuilder) WithExternValue(vs map[string]any)
• type FunctionSideEffect
  • func (p FunctionSideEffect) Get(c *Call) (obj Value, ok bool)
• type FunctionType
  • func NewFunctionType(name string, Parameter []Type, ReturnType Type, IsVariadic bool) *FunctionType
  • func NewFunctionTypeDefine(name string, Parameter []Type, ReturnType []Type, IsVariadic bool) *FunctionType
  • func ToFunctionType(t Type) (*FunctionType, bool)
  • func (f *FunctionType) AddAnnotationFunc(handler ...func(Value))
  • func (b *FunctionType) AddMethod(id string, f *Function)
  • func (f *FunctionType) GetMethod() map[string]*Function
  • func (s *FunctionType) GetParamString() string
  • func (s *FunctionType) GetTypeKind() TypeKind
  • func (s *FunctionType) PkgPathString() string
  • func (s *FunctionType) RawString() string
  • func (s *FunctionType) SetFreeValue(fv map[string]*Parameter)
  • func (f *FunctionType) SetMethod(m map[string]*Function)
  • func (f *FunctionType) SetModifySelf(b bool)
  • func (s *FunctionType) SetName(name string)
  • func (s *FunctionType) SetSideEffect(se []*FunctionSideEffect)
  • func (s *FunctionType) String() string
• type GenericType
  • func NewGenericType(symbol string) *GenericType
  • func (b *GenericType) AddMethod(id string, f *Function)
  • func (c *GenericType) GetMethod() map[string]*Function
  • func (c *GenericType) GetTypeKind() TypeKind
  • func (c GenericType) PkgPathString() string
  • func (c GenericType) RawString() string
  • func (c *GenericType) SetMethod(m map[string]*Function)
  • func (c GenericType) String() string
• type GetIdIF
• type If
  • func NewIf() *If
  • func ToIfInstruction(n Instruction) (*If, bool)
  • func (i *If) AddFalse(f *BasicBlock)
  • func (i *If) AddTrue(t *BasicBlock)
  • func (a *If) GetBlock() *BasicBlock
  • func (a *If) GetFunc() *Function
  • func (a *If) GetId() int64
  • func (a *If) GetName() string
  • func (i *If) GetOpcode() Opcode
  • func (a *If) GetProgram() *Program
  • func (c *If) GetRange() *Range
  • func (i *If) GetShortVerboseName() string
  • func (i *If) GetSiblings() []*If
  • func (v *If) GetSourceCode() string
  • func (v *If) GetSourceCodeContext(n int) string
  • func (r *If) GetUsers() Users
  • func (i *If) GetValues() Values
  • func (i *If) GetVerboseName() string
  • func (r *If) HasUsers() bool
  • func (i *If) HasValues() bool
  • func (a *If) IsAnnotation() bool
  • func (i *If) IsBlock(name string) bool
  • func (i *If) IsCFGEnterBlock() ([]Instruction, bool)
  • func (c *If) IsExtern() bool
  • func (i *If) IsLazy() bool
  • func (i *If) IsUndefined() bool
  • func (a *If) LineDisasm() string
  • func (c *If) NewError(kind ErrorKind, tag ErrorTag, msg string)
  • func (i *If) ReplaceValue(v Value, to Value)
  • func (i *If) Self() Instruction
  • func (i *If) SelfDelete()
  • func (a *If) SetBlock(block *BasicBlock)
  • func (i *If) SetCondition(t Value)
  • func (c *If) SetExtern(b bool)
  • func (a *If) SetFunc(f *Function)
  • func (a *If) SetId(id int64)
  • func (a *If) SetIsAnnotation(b bool)
  • func (a *If) SetName(v string)
  • func (c *If) SetRange(pos *Range)
  • func (i *If) SetVerboseName(verbose string)
  • func (i *If) String() string
• type IfBuilder
  • func (i *IfBuilder) AppendItem(cond func() Value, body func()) *IfBuilder
  • func (i *IfBuilder) Build() *IfBuilder
  • func (i *IfBuilder) SetCondition(cond func() Value, body func()) *IfBuilder
  • func (i *IfBuilder) SetElse(body func()) *IfBuilder
• type IfBuilderItem
• type Instruction
  • func CreateInstruction(op Opcode) Instruction
  • func MatchInstructionByExact(prog *Program, mod int, e string) []Instruction
  • func MatchInstructionByGlob(prog *Program, mod int, g string) []Instruction
  • func MatchInstructionByRegexp(prog *Program, mod int, r string) []Instruction
• type InterfaceType
  • func NewInterfaceType(name, pkgPath string) *InterfaceType
  • func (b *InterfaceType) AddMethod(id string, f *Function)
  • func (i *InterfaceType) GetMethod() map[string]*Function
  • func (i *InterfaceType) GetTypeKind() TypeKind
  • func (i *InterfaceType) PkgPathString() string
  • func (i *InterfaceType) RawString() string
  • func (i *InterfaceType) SetMethod(m map[string]*Function)
  • func (i *InterfaceType) String() string
• type Jump
  • func NewJump(to *BasicBlock) *Jump
  • func (a *Jump) GetBlock() *BasicBlock
  • func (a *Jump) GetFunc() *Function
  • func (a *Jump) GetId() int64
  • func (a *Jump) GetName() string
  • func (i *Jump) GetOpcode() Opcode
  • func (a *Jump) GetProgram() *Program
  • func (c *Jump) GetRange() *Range
  • func (i *Jump) GetShortVerboseName() string
  • func (v *Jump) GetSourceCode() string
  • func (v *Jump) GetSourceCodeContext(n int) string
  • func (i *Jump) GetVerboseName() string
  • func (a *Jump) IsAnnotation() bool
  • func (i *Jump) IsBlock(name string) bool
  • func (i *Jump) IsCFGEnterBlock() ([]Instruction, bool)
  • func (c *Jump) IsExtern() bool
  • func (i *Jump) IsLazy() bool
  • func (i *Jump) IsUndefined() bool
  • func (a *Jump) LineDisasm() string
  • func (c *Jump) NewError(kind ErrorKind, tag ErrorTag, msg string)
  • func (i *Jump) ReplaceValue(Value, Value)
  • func (i *Jump) Self() Instruction
  • func (i *Jump) SelfDelete()
  • func (a *Jump) SetBlock(block *BasicBlock)
  • func (c *Jump) SetExtern(b bool)
  • func (a *Jump) SetFunc(f *Function)
  • func (a *Jump) SetId(id int64)
  • func (a *Jump) SetIsAnnotation(b bool)
  • func (a *Jump) SetName(v string)
  • func (c *Jump) SetRange(pos *Range)
  • func (i *Jump) SetVerboseName(verbose string)
  • func (j *Jump) String() string
• type LazyInstruction
  • func ToLazyInstruction(n any) (*LazyInstruction, bool)
  • func (lz *LazyInstruction) AddMask(v Value)
  • func (lz *LazyInstruction) AddMember(v1 Value, v2 Value)
  • func (lz *LazyInstruction) AddReference(v Value)
  • func (lz *LazyInstruction) AddVariable(v *Variable)
  • func (lz *LazyInstruction) DeleteMember(v Value)
  • func (lz *LazyInstruction) ForEachMember(fn func(Value, Value) bool)
  • func (lz *LazyInstruction) GetAllMember() map[Value]Value
  • func (lz *LazyInstruction) GetAllVariables() map[string]*Variable
  • func (lz *LazyInstruction) GetBlock() *BasicBlock
  • func (lz *LazyInstruction) GetFunc() *Function
  • func (lz *LazyInstruction) GetId() int64
  • func (lz *LazyInstruction) GetIndexMember(i int) (Value, bool)
  • func (lz *LazyInstruction) GetKey() Value
  • func (lz *LazyInstruction) GetLastVariable() *Variable
  • func (lz *LazyInstruction) GetMask() []Value
  • func (lz *LazyInstruction) GetMember(v Value) (Value, bool)
  • func (lz *LazyInstruction) GetName() string
  • func (lz *LazyInstruction) GetObject() Value
  • func (lz *LazyInstruction) GetOpcode() Opcode
  • func (lz *LazyInstruction) GetProgram() *Program
  • func (lz *LazyInstruction) GetRange() *Range
  • func (lz *LazyInstruction) GetShortVerboseName() string
  • func (lz *LazyInstruction) GetSourceCode() string
  • func (lz *LazyInstruction) GetSourceCodeContext(n int) string
  • func (lz *LazyInstruction) GetStringMember(n string) (Value, bool)
  • func (lz *LazyInstruction) GetType() Type
  • func (lz *LazyInstruction) GetUsers() Users
  • func (lz *LazyInstruction) GetValues() Values
  • func (lz *LazyInstruction) GetVariable(n string) *Variable
  • func (lz *LazyInstruction) GetVerboseName() string
  • func (lz *LazyInstruction) HasUsers() bool
  • func (lz *LazyInstruction) HasValues() bool
  • func (lz *LazyInstruction) IsAnnotation() bool
  • func (lz *LazyInstruction) IsBlock(name string) bool
  • func (lz *LazyInstruction) IsCFGEnterBlock() ([]Instruction, bool)
  • func (lz *LazyInstruction) IsExtern() bool
  • func (lz *LazyInstruction) IsLazy() bool
  • func (lz *LazyInstruction) IsMember() bool
  • func (lz *LazyInstruction) IsObject() bool
  • func (lz *LazyInstruction) IsUndefined() bool
  • func (lz *LazyInstruction) Masked() bool
  • func (lz *LazyInstruction) NewError(e ErrorKind, t ErrorTag, msg string)
  • func (lz *LazyInstruction) Reference() Values
  • func (lz *LazyInstruction) ReplaceValue(v1, v2 Value)
  • func (lz *LazyInstruction) Self() Instruction
  • func (lz *LazyInstruction) SelfDelete()
  • func (lz *LazyInstruction) SetBlock(b *BasicBlock)
  • func (lz *LazyInstruction) SetExtern(extern bool)
  • func (lz *LazyInstruction) SetFunc(f *Function)
  • func (lz *LazyInstruction) SetId(id int64)
  • func (lz *LazyInstruction) SetIsAnnotation(b bool)
  • func (lz *LazyInstruction) SetKey(v Value)
  • func (lz *LazyInstruction) SetName(name string)
  • func (lz *LazyInstruction) SetObject(v Value)
  • func (lz *LazyInstruction) SetRange(r *Range)
  • func (lz *LazyInstruction) SetType(t Type)
  • func (lz *LazyInstruction) SetVerboseName(name string)
  • func (lz *LazyInstruction) ShouldSave() bool
  • func (lz *LazyInstruction) String() string
• type LazyScope
  • func (l *LazyScope) AssignVariable(v ssautil.VersionedIF[Value], t Value)
  • func (l *LazyScope) Compare(s ssautil.ScopedVersionedTableIF[Value]) bool
  • func (l *LazyScope) CoverBy(s ssautil.ScopedVersionedTableIF[Value])
  • func (l *LazyScope) CreateSubScope() ssautil.ScopedVersionedTableIF[Value]
  • func (l *LazyScope) CreateVariable(name string, isLocal bool) ssautil.VersionedIF[Value]
  • func (l *LazyScope) ForEachCapturedVariable(c ssautil.CaptureVariableHandler[Value])
  • func (l *LazyScope) GetParent() ssautil.ScopedVersionedTableIF[Value]
  • func (l *LazyScope) GetPersistentId() int64
  • func (l *LazyScope) GetPersistentProgramName() string
  • func (l *LazyScope) GetScopeLevel() int
  • func (l *LazyScope) GetThis() ssautil.ScopedVersionedTableIF[Value]
  • func (l *LazyScope) GetVariableFromValue(t Value) ssautil.VersionedIF[Value]
  • func (l *LazyScope) IsSameOrSubScope(s ssautil.ScopedVersionedTableIF[Value]) bool
  • func (l *LazyScope) Merge(b bool, m ssautil.MergeHandle[Value], ...)
  • func (l *LazyScope) ReadValue(name string) Value
  • func (l *LazyScope) ReadVariable(name string) ssautil.VersionedIF[Value]
  • func (l *LazyScope) SaveToDatabase() error
  • func (l *LazyScope) SetCapturedVariable(s string, v ssautil.VersionedIF[Value])
  • func (l *LazyScope) SetParent(s ssautil.ScopedVersionedTableIF[Value])
  • func (l *LazyScope) SetPersistentId(i int64)
  • func (l *LazyScope) SetPersistentNode(node *ssadb.IrScopeNode)
  • func (l *LazyScope) SetSpin(f func(string) Value)
  • func (l *LazyScope) SetThis(s ssautil.ScopedVersionedTableIF[Value])
  • func (l *LazyScope) Spin(s ssautil.ScopedVersionedTableIF[Value], ...)
• type Loop
  • func NewLoop(cond Value) *Loop
  • func (l *Loop) Finish(init, step []Value)
  • func (a *Loop) GetBlock() *BasicBlock
  • func (a *Loop) GetFunc() *Function
  • func (a *Loop) GetId() int64
  • func (a *Loop) GetName() string
  • func (i *Loop) GetOpcode() Opcode
  • func (a *Loop) GetProgram() *Program
  • func (c *Loop) GetRange() *Range
  • func (i *Loop) GetShortVerboseName() string
  • func (v *Loop) GetSourceCode() string
  • func (v *Loop) GetSourceCodeContext(n int) string
  • func (r *Loop) GetUsers() Users
  • func (l *Loop) GetValues() Values
  • func (i *Loop) GetVerboseName() string
  • func (r *Loop) HasUsers() bool
  • func (l *Loop) HasValues() bool
  • func (a *Loop) IsAnnotation() bool
  • func (i *Loop) IsBlock(name string) bool
  • func (i *Loop) IsCFGEnterBlock() ([]Instruction, bool)
  • func (c *Loop) IsExtern() bool
  • func (i *Loop) IsLazy() bool
  • func (i *Loop) IsUndefined() bool
  • func (a *Loop) LineDisasm() string
  • func (c *Loop) NewError(kind ErrorKind, tag ErrorTag, msg string)
  • func (l *Loop) ReplaceValue(v Value, to Value)
  • func (i *Loop) Self() Instruction
  • func (i *Loop) SelfDelete()
  • func (a *Loop) SetBlock(block *BasicBlock)
  • func (c *Loop) SetExtern(b bool)
  • func (a *Loop) SetFunc(f *Function)
  • func (a *Loop) SetId(id int64)
  • func (a *Loop) SetIsAnnotation(b bool)
  • func (a *Loop) SetName(v string)
  • func (c *Loop) SetRange(pos *Range)
  • func (i *Loop) SetVerboseName(verbose string)
  • func (l *Loop) String() string
• type LoopBuilder
  • func (lb *LoopBuilder) Finish()
  • func (lb *LoopBuilder) SetBody(f func())
  • func (lb *LoopBuilder) SetCondition(f func() Value)
  • func (lb *LoopBuilder) SetFirst(f func() []Value)
  • func (lb *LoopBuilder) SetThird(f func() []Value)
• type Make
  • func NewMake(parentI Value, typ Type, low, high, step, Len, Cap Value) *Make
  • func ToMake(v Instruction) (*Make, bool)
  • func (i *Make) AddMask(v Value)
  • func (n *Make) AddMember(k, v Value)
  • func (i *Make) AddReference(v Value)
  • func (n *Make) AddUser(u User)
  • func (a *Make) AddVariable(v *Variable)
  • func (n *Make) DeleteMember(k Value)
  • func (n *Make) ForEachMember(fn func(Value, Value) bool)
  • func (n *Make) GetAllMember() map[Value]Value
  • func (a *Make) GetAllVariables() map[string]*Variable
  • func (n *Make) GetIndexMember(i int) (Value, bool)
  • func (n *Make) GetKey() Value
  • func (a *Make) GetLastVariable() *Variable
  • func (i *Make) GetMask() []Value
  • func (n *Make) GetMember(key Value) (Value, bool)
  • func (n *Make) GetObject() Value
  • func (i *Make) GetOpcode() Opcode
  • func (n *Make) GetStringMember(key string) (Value, bool)
  • func (n *Make) GetType() Type
  • func (n *Make) GetUsers() Users
  • func (i *Make) GetValues() Values
  • func (a *Make) GetVariable(name string) *Variable
  • func (n *Make) HasUsers() bool
  • func (i *Make) HasValues() bool
  • func (n *Make) IsMember() bool
  • func (n *Make) IsObject() bool
  • func (i *Make) Masked() bool
  • func (i *Make) Reference() Values
  • func (n *Make) RemoveUser(u User)
  • func (i *Make) ReplaceValue(v, to Value)
  • func (n *Make) SetKey(k Value)
  • func (n *Make) SetObject(v Value)
  • func (n *Make) SetType(typ Type)
  • func (i *Make) String() string
• type Maskable
• type MemberCall
• type MethodBuilder
• type NameDisasmLiner
  • func NewNameDisasmLiner() *NameDisasmLiner
  • func (n *NameDisasmLiner) AddLevel() bool
  • func (b NameDisasmLiner) DeleteName(i Instruction)
  • func (n *NameDisasmLiner) DisasmValue(v Instruction) string
  • func (b NameDisasmLiner) GetName(i Instruction) (string, bool)
  • func (b NameDisasmLiner) SetName(i Instruction, name string)
  • func (b *NameDisasmLiner) SkipLevelChecking() bool
• type Next
  • func NewNext(iter Value, isIn bool) *Next
  • func (i *Next) AddMask(v Value)
  • func (n *Next) AddMember(k, v Value)
  • func (i *Next) AddReference(v Value)
  • func (n *Next) AddUser(u User)
  • func (a *Next) AddVariable(v *Variable)
  • func (n *Next) DeleteMember(k Value)
  • func (n *Next) ForEachMember(fn func(Value, Value) bool)
  • func (n *Next) GetAllMember() map[Value]Value
  • func (a *Next) GetAllVariables() map[string]*Variable
  • func (n *Next) GetIndexMember(i int) (Value, bool)
  • func (n *Next) GetKey() Value
  • func (a *Next) GetLastVariable() *Variable
  • func (i *Next) GetMask() []Value
  • func (n *Next) GetMember(key Value) (Value, bool)
  • func (n *Next) GetObject() Value
  • func (i *Next) GetOpcode() Opcode
  • func (n *Next) GetStringMember(key string) (Value, bool)
  • func (n *Next) GetType() Type
  • func (n *Next) GetUsers() Users
  • func (n *Next) GetValues() Values
  • func (a *Next) GetVariable(name string) *Variable
  • func (n *Next) HasUsers() bool
  • func (n *Next) HasValues() bool
  • func (n *Next) IsMember() bool
  • func (n *Next) IsObject() bool
  • func (i *Next) Masked() bool
  • func (i *Next) Reference() Values
  • func (n *Next) RemoveUser(u User)
  • func (n *Next) ReplaceValue(v, to Value)
  • func (n *Next) SetKey(k Value)
  • func (n *Next) SetObject(v Value)
  • func (n *Next) SetType(typ Type)
  • func (n *Next) String() string
• type Node
  • func ToNode(a any) (Node, bool)
• type ObjectType
  • func NewMapType(key, field Type) *ObjectType
  • func NewObjectType() *ObjectType
  • func NewSliceType(elem Type) *ObjectType
  • func NewStructType() *ObjectType
  • func ToObjectType(t Type) (*ObjectType, bool)
  • func (s *ObjectType) AddField(key Value, field Type)
  • func (b *ObjectType) AddMethod(id string, f *Function)
  • func (s *ObjectType) Finish()
  • func (s *ObjectType) GetField(key Value) Type
  • func (i *ObjectType) GetMethod() map[string]*Function
  • func (i *ObjectType) GetTypeKind() TypeKind
  • func (i *ObjectType) PkgPathString() string
  • func (itype *ObjectType) RawString() string
  • func (i *ObjectType) SetMethod(m map[string]*Function)
  • func (i *ObjectType) SetName(name string)
  • func (i *ObjectType) SetPkgPath(pkg string)
  • func (i *ObjectType) SetTypeKind(t TypeKind)
  • func (itype *ObjectType) String() string
• type OffsetItem
  • func (item *OffsetItem) GetValue() Value
  • func (item *OffsetItem) GetVariable() *Variable
• type Opcode
• type OrType
  • func NewOrType(types ...Type) *OrType
  • func (b *OrType) AddMethod(id string, f *Function)
  • func (c *OrType) GetMethod() map[string]*Function
  • func (c *OrType) GetTypeKind() TypeKind
  • func (c *OrType) GetTypes() Types
  • func (c OrType) PkgPathString() string
  • func (c OrType) RawString() string
  • func (c *OrType) SetMethod(m map[string]*Function)
  • func (c OrType) String() string
• type Panic
  • func (i *Panic) AddMask(v Value)
  • func (n *Panic) AddMember(k, v Value)
  • func (i *Panic) AddReference(v Value)
  • func (n *Panic) AddUser(u User)
  • func (a *Panic) AddVariable(v *Variable)
  • func (n *Panic) DeleteMember(k Value)
  • func (n *Panic) ForEachMember(fn func(Value, Value) bool)
  • func (n *Panic) GetAllMember() map[Value]Value
  • func (a *Panic) GetAllVariables() map[string]*Variable
  • func (n *Panic) GetIndexMember(i int) (Value, bool)
  • func (n *Panic) GetKey() Value
  • func (a *Panic) GetLastVariable() *Variable
  • func (i *Panic) GetMask() []Value
  • func (n *Panic) GetMember(key Value) (Value, bool)
  • func (n *Panic) GetObject() Value
  • func (i *Panic) GetOpcode() Opcode
  • func (n *Panic) GetStringMember(key string) (Value, bool)
  • func (n *Panic) GetType() Type
  • func (n *Panic) GetUsers() Users
  • func (p *Panic) GetValues() Values
  • func (a *Panic) GetVariable(name string) *Variable
  • func (n *Panic) HasUsers() bool
  • func (p *Panic) HasValues() bool
  • func (n *Panic) IsMember() bool
  • func (n *Panic) IsObject() bool
  • func (i *Panic) Masked() bool
  • func (i *Panic) Reference() Values
  • func (n *Panic) RemoveUser(u User)
  • func (p *Panic) ReplaceValue(v, to Value)
  • func (n *Panic) SetKey(k Value)
  • func (n *Panic) SetObject(v Value)
  • func (n *Panic) SetType(typ Type)
  • func (p *Panic) String() string
• type Parameter
  • func NewParam(variable string, isFreeValue bool, builder *FunctionBuilder) *Parameter
  • func ToFreeValue(n Node) (*Parameter, bool)
  • func ToParameter(v Instruction) (*Parameter, bool)
  • func (i *Parameter) AddMask(v Value)
  • func (n *Parameter) AddMember(k, v Value)
  • func (i *Parameter) AddReference(v Value)
  • func (n *Parameter) AddUser(u User)
  • func (a *Parameter) AddVariable(v *Variable)
  • func (p *Parameter) Copy() *Parameter
  • func (n *Parameter) DeleteMember(k Value)
  • func (n *Parameter) ForEachMember(fn func(Value, Value) bool)
  • func (n *Parameter) GetAllMember() map[Value]Value
  • func (a *Parameter) GetAllVariables() map[string]*Variable
  • func (p *Parameter) GetDefault() Value
  • func (n *Parameter) GetIndexMember(i int) (Value, bool)
  • func (n *Parameter) GetKey() Value
  • func (a *Parameter) GetLastVariable() *Variable
  • func (i *Parameter) GetMask() []Value
  • func (n *Parameter) GetMember(key Value) (Value, bool)
  • func (n *Parameter) GetObject() Value
  • func (i *Parameter) GetOpcode() Opcode
  • func (n *Parameter) GetStringMember(key string) (Value, bool)
  • func (n *Parameter) GetType() Type
  • func (n *Parameter) GetUsers() Users
  • func (p *Parameter) GetValues() Values
  • func (a *Parameter) GetVariable(name string) *Variable
  • func (n *Parameter) HasUsers() bool
  • func (p *Parameter) HasValues() bool
  • func (n *Parameter) IsMember() bool
  • func (n *Parameter) IsObject() bool
  • func (i *Parameter) Masked() bool
  • func (i *Parameter) Reference() Values
  • func (n *Parameter) RemoveUser(u User)
  • func (p *Parameter) SetDefault(v Value)
  • func (n *Parameter) SetKey(k Value)
  • func (n *Parameter) SetObject(v Value)
  • func (n *Parameter) SetType(typ Type)
  • func (p *Parameter) String() string
• type ParameterMember
  • func NewParamMember(variable string, builder *FunctionBuilder, obj *Parameter, key Value) *ParameterMember
  • func ToParameterMember(v Instruction) (*ParameterMember, bool)
  • func (i *ParameterMember) AddMask(v Value)
  • func (n *ParameterMember) AddMember(k, v Value)
  • func (i *ParameterMember) AddReference(v Value)
  • func (n *ParameterMember) AddUser(u User)
  • func (a *ParameterMember) AddVariable(v *Variable)
  • func (n *ParameterMember) DeleteMember(k Value)
  • func (n *ParameterMember) ForEachMember(fn func(Value, Value) bool)
  • func (p ParameterMember) Get(c *Call) (obj Value, ok bool)
  • func (n *ParameterMember) GetAllMember() map[Value]Value
  • func (a *ParameterMember) GetAllVariables() map[string]*Variable
  • func (n *ParameterMember) GetIndexMember(i int) (Value, bool)
  • func (n *ParameterMember) GetKey() Value
  • func (a *ParameterMember) GetLastVariable() *Variable
  • func (i *ParameterMember) GetMask() []Value
  • func (n *ParameterMember) GetMember(key Value) (Value, bool)
  • func (n *ParameterMember) GetObject() Value
  • func (i *ParameterMember) GetOpcode() Opcode
  • func (n *ParameterMember) GetStringMember(key string) (Value, bool)
  • func (n *ParameterMember) GetType() Type
  • func (n *ParameterMember) GetUsers() Users
  • func (p *ParameterMember) GetValues() Values
  • func (a *ParameterMember) GetVariable(name string) *Variable
  • func (n *ParameterMember) HasUsers() bool
  • func (p *ParameterMember) HasValues() bool
  • func (n *ParameterMember) IsMember() bool
  • func (n *ParameterMember) IsObject() bool
  • func (i *ParameterMember) Masked() bool
  • func (i *ParameterMember) Reference() Values
  • func (n *ParameterMember) RemoveUser(u User)
  • func (n *ParameterMember) SetKey(k Value)
  • func (n *ParameterMember) SetObject(v Value)
  • func (n *ParameterMember) SetType(typ Type)
  • func (p *ParameterMember) String() string
• type ParameterMemberCallKind
• type ParentScope
  • func (p *ParentScope) Create(scope ScopeIF) *ParentScope
• type Phi
  • func NewPhi(block *BasicBlock, variable string) *Phi
  • func ToPhi(v Instruction) (*Phi, bool)
  • func (i *Phi) AddMask(v Value)
  • func (n *Phi) AddMember(k, v Value)
  • func (i *Phi) AddReference(v Value)
  • func (n *Phi) AddUser(u User)
  • func (a *Phi) AddVariable(v *Variable)
  • func (n *Phi) DeleteMember(k Value)
  • func (n *Phi) ForEachMember(fn func(Value, Value) bool)
  • func (n *Phi) GetAllMember() map[Value]Value
  • func (a *Phi) GetAllVariables() map[string]*Variable
  • func (p *Phi) GetControlFlowConditions() []Value
  • func (n *Phi) GetIndexMember(i int) (Value, bool)
  • func (n *Phi) GetKey() Value
  • func (a *Phi) GetLastVariable() *Variable
  • func (i *Phi) GetMask() []Value
  • func (n *Phi) GetMember(key Value) (Value, bool)
  • func (n *Phi) GetObject() Value
  • func (i *Phi) GetOpcode() Opcode
  • func (n *Phi) GetStringMember(key string) (Value, bool)
  • func (n *Phi) GetType() Type
  • func (n *Phi) GetUsers() Users
  • func (p *Phi) GetValues() Values
  • func (a *Phi) GetVariable(name string) *Variable
  • func (n *Phi) HasUsers() bool
  • func (p *Phi) HasValues() bool
  • func (n *Phi) IsMember() bool
  • func (n *Phi) IsObject() bool
  • func (i *Phi) Masked() bool
  • func (i *Phi) Reference() Values
  • func (n *Phi) RemoveUser(u User)
  • func (p *Phi) ReplaceValue(v Value, to Value)
  • func (n *Phi) SetKey(k Value)
  • func (n *Phi) SetObject(v Value)
  • func (n *Phi) SetType(typ Type)
  • func (p *Phi) String() string
• type Position
  • func NewPosition(line, column int64) *Position
  • func (p *Position) Compare(other *Position) int
  • func (p *Position) GetColumn() int
  • func (p *Position) GetLine() int
  • func (p *Position) String() string
• type Program
  • func GetProgram(program string, kind ProgramKind) (*Program, error)
  • func NewProgram(ProgramName string, enableDatabase bool, kind ProgramKind, ...) *Program
  • func NewProgramFromDB(p *ssadb.IrProgram) *Program
  • func (prog *Program) AddError(err *SSAError)
  • func (prog *Program) BuildValueFromAny(b *FunctionBuilder, id string, v any) (value Value)
  • func (prog *Program) CoverReflectFunctionType(itype reflect.Type, level int) *FunctionType
  • func (p *Program) DeleteInstruction(inst Instruction)
  • func (prog *Program) EachFunction(handler func(*Function))
  • func (prog *Program) Finish()
  • func (prog *Program) ForceSetOffsetValue(v Value, r *Range)
  • func (prog *Program) GetAndCreateFunction(pkgName string, funcName string) *Function
  • func (prog *Program) GetAndCreateFunctionBuilder(pkgName string, funcName string) *FunctionBuilder
  • func (prog *Program) GetCacheExternInstance(name string) (Value, bool)
  • func (pkg *Program) GetClassBluePrint(name string) *ClassBluePrint
  • func (p *Program) GetCurrentEditor() *memedit.MemEditor
  • func (p *Program) GetEditor(url string) (*memedit.MemEditor, bool)
  • func (prog *Program) GetErrors() SSAErrors
  • func (prog *Program) GetFrontValueByOffset(searchOffset int) (offset int, value Value)
  • func (p *Program) GetFunction(name string) *Function
  • func (p *Program) GetIncludeFiles() []string
  • func (p *Program) GetInstructionById(id int64) Instruction
  • func (prog *Program) GetLibrary(name string) (*Program, bool)
  • func (prog *Program) GetProgramName() string
  • func (p *Program) NewFunction(name string) *Function
  • func (p *Program) NewFunctionWithParent(name string, parent *Function) *Function
  • func (prog *Program) NewLibrary(name string, path []string) *Program
  • func (p *Program) PopEditor()
  • func (p *Program) PushEditor(e *memedit.MemEditor)
  • func (p *Program) RemoveInstructionInVariable(name string, i Instruction)
  • func (prog *Program) SearchIndexAndOffsetByOffset(searchOffset int) (index int, offset int)
  • func (prog *Program) SetCacheExternInstance(name string, v Value)
  • func (p *Program) SetInstructionWithName(name string, i Instruction)
  • func (prog *Program) SetOffsetValue(v Value, r *Range)
  • func (prog *Program) SetOffsetValueEx(v Value, r *Range, force bool)
  • func (prog *Program) SetOffsetVariable(v *Variable, r *Range)
  • func (p *Program) SetVirtualRegister(i Instruction)
  • func (p *Program) Show() *Program
  • func (prog *Program) ShowOffsetMap()
  • func (p *Program) ShowWithSource()
  • func (prog *Program) TryBuildExternValue(b *FunctionBuilder, id string) Value
  • func (prog *Program) TryGetSimilarityKey(name, key string) string
• type ProgramKind
• type Range
  • func GetRange(editor *memedit.MemEditor, token CanStartStopToken) *Range
  • func NewRange(editor *memedit.MemEditor, startIf, endIf memedit.PositionIf) *Range
  • func (r *Range) Add(end *Range)
  • func (p *Range) CompareEnd(other *Range) int
  • func (p *Range) CompareStart(other *Range) int
  • func (r *Range) GetEditor() *memedit.MemEditor
  • func (r *Range) GetEnd() memedit.PositionIf
  • func (r *Range) GetEndOffset() int
  • func (p *Range) GetOffset() int
  • func (r *Range) GetOffsetRange() (int, int)
  • func (r *Range) GetStart() memedit.PositionIf
  • func (p *Range) GetText() string
  • func (p *Range) GetTextContext(n int) string
  • func (p *Range) GetTextContextWithPrompt(n int, msg ...string) string
  • func (p *Range) GetWordText() string
  • func (r *Range) Len() int
  • func (p *Range) String() string
• type Recover
  • func (i *Recover) AddMask(v Value)
  • func (n *Recover) AddMember(k, v Value)
  • func (i *Recover) AddReference(v Value)
  • func (n *Recover) AddUser(u User)
  • func (a *Recover) AddVariable(v *Variable)
  • func (n *Recover) DeleteMember(k Value)
  • func (n *Recover) ForEachMember(fn func(Value, Value) bool)
  • func (n *Recover) GetAllMember() map[Value]Value
  • func (a *Recover) GetAllVariables() map[string]*Variable
  • func (n *Recover) GetIndexMember(i int) (Value, bool)
  • func (n *Recover) GetKey() Value
  • func (a *Recover) GetLastVariable() *Variable
  • func (i *Recover) GetMask() []Value
  • func (n *Recover) GetMember(key Value) (Value, bool)
  • func (n *Recover) GetObject() Value
  • func (i *Recover) GetOpcode() Opcode
  • func (n *Recover) GetStringMember(key string) (Value, bool)
  • func (n *Recover) GetType() Type
  • func (n *Recover) GetUsers() Users
  • func (r *Recover) GetValues() Values
  • func (a *Recover) GetVariable(name string) *Variable
  • func (n *Recover) HasUsers() bool
  • func (r *Recover) HasValues() bool
  • func (n *Recover) IsMember() bool
  • func (n *Recover) IsObject() bool
  • func (i *Recover) Masked() bool
  • func (i *Recover) Reference() Values
  • func (n *Recover) RemoveUser(u User)
  • func (n *Recover) SetKey(k Value)
  • func (n *Recover) SetObject(v Value)
  • func (n *Recover) SetType(typ Type)
  • func (r *Recover) String() string
• type Return
  • func NewReturn(vs []Value) *Return
  • func ToReturn(v Instruction) (*Return, bool)
  • func (i *Return) AddMask(v Value)
  • func (n *Return) AddMember(k, v Value)
  • func (i *Return) AddReference(v Value)
  • func (n *Return) AddUser(u User)
  • func (a *Return) AddVariable(v *Variable)
  • func (n *Return) DeleteMember(k Value)
  • func (n *Return) ForEachMember(fn func(Value, Value) bool)
  • func (n *Return) GetAllMember() map[Value]Value
  • func (a *Return) GetAllVariables() map[string]*Variable
  • func (n *Return) GetIndexMember(i int) (Value, bool)
  • func (n *Return) GetKey() Value
  • func (a *Return) GetLastVariable() *Variable
  • func (i *Return) GetMask() []Value
  • func (n *Return) GetMember(key Value) (Value, bool)
  • func (n *Return) GetObject() Value
  • func (i *Return) GetOpcode() Opcode
  • func (n *Return) GetStringMember(key string) (Value, bool)
  • func (n *Return) GetType() Type
  • func (r *Return) GetUsers() Users
  • func (r *Return) GetValues() Values
  • func (a *Return) GetVariable(name string) *Variable
  • func (r *Return) HasUsers() bool
  • func (r *Return) HasValues() bool
  • func (n *Return) IsMember() bool
  • func (n *Return) IsObject() bool
  • func (i *Return) Masked() bool
  • func (i *Return) Reference() Values
  • func (n *Return) RemoveUser(u User)
  • func (r *Return) ReplaceValue(v Value, to Value)
  • func (n *Return) SetKey(k Value)
  • func (n *Return) SetObject(v Value)
  • func (n *Return) SetType(typ Type)
  • func (r *Return) String() string
• type SSAError
  • func (err SSAError) String() string
• type SSAErrors
  • func (errs SSAErrors) String() string
• type ScopeIF
  • func GetLazyScopeFromIrScopeId(i int64) ScopeIF
• type ScopeInstance
  • func GetScopeFromIrScopeId(i int64) *ScopeInstance
  • func NewScope(name string) *ScopeInstance
  • func (s *ScopeInstance) CreateSubScope() ssautil.ScopedVersionedTableIF[Value]
• type SideEffect
  • func NewSideEffect(variable string, call *Call, value Value) *SideEffect
  • func (i *SideEffect) AddMask(v Value)
  • func (n *SideEffect) AddMember(k, v Value)
  • func (i *SideEffect) AddReference(v Value)
  • func (n *SideEffect) AddUser(u User)
  • func (a *SideEffect) AddVariable(v *Variable)
  • func (n *SideEffect) DeleteMember(k Value)
  • func (n *SideEffect) ForEachMember(fn func(Value, Value) bool)
  • func (n *SideEffect) GetAllMember() map[Value]Value
  • func (a *SideEffect) GetAllVariables() map[string]*Variable
  • func (n *SideEffect) GetIndexMember(i int) (Value, bool)
  • func (n *SideEffect) GetKey() Value
  • func (a *SideEffect) GetLastVariable() *Variable
  • func (i *SideEffect) GetMask() []Value
  • func (n *SideEffect) GetMember(key Value) (Value, bool)
  • func (n *SideEffect) GetObject() Value
  • func (i *SideEffect) GetOpcode() Opcode
  • func (n *SideEffect) GetStringMember(key string) (Value, bool)
  • func (n *SideEffect) GetType() Type
  • func (n *SideEffect) GetUsers() Users
  • func (s *SideEffect) GetValues() Values
  • func (a *SideEffect) GetVariable(name string) *Variable
  • func (n *SideEffect) HasUsers() bool
  • func (s *SideEffect) HasValues() bool
  • func (n *SideEffect) IsMember() bool
  • func (n *SideEffect) IsObject() bool
  • func (i *SideEffect) Masked() bool
  • func (i *SideEffect) Reference() Values
  • func (n *SideEffect) RemoveUser(u User)
  • func (s *SideEffect) ReplaceValue(v Value, to Value)
  • func (n *SideEffect) SetKey(k Value)
  • func (n *SideEffect) SetObject(v Value)
  • func (n *SideEffect) SetType(typ Type)
  • func (s *SideEffect) String() string
• type Switch
  • func NewSwitch(cond Value, defaultb *BasicBlock, label []SwitchLabel) *Switch
  • func (a *Switch) GetBlock() *BasicBlock
  • func (a *Switch) GetFunc() *Function
  • func (a *Switch) GetId() int64
  • func (a *Switch) GetName() string
  • func (i *Switch) GetOpcode() Opcode
  • func (a *Switch) GetProgram() *Program
  • func (c *Switch) GetRange() *Range
  • func (i *Switch) GetShortVerboseName() string
  • func (v *Switch) GetSourceCode() string
  • func (v *Switch) GetSourceCodeContext(n int) string
  • func (r *Switch) GetUsers() Users
  • func (sw *Switch) GetValues() Values
  • func (i *Switch) GetVerboseName() string
  • func (r *Switch) HasUsers() bool
  • func (sw *Switch) HasValues() bool
  • func (a *Switch) IsAnnotation() bool
  • func (i *Switch) IsBlock(name string) bool
  • func (i *Switch) IsCFGEnterBlock() ([]Instruction, bool)
  • func (c *Switch) IsExtern() bool
  • func (i *Switch) IsLazy() bool
  • func (i *Switch) IsUndefined() bool
  • func (a *Switch) LineDisasm() string
  • func (c *Switch) NewError(kind ErrorKind, tag ErrorTag, msg string)
  • func (sw *Switch) ReplaceValue(v Value, to Value)
  • func (i *Switch) Self() Instruction
  • func (i *Switch) SelfDelete()
  • func (a *Switch) SetBlock(block *BasicBlock)
  • func (c *Switch) SetExtern(b bool)
  • func (a *Switch) SetFunc(f *Function)
  • func (a *Switch) SetId(id int64)
  • func (a *Switch) SetIsAnnotation(b bool)
  • func (a *Switch) SetName(v string)
  • func (c *Switch) SetRange(pos *Range)
  • func (i *Switch) SetVerboseName(verbose string)
  • func (sw *Switch) String() string
• type SwitchBuilder
  • func (t *SwitchBuilder) BuildBody(f func(int))
  • func (sw *SwitchBuilder) BuildCaseSize(size int)
  • func (t *SwitchBuilder) BuildCondition(f func() Value)
  • func (t *SwitchBuilder) BuildDefault(f func())
  • func (t *SwitchBuilder) Finish()
  • func (sw *SwitchBuilder) SetCase(f func(int) []Value)
• type SwitchLabel
  • func NewSwitchLabel(v Value, dest *BasicBlock) SwitchLabel
• type Token
  • func NewToken(node antlr.TerminalNode) *Token
  • func (t *Token) GetStart() antlr.Token
  • func (t *Token) GetStop() antlr.Token
  • func (t *Token) GetText() string
• type TryBuilder
  • func (t *TryBuilder) BuildErrorCatch(err func() string, catch func())
  • func (t *TryBuilder) BuildFinally(f func())
  • func (t *TryBuilder) BuildTryBlock(f func())
  • func (t *TryBuilder) Finish()
• type Type
  • func ApplyGenericType(raw Type, symbolsTypeMap map[string]Type) Type
  • func CalculateType(ts []Type) Type
  • func CloneType(t Type) (Type, bool)
  • func GetAnyType() Type
  • func GetBooleanType() Type
  • func GetByteType() Type
  • func GetBytesType() Type
  • func GetErrorType() Type
  • func GetGenericTypeFromType(t Type) []Type
  • func GetNullType() Type
  • func GetNumberType() Type
  • func GetStringType() Type
  • func GetType(i any) Type
  • func GetTypeByStr(typ string) Type
  • func GetTypeFromDB(id int) Type
  • func GetUndefinedType() Type
  • func ParseClassBluePrint(this Value, objectTyp *ObjectType) (ret Type)
• type TypeCast
  • func NewTypeCast(typ Type, v Value) *TypeCast
  • func (i *TypeCast) AddMask(v Value)
  • func (n *TypeCast) AddMember(k, v Value)
  • func (i *TypeCast) AddReference(v Value)
  • func (n *TypeCast) AddUser(u User)
  • func (a *TypeCast) AddVariable(v *Variable)
  • func (n *TypeCast) DeleteMember(k Value)
  • func (n *TypeCast) ForEachMember(fn func(Value, Value) bool)
  • func (n *TypeCast) GetAllMember() map[Value]Value
  • func (a *TypeCast) GetAllVariables() map[string]*Variable
  • func (n *TypeCast) GetIndexMember(i int) (Value, bool)
  • func (n *TypeCast) GetKey() Value
  • func (a *TypeCast) GetLastVariable() *Variable
  • func (i *TypeCast) GetMask() []Value
  • func (n *TypeCast) GetMember(key Value) (Value, bool)
  • func (n *TypeCast) GetObject() Value
  • func (i *TypeCast) GetOpcode() Opcode
  • func (n *TypeCast) GetStringMember(key string) (Value, bool)
  • func (n *TypeCast) GetType() Type
  • func (n *TypeCast) GetUsers() Users
  • func (t *TypeCast) GetValues() Values
  • func (a *TypeCast) GetVariable(name string) *Variable
  • func (n *TypeCast) HasUsers() bool
  • func (t *TypeCast) HasValues() bool
  • func (n *TypeCast) IsMember() bool
  • func (n *TypeCast) IsObject() bool
  • func (i *TypeCast) Masked() bool
  • func (i *TypeCast) Reference() Values
  • func (n *TypeCast) RemoveUser(u User)
  • func (t *TypeCast) ReplaceValue(v, to Value)
  • func (n *TypeCast) SetKey(k Value)
  • func (n *TypeCast) SetObject(v Value)
  • func (n *TypeCast) SetType(typ Type)
  • func (t *TypeCast) String() string
• type TypeKind
• type TypeValue
  • func NewTypeValue(typ Type) *TypeValue
  • func (i *TypeValue) AddMask(v Value)
  • func (n *TypeValue) AddMember(k, v Value)
  • func (i *TypeValue) AddReference(v Value)
  • func (n *TypeValue) AddUser(u User)
  • func (a *TypeValue) AddVariable(v *Variable)
  • func (n *TypeValue) DeleteMember(k Value)
  • func (n *TypeValue) ForEachMember(fn func(Value, Value) bool)
  • func (n *TypeValue) GetAllMember() map[Value]Value
  • func (a *TypeValue) GetAllVariables() map[string]*Variable
  • func (n *TypeValue) GetIndexMember(i int) (Value, bool)
  • func (n *TypeValue) GetKey() Value
  • func (a *TypeValue) GetLastVariable() *Variable
  • func (i *TypeValue) GetMask() []Value
  • func (n *TypeValue) GetMember(key Value) (Value, bool)
  • func (n *TypeValue) GetObject() Value
  • func (i *TypeValue) GetOpcode() Opcode
  • func (n *TypeValue) GetStringMember(key string) (Value, bool)
  • func (n *TypeValue) GetType() Type
  • func (n *TypeValue) GetUsers() Users
  • func (t *TypeValue) GetValues() Values
  • func (a *TypeValue) GetVariable(name string) *Variable
  • func (n *TypeValue) HasUsers() bool
  • func (t *TypeValue) HasValues() bool
  • func (n *TypeValue) IsMember() bool
  • func (n *TypeValue) IsObject() bool
  • func (i *TypeValue) Masked() bool
  • func (i *TypeValue) Reference() Values
  • func (n *TypeValue) RemoveUser(u User)
  • func (n *TypeValue) SetKey(k Value)
  • func (n *TypeValue) SetObject(v Value)
  • func (n *TypeValue) SetType(typ Type)
  • func (t *TypeValue) String() string
• type Typed
• type Types
  • func (org Types) Compare(typs Types) bool
  • func (t Types) Contains(typ Types) bool
  • func (t Types) Equal(typs Types) bool
  • func (t Types) IsType(kind TypeKind) bool
  • func (t Types) String() string
• type UnOp
  • func NewUnOp(op UnaryOpcode, x Value) *UnOp
  • func ToUnOp(v Instruction) (*UnOp, bool)
  • func (i *UnOp) AddMask(v Value)
  • func (n *UnOp) AddMember(k, v Value)
  • func (i *UnOp) AddReference(v Value)
  • func (n *UnOp) AddUser(u User)
  • func (a *UnOp) AddVariable(v *Variable)
  • func (n *UnOp) DeleteMember(k Value)
  • func (n *UnOp) ForEachMember(fn func(Value, Value) bool)
  • func (n *UnOp) GetAllMember() map[Value]Value
  • func (a *UnOp) GetAllVariables() map[string]*Variable
  • func (n *UnOp) GetIndexMember(i int) (Value, bool)
  • func (n *UnOp) GetKey() Value
  • func (a *UnOp) GetLastVariable() *Variable
  • func (i *UnOp) GetMask() []Value
  • func (n *UnOp) GetMember(key Value) (Value, bool)
  • func (n *UnOp) GetObject() Value
  • func (i *UnOp) GetOpcode() Opcode
  • func (n *UnOp) GetStringMember(key string) (Value, bool)
  • func (n *UnOp) GetType() Type
  • func (n *UnOp) GetUsers() Users
  • func (n *UnOp) GetValues() Values
  • func (a *UnOp) GetVariable(name string) *Variable
  • func (n *UnOp) HasUsers() bool
  • func (n *UnOp) HasValues() bool
  • func (n *UnOp) IsMember() bool
  • func (n *UnOp) IsObject() bool
  • func (i *UnOp) Masked() bool
  • func (i *UnOp) Reference() Values
  • func (n *UnOp) RemoveUser(u User)
  • func (u *UnOp) ReplaceValue(v Value, to Value)
  • func (n *UnOp) SetKey(k Value)
  • func (n *UnOp) SetObject(v Value)
  • func (n *UnOp) SetType(typ Type)
  • func (u *UnOp) String() string
• type UnaryOpcode
• type Undefined
  • func NewUndefined(name string) *Undefined
  • func ToUndefined(v Instruction) (*Undefined, bool)
  • func (i *Undefined) AddMask(v Value)
  • func (n *Undefined) AddMember(k, v Value)
  • func (i *Undefined) AddReference(v Value)
  • func (n *Undefined) AddUser(u User)
  • func (a *Undefined) AddVariable(v *Variable)
  • func (n *Undefined) DeleteMember(k Value)
  • func (n *Undefined) ForEachMember(fn func(Value, Value) bool)
  • func (n *Undefined) GetAllMember() map[Value]Value
  • func (a *Undefined) GetAllVariables() map[string]*Variable
  • func (n *Undefined) GetIndexMember(i int) (Value, bool)
  • func (n *Undefined) GetKey() Value
  • func (a *Undefined) GetLastVariable() *Variable
  • func (i *Undefined) GetMask() []Value
  • func (n *Undefined) GetMember(key Value) (Value, bool)
  • func (n *Undefined) GetObject() Value
  • func (i *Undefined) GetOpcode() Opcode
  • func (n *Undefined) GetStringMember(key string) (Value, bool)
  • func (n *Undefined) GetType() Type
  • func (n *Undefined) GetUsers() Users
  • func (u *Undefined) GetValues() Values
  • func (a *Undefined) GetVariable(name string) *Variable
  • func (n *Undefined) HasUsers() bool
  • func (u *Undefined) HasValues() bool
  • func (n *Undefined) IsMember() bool
  • func (n *Undefined) IsObject() bool
  • func (u *Undefined) IsUndefined() bool
  • func (i *Undefined) Masked() bool
  • func (i *Undefined) Reference() Values
  • func (n *Undefined) RemoveUser(u User)
  • func (n *Undefined) SetKey(k Value)
  • func (n *Undefined) SetObject(v Value)
  • func (n *Undefined) SetType(typ Type)
  • func (u *Undefined) String() string
• type UndefinedKind
• type User
  • func ToUser(n Instruction) (User, bool)
• type Users
  • func (u Users) RunOnCall(f func(*Call))
  • func (u Users) RunOnCallOr(f func(*Call), or func(User))
• type Value
  • func CalcBinary(b *BinOp) Value
  • func CalcConstBinarySide(c *ConstInst, v Value, op BinaryOpcode) Value
  • func HandlerBinOp(b *BinOp) (ret Value)
  • func HandlerUnOp(u *UnOp) (ret Value)
  • func NewLazyInstruction(id int64) (Value, error)
  • func ToValue(n any) (Value, bool)
• type Values
• type Variable
  • func ReadVariableFromScope(scope ScopeIF, name string) *Variable
  • func (v *Variable) AddRange(r *Range, force bool)
  • func (variable *Variable) Assign(value Value) error
  • func (b *Variable) GetMemberCall() (Value, Value)
  • func (b *Variable) GetProgram() *Program
  • func (b *Variable) IsMemberCall() bool
  • func (v *Variable) NewError(kind ErrorKind, tag ErrorTag, msg string)
  • func (variable *Variable) Replace(val, to Value)
  • func (v *Variable) SetDefRange(r *Range)
  • func (v *Variable) SetMemberCall(obj, key Value)

Constants

const (
	// loop
	LoopHeader    = "loop.header"    // first
	LoopCondition = "loop.condition" // second // condition
	LoopBody      = "loop.body"      // body
	LoopExit      = "loop.exit"      // exit
	LoopLatch     = "loop.latch"     // third // latch

	// if
	IfDone  = "if.done"
	IfTrue  = "if.true"
	IfFalse = "if.false"
	IfElif  = "if.elif"

	// try-catch
	TryStart   = "error.try"
	TryCatch   = "error.catch"
	TryFinally = "error.final"
	TryDone    = "error.done"

	// switch
	SwitchDone    = "switch.done"
	SwitchDefault = "switch.default"
	SwitchHandler = "switch.handler"
)

const (
	OpLogicAnd = `LogicAnd`
	OpLogicOr  = `LogicOr`
	OpAnd      = `and`
	OpAndNot   = `and-not`
	OpOr       = `or`
	OpXor      = `xor`
	OpShl      = `shl`
	OpShr      = `shr`
	OpAdd      = `add`
	OpSub      = `sub`
	OpMod      = `mod`
	OpMul      = `mul`
	OpDiv      = `div`
	OpGt       = `gt`
	OpLt       = `lt`
	OpLtEq     = `ltEq`
	OpGtEq     = `gtEq`
	OpNotEq    = `neq`
	OpEq       = `eq`
	OpIn       = `in`
	OpSend     = `send`
	OpPow      = `pow`
)

const (
	OpNot        = `not`
	OpPlus       = `plus`
	OpNeg        = `neg`
	OpChan       = `chan`
	OpBitwiseNot = `bitwise-not`
)

const (
	MAXTYPELEVEL = 15
)

const MAXTypeCompareDepth = 10

const (
	OpNone = ``
)

Variables

var (
	ConstMap      = make(map[any]*Const)
	ConstMapMutex = &sync.RWMutex{}
)

var (
	NextOk    = NewConst("ok")
	NextField = NewConst("field")
	NextKey   = NewConst("key")
)

var (
	// T is a generic type
	TypeT = NewGenericType("T")
	TypeU = NewGenericType("U")
	TypeK = NewGenericType("K")
	TypeV = NewGenericType("V")
)

var BasicTypes = map[TypeKind]*BasicType{
	NumberTypeKind:    NewBasicType(NumberTypeKind, "number"),
	StringTypeKind:    NewBasicType(StringTypeKind, "string"),
	ByteTypeKind:      NewBasicType(ByteTypeKind, "byte"),
	BytesTypeKind:     NewBasicType(BytesTypeKind, "bytes"),
	BooleanTypeKind:   NewBasicType(BooleanTypeKind, "boolean"),
	UndefinedTypeKind: NewBasicType(UndefinedTypeKind, "undefined"),
	NullTypeKind:      NewBasicType(NullTypeKind, "null"),
	AnyTypeKind:       NewBasicType(AnyTypeKind, "any"),
	ErrorTypeKind:     NewBasicType(ErrorTypeKind, "error"),
}

var CompareOpcode = []string{OpGt, OpLt, OpLtEq, OpGtEq, OpNotEq, OpEq}

var SSAOpcode2Name = map[Opcode]string{
	SSAOpcodeUnKnow:          "UnKnow",
	SSAOpcodeAssert:          "Assert",
	SSAOpcodeBasicBlock:      "BasicBlock",
	SSAOpcodeBinOp:           "BinOp",
	SSAOpcodeCall:            "Call",
	SSAOpcodeConstInst:       "ConstInst",
	SSAOpcodeErrorHandler:    "ErrorHandler",
	SSAOpcodeExternLib:       "ExternLib",
	SSAOpcodeIf:              "If",
	SSAOpcodeJump:            "Jump",
	SSAOpcodeLoop:            "Loop",
	SSAOpcodeMake:            "Make",
	SSAOpcodeNext:            "Next",
	SSAOpcodePanic:           "Panic",
	SSAOpcodeParameter:       "Parameter",
	SSAOpcodeFreeValue:       "FreeValue",
	SSAOpcodeParameterMember: "ParameterMember",
	SSAOpcodePhi:             "Phi",
	SSAOpcodeRecover:         "Recover",
	SSAOpcodeReturn:          "Return",
	SSAOpcodeSideEffect:      "SideEffect",
	SSAOpcodeSwitch:          "Switch",
	SSAOpcodeTypeCast:        "TypeCast",
	SSAOpcodeTypeValue:       "TypeValue",
	SSAOpcodeUnOp:            "UnOp",
	SSAOpcodeUndefined:       "Undefined",
	SSAOpcodeFunction:        "Function",
}

Functions

func BindingGenericTypeWithRealType

func BindingGenericTypeWithRealType(real, generic Type, symbolsTypeMap map[string]Type) (errMsg string)

func BindingNotFound

func BindingNotFound(v string, r *Range) string

func BindingNotFoundInCall

func BindingNotFoundInCall(v string) string

func CallAssignmentMismatch

func CallAssignmentMismatch(left int, right string) string

func CallAssignmentMismatchDropError

func CallAssignmentMismatchDropError(left int, right string) string

func CombineMemberCallVariableName

func CombineMemberCallVariableName(caller, callee Value) (string, bool)

func ContAssignExtern

func ContAssignExtern(name string) string

func DeleteInst

func DeleteInst(i Instruction)

func ExternFieldError

func ExternFieldError(instance, name, key, want string) string

func FunctionContReturnError

func FunctionContReturnError() string

func GenericTypeError

func GenericTypeError(symbol, generic, want, got Type) string

func GetAllKey

func GetAllKey(t Type) []string

func GetEndPosition

func GetEndPosition(t antlr.Token) (int, int)

func GetKeyString

func GetKeyString(key Value) string

func GetMethodsName

func GetMethodsName(t Type) []string

func GetSSACacheIterationCost

func GetSSACacheIterationCost() time.Duration

func GetSSACacheToDatabaseCost

func GetSSACacheToDatabaseCost() time.Duration

func GetSSASaveIrCodeCost

func GetSSASaveIrCodeCost() time.Duration

func GetTypeStr

func GetTypeStr(n Value) string

func InsertSortedIntSlice

func InsertSortedIntSlice(ts []int, t int) []int

func Instruction2IrCode

func Instruction2IrCode(inst Instruction, ir *ssadb.IrCode) error

Instruction2IrCode : marshal instruction to ir code, used in cache, to save to database

func IsCompareOpcode

func IsCompareOpcode(i BinaryOpcode) bool

func IsConst

func IsConst(v Instruction) bool

value

func IsControlInstruction

func IsControlInstruction(i Instruction) bool

func IsObjectType

func IsObjectType(t Type) bool

func LineDisasm

func LineDisasm(v Instruction) string

LineDisasm disasm a instruction to string

func LineShortDisasm

func LineShortDisasm(v Instruction) string

LineShortDisasm disasm a instruction to string, but will use id or name

func NewInstruction

func NewInstruction() anInstruction

func NewInstructionFromLazy

func NewInstructionFromLazy[T Instruction](id int64, Cover func(Instruction) (T, bool)) (T, error)

func NewValue

func NewValue() anValue

func NewVariable

func NewVariable(globalIndex int, name string, local bool, scope ssautil.ScopedVersionedTableIF[Value]) ssautil.VersionedIF[Value]

func NoCheckMustInFirst

func NoCheckMustInFirst() string

func ReplaceAllValue

func ReplaceAllValue(v Value, to Value)

func ReplaceMemberCall

func ReplaceMemberCall(v, to Value) map[string]Value

ReplaceMemberCall replace all member or object relationship and will fixup method function call

func ReplaceValue

func ReplaceValue(v Value, to Value, skip func(Instruction) bool)

func RunOnCoverOr

func RunOnCoverOr[T, U Instruction](insts []U, cover func(Instruction) (T, bool), f func(T), or func(U))

func SaveTypeToDB

func SaveTypeToDB(typ Type) int

func SetMemberCall

func SetMemberCall(obj, key, member Value)

value

func ShowDatabaseCacheCost

func ShowDatabaseCacheCost()

func SpinHandle

func SpinHandle(name string, phiValue, header, latch Value) map[string]Value

func SyncFromDatabase

func SyncFromDatabase(s *ScopeInstance) error

func TryGetSimilarityKey

func TryGetSimilarityKey(table []string, name string) string

func TypeCompare

func TypeCompare(t1, t2 Type) bool

func TypeEqual

func TypeEqual(t1, t2 Type) bool

func ValueIsNull

func ValueIsNull() string

func ValueNotMember

func ValueNotMember(op Opcode, name, key string, r *Range) string

func ValueNotMemberInCall

func ValueNotMemberInCall(name, key string) string

func ValueUndefined

func ValueUndefined(v string) string

Types

type AliasType

type AliasType struct {
	Name string
	// contains filtered or unexported fields
}

====================== alias type

func NewAliasType

func NewAliasType(name, pkg string, elem Type) *AliasType

func (*AliasType) AddMethod

func (b *AliasType) AddMethod(id string, f *Function)

func (*AliasType) GetMethod

func (a *AliasType) GetMethod() map[string]*Function

func (*AliasType) GetTypeKind

func (a *AliasType) GetTypeKind() TypeKind

func (*AliasType) PkgPathString

func (b *AliasType) PkgPathString() string

func (*AliasType) RawString

func (a *AliasType) RawString() string

func (*AliasType) SetMethod

func (a *AliasType) SetMethod(m map[string]*Function)

func (*AliasType) String

func (a *AliasType) String() string

type Assert

type Assert struct {
	Cond     Value
	Msg      string
	MsgValue Value
	// contains filtered or unexported fields
}

----------- assert

func NewAssert

func NewAssert(cond, msgValue Value, msg string) *Assert

func (*Assert) GetBlock

func (a *Assert) GetBlock() *BasicBlock

func (*Assert) GetFunc

func (a *Assert) GetFunc() *Function

func (*Assert) GetId

func (a *Assert) GetId() int64

func (*Assert) GetName

func (a *Assert) GetName() string

func (*Assert) GetOpcode

func (i *Assert) GetOpcode() Opcode

func (*Assert) GetProgram

func (a *Assert) GetProgram() *Program

func (*Assert) GetRange

func (c *Assert) GetRange() *Range

source code position

func (*Assert) GetShortVerboseName

func (i *Assert) GetShortVerboseName() string

func (*Assert) GetSourceCode

func (v *Assert) GetSourceCode() string

func (*Assert) GetSourceCodeContext

func (v *Assert) GetSourceCodeContext(n int) string

func (*Assert) GetUsers

func (r *Assert) GetUsers() Users

func (*Assert) GetValues

func (a *Assert) GetValues() Values

func (*Assert) GetVerboseName

func (i *Assert) GetVerboseName() string

func (*Assert) HasUsers

func (r *Assert) HasUsers() bool

func (*Assert) HasValues

func (a *Assert) HasValues() bool

----------- Assert

func (*Assert) IsAnnotation

func (a *Assert) IsAnnotation() bool

func (*Assert) IsBlock

func (i *Assert) IsBlock(name string) bool

func (*Assert) IsCFGEnterBlock

func (i *Assert) IsCFGEnterBlock() ([]Instruction, bool)

func (*Assert) IsExtern

func (c *Assert) IsExtern() bool

func (*Assert) IsLazy

func (i *Assert) IsLazy() bool

func (*Assert) IsUndefined

func (i *Assert) IsUndefined() bool

func (*Assert) LineDisasm

func (a *Assert) LineDisasm() string

func (*Assert) NewError

func (c *Assert) NewError(kind ErrorKind, tag ErrorTag, msg string)

error logger

func (*Assert) ReplaceValue

func (a *Assert) ReplaceValue(v, to Value)

func (*Assert) Self

func (i *Assert) Self() Instruction

func (*Assert) SelfDelete

func (i *Assert) SelfDelete()

func (*Assert) SetBlock

func (a *Assert) SetBlock(block *BasicBlock)

func (*Assert) SetExtern

func (c *Assert) SetExtern(b bool)

func (*Assert) SetFunc

func (a *Assert) SetFunc(f *Function)

ssa function and block

func (*Assert) SetId

func (a *Assert) SetId(id int64)

id

func (*Assert) SetIsAnnotation

func (a *Assert) SetIsAnnotation(b bool)

func (*Assert) SetName

func (a *Assert) SetName(v string)

variable

func (*Assert) SetRange

func (c *Assert) SetRange(pos *Range)

func (*Assert) SetVerboseName

func (i *Assert) SetVerboseName(verbose string)

func (*Assert) String

func (a *Assert) String() string

type AssignAble

type AssignAble interface {
	GetVariable(string) *Variable
	GetLastVariable() *Variable
	GetAllVariables() map[string]*Variable
	AddVariable(*Variable)
}

type BasicBlock

type BasicBlock struct {
	Index int
	// BasicBlock graph
	Preds, Succs []Value

	Condition Value

	// instruction list
	Insts []Instruction
	Phis  []Value

	// error catch
	Handler *ErrorHandler

	// for build
	ScopeTable ScopeIF
	// contains filtered or unexported fields
}

implement Value

func ToBasicBlock

func ToBasicBlock(n Instruction) (*BasicBlock, bool)

func (*BasicBlock) AddMask

func (i *BasicBlock) AddMask(v Value)

func (*BasicBlock) AddMember

func (n *BasicBlock) AddMember(k, v Value)

func (*BasicBlock) AddReference

func (i *BasicBlock) AddReference(v Value)

func (*BasicBlock) AddSucc

func (b *BasicBlock) AddSucc(succ *BasicBlock)

func (*BasicBlock) AddUser

func (n *BasicBlock) AddUser(u User)

for Value

func (*BasicBlock) AddVariable

func (a *BasicBlock) AddVariable(v *Variable)

func (*BasicBlock) DeleteMember

func (n *BasicBlock) DeleteMember(k Value)

func (*BasicBlock) EmitInst

func (b *BasicBlock) EmitInst(i Instruction)

func (*BasicBlock) ForEachMember

func (n *BasicBlock) ForEachMember(fn func(Value, Value) bool)

func (*BasicBlock) GetAllMember

func (n *BasicBlock) GetAllMember() map[Value]Value

func (*BasicBlock) GetAllVariables

func (a *BasicBlock) GetAllVariables() map[string]*Variable

func (*BasicBlock) GetBlockById

func (b *BasicBlock) GetBlockById(name string) *BasicBlock

func (*BasicBlock) GetIndexMember

func (n *BasicBlock) GetIndexMember(i int) (Value, bool)

func (*BasicBlock) GetKey

func (n *BasicBlock) GetKey() Value

func (*BasicBlock) GetLastVariable

func (a *BasicBlock) GetLastVariable() *Variable

func (*BasicBlock) GetMask

func (i *BasicBlock) GetMask() []Value

func (*BasicBlock) GetMember

func (n *BasicBlock) GetMember(key Value) (Value, bool)

func (*BasicBlock) GetObject

func (n *BasicBlock) GetObject() Value

func (*BasicBlock) GetOpcode

func (i *BasicBlock) GetOpcode() Opcode

func (*BasicBlock) GetStringMember

func (n *BasicBlock) GetStringMember(key string) (Value, bool)

func (*BasicBlock) GetType

func (b *BasicBlock) GetType() Type

func (*BasicBlock) GetUsers

func (n *BasicBlock) GetUsers() Users

func (*BasicBlock) GetValues

func (b *BasicBlock) GetValues() Values

func (*BasicBlock) GetVariable

func (a *BasicBlock) GetVariable(name string) *Variable

func (*BasicBlock) HasUsers

func (n *BasicBlock) HasUsers() bool

has/get user and value

func (*BasicBlock) HasValues

func (b *BasicBlock) HasValues() bool

----------- BasicBlock

func (*BasicBlock) IsBlock

func (b *BasicBlock) IsBlock(name string) bool

func (*BasicBlock) IsCFGEnterBlock

func (b *BasicBlock) IsCFGEnterBlock() ([]Instruction, bool)

func (*BasicBlock) IsMember

func (n *BasicBlock) IsMember() bool

func (*BasicBlock) IsObject

func (n *BasicBlock) IsObject() bool

func (*BasicBlock) LastInst

func (b *BasicBlock) LastInst() Instruction

func (*BasicBlock) Masked

func (i *BasicBlock) Masked() bool

func (*BasicBlock) Reachable

func (b *BasicBlock) Reachable() int

func (*BasicBlock) Reference

func (i *BasicBlock) Reference() Values

func (*BasicBlock) RemoveUser

func (n *BasicBlock) RemoveUser(u User)

func (*BasicBlock) SetKey

func (n *BasicBlock) SetKey(k Value)

func (*BasicBlock) SetObject

func (n *BasicBlock) SetObject(v Value)

func (*BasicBlock) SetReachable

func (b *BasicBlock) SetReachable(boolean bool)

func (*BasicBlock) SetType

func (b *BasicBlock) SetType(ts Type)

func (*BasicBlock) String

func (b *BasicBlock) String() string

----------- basic block

type BasicType

type BasicType struct {
	Kind TypeKind
	// contains filtered or unexported fields
}

func NewBasicType

func NewBasicType(kind TypeKind, name string) *BasicType

func (*BasicType) AddMethod

func (b *BasicType) AddMethod(id string, f *Function)

func (*BasicType) GetMethod

func (b *BasicType) GetMethod() map[string]*Function

func (*BasicType) GetTypeKind

func (b *BasicType) GetTypeKind() TypeKind

func (*BasicType) PkgPathString

func (b *BasicType) PkgPathString() string

func (*BasicType) RawString

func (b *BasicType) RawString() string

func (*BasicType) SetMethod

func (b *BasicType) SetMethod(method map[string]*Function)

func (*BasicType) String

func (b *BasicType) String() string

type BinOp

type BinOp struct {
	Op   BinaryOpcode
	X, Y Value
	// contains filtered or unexported fields
}

----------- BinOp

func NewBinOp

func NewBinOp(op BinaryOpcode, x, y Value) *BinOp

func ToBinOp

func ToBinOp(v Instruction) (*BinOp, bool)

func (*BinOp) AddMask

func (i *BinOp) AddMask(v Value)

func (*BinOp) AddMember

func (n *BinOp) AddMember(k, v Value)

func (*BinOp) AddReference

func (i *BinOp) AddReference(v Value)

func (*BinOp) AddUser

func (n *BinOp) AddUser(u User)

for Value

func (*BinOp) AddVariable

func (a *BinOp) AddVariable(v *Variable)

func (*BinOp) DeleteMember

func (n *BinOp) DeleteMember(k Value)

func (*BinOp) ForEachMember

func (n *BinOp) ForEachMember(fn func(Value, Value) bool)

func (*BinOp) GetAllMember

func (n *BinOp) GetAllMember() map[Value]Value

func (*BinOp) GetAllVariables

func (a *BinOp) GetAllVariables() map[string]*Variable

func (*BinOp) GetIndexMember

func (n *BinOp) GetIndexMember(i int) (Value, bool)

func (*BinOp) GetKey

func (n *BinOp) GetKey() Value

func (*BinOp) GetLastVariable

func (a *BinOp) GetLastVariable() *Variable

func (*BinOp) GetMask

func (i *BinOp) GetMask() []Value

func (*BinOp) GetMember

func (n *BinOp) GetMember(key Value) (Value, bool)

func (*BinOp) GetObject

func (n *BinOp) GetObject() Value

func (*BinOp) GetOpcode

func (i *BinOp) GetOpcode() Opcode

func (*BinOp) GetStringMember

func (n *BinOp) GetStringMember(key string) (Value, bool)

func (*BinOp) GetType

func (n *BinOp) GetType() Type

for Value : type

func (*BinOp) GetUsers

func (n *BinOp) GetUsers() Users

func (*BinOp) GetValues

func (b *BinOp) GetValues() Values

func (*BinOp) GetVariable

func (a *BinOp) GetVariable(name string) *Variable

func (*BinOp) HasUsers

func (n *BinOp) HasUsers() bool

has/get user and value

func (*BinOp) HasValues

func (b *BinOp) HasValues() bool

----------- BinOp

func (*BinOp) IsMember

func (n *BinOp) IsMember() bool

func (*BinOp) IsObject

func (n *BinOp) IsObject() bool

func (*BinOp) Masked

func (i *BinOp) Masked() bool

func (*BinOp) Reference

func (i *BinOp) Reference() Values

func (*BinOp) RemoveUser

func (n *BinOp) RemoveUser(u User)

func (*BinOp) ReplaceValue

func (b *BinOp) ReplaceValue(v Value, to Value)

func (*BinOp) SetKey

func (n *BinOp) SetKey(k Value)

func (*BinOp) SetObject

func (n *BinOp) SetObject(v Value)

func (*BinOp) SetType

func (n *BinOp) SetType(typ Type)

func (*BinOp) String

func (b *BinOp) String() string

----------- BinOp

type BinaryOpcode

type BinaryOpcode string

type BluePrintMember

type BluePrintMember struct {
	Value Value
	Type  Type
}

type Build

type Build func(string, *memedit.MemEditor, *FunctionBuilder) error

type Builder

type Builder interface {
	Build(string, bool, *FunctionBuilder) error
	FilterFile(string) bool

	ExtraFileAnalyzer
}

type Cache

type Cache struct {
	ProgramName string // mark which program handled
	DB          *gorm.DB

	InstructionCache *utils.CacheWithKey[int64, instructionIrCode] // instructionID to instruction
	VariableCache    *utils.CacheWithKey[string, []Instruction]    // variable(name:string) to []instruction
	Class2InstIndex  map[string][]Instruction
	// contains filtered or unexported fields
}

Cache : a cache in middle layer of database and application.

application will Get/Set Instruction,

and save the data to database when the data is expired, and load the data from database when the data is not in cache.

func GetCacheFromPool

func GetCacheFromPool(programName string) *Cache

func NewDBCache

func NewDBCache(programName string, databaseEnable bool, ConfigTTL ...time.Duration) *Cache

NewDBCache : create a new ssa db cache. if ttl is 0, the cache will never expire, and never save to database.

func (*Cache) AddClassInstance

func (c *Cache) AddClassInstance(name string, inst Instruction)

func (*Cache) AddVariable

func (c *Cache) AddVariable(name string, inst Instruction)

func (*Cache) DeleteInstruction

func (c *Cache) DeleteInstruction(inst Instruction)

func (*Cache) ForEachVariable

func (c *Cache) ForEachVariable(handle func(string, []Instruction))

func (*Cache) GetByVariable

func (c *Cache) GetByVariable(name string) []Instruction

func (*Cache) GetClassInstance

func (c *Cache) GetClassInstance(name string) []Instruction

func (*Cache) GetInstruction

func (c *Cache) GetInstruction(id int64) Instruction

GetInstruction : get instruction from cache.

func (*Cache) HaveDatabaseBackend

func (c *Cache) HaveDatabaseBackend() bool

func (*Cache) IrCodeToInstruction

func (c *Cache) IrCodeToInstruction(inst Instruction, ir *ssadb.IrCode) Instruction

IrCodeToInstruction : unmarshal ir code to instruction, used in LazyInstruction

func (*Cache) IsExistedSourceCodeHash

func (c *Cache) IsExistedSourceCodeHash(programName string, hashString string) bool

func (*Cache) RemoveVariable

func (c *Cache) RemoveVariable(name string, inst Instruction)

func (*Cache) SaveToDatabase

func (c *Cache) SaveToDatabase()

func (*Cache) SetInstruction

func (c *Cache) SetInstruction(inst Instruction)

SetInstruction : set instruction to cache.

func (*Cache) SetVariable

func (c *Cache) SetVariable(name string, instructions []Instruction)

type Call

type Call struct {

	// for call function
	Method    Value
	Args      []Value
	Binding   map[string]Value
	ArgMember []Value

	// go function
	Async  bool
	Unpack bool

	// caller
	// caller Value
	// ~ drop error
	IsDropError bool
	IsEllipsis  bool
	// contains filtered or unexported fields
}

----------- Call call instruction call method function with args as argument

func NewCall

func NewCall(target Value, args []Value, binding map[string]Value, block *BasicBlock) *Call

func ToCall

func ToCall(v Instruction) (*Call, bool)

func (*Call) AddMask

func (i *Call) AddMask(v Value)

func (*Call) AddMember

func (n *Call) AddMember(k, v Value)

func (*Call) AddReference

func (i *Call) AddReference(v Value)

func (*Call) AddUser

func (n *Call) AddUser(u User)

for Value

func (*Call) AddVariable

func (a *Call) AddVariable(v *Variable)

func (*Call) DeleteMember

func (n *Call) DeleteMember(k Value)

func (*Call) ForEachMember

func (n *Call) ForEachMember(fn func(Value, Value) bool)

func (*Call) GetAllMember

func (n *Call) GetAllMember() map[Value]Value

func (*Call) GetAllVariables

func (a *Call) GetAllVariables() map[string]*Variable

func (*Call) GetIndexMember

func (n *Call) GetIndexMember(i int) (Value, bool)

func (*Call) GetKey

func (n *Call) GetKey() Value

func (*Call) GetLastVariable

func (a *Call) GetLastVariable() *Variable

func (*Call) GetMask

func (i *Call) GetMask() []Value

func (*Call) GetMember

func (n *Call) GetMember(key Value) (Value, bool)

func (*Call) GetObject

func (n *Call) GetObject() Value

func (*Call) GetOpcode

func (i *Call) GetOpcode() Opcode

func (*Call) GetStringMember

func (n *Call) GetStringMember(key string) (Value, bool)

func (*Call) GetType

func (n *Call) GetType() Type

for Value : type

func (*Call) GetUsers

func (n *Call) GetUsers() Users

func (*Call) GetValues

func (c *Call) GetValues() Values

func (*Call) GetVariable

func (a *Call) GetVariable(name string) *Variable

func (*Call) HandleFreeValue

func (c *Call) HandleFreeValue(fvs []*Parameter)

func (*Call) HasUsers

func (n *Call) HasUsers() bool

has/get user and value

func (*Call) HasValues

func (c *Call) HasValues() bool

----------- Call

func (*Call) IsMember

func (n *Call) IsMember() bool

func (*Call) IsObject

func (n *Call) IsObject() bool

func (*Call) Masked

func (i *Call) Masked() bool

func (*Call) Reference

func (i *Call) Reference() Values

func (*Call) RemoveUser

func (n *Call) RemoveUser(u User)

func (*Call) ReplaceValue

func (c *Call) ReplaceValue(v Value, to Value)

func (*Call) SetKey

func (n *Call) SetKey(k Value)

func (*Call) SetObject

func (n *Call) SetObject(v Value)

func (*Call) SetType

func (n *Call) SetType(typ Type)

func (*Call) String

func (c *Call) String() string

----------- Call

type CanStartStopToken

type CanStartStopToken interface {
	GetStop() antlr.Token
	GetStart() antlr.Token
	GetText() string
}

/ ============================== Token ==============================

type ChanType

type ChanType struct {
	Elem Type
	// contains filtered or unexported fields
}

====================== chan type

func NewChanType

func NewChanType(elem Type) *ChanType

func (*ChanType) AddMethod

func (b *ChanType) AddMethod(id string, f *Function)

func (*ChanType) GetMethod

func (c *ChanType) GetMethod() map[string]*Function

func (*ChanType) GetTypeKind

func (c *ChanType) GetTypeKind() TypeKind

func (ChanType) PkgPathString

func (c ChanType) PkgPathString() string

func (ChanType) RawString

func (c ChanType) RawString() string

func (*ChanType) SetMethod

func (c *ChanType) SetMethod(m map[string]*Function)

func (ChanType) String

func (c ChanType) String() string

type ClassBluePrint

type ClassBluePrint struct {
	Name string

	Method       map[string]*Function
	StaticMethod map[string]*Function

	NormalMember map[string]*BluePrintMember
	StaticMember map[string]Value

	CallBack []func()

	// magic method
	Copy        Value
	Constructor Value
	Destructor  Value

	ParentClass []*ClassBluePrint
	// contains filtered or unexported fields
}

ClassBluePrint is a class blue print, it is used to create a new class

func NewClassBluePrint

func NewClassBluePrint() *ClassBluePrint

func (*ClassBluePrint) AddMethod

func (c *ClassBluePrint) AddMethod(key string, fun *Function)

func (*ClassBluePrint) AddNormalMember

func (c *ClassBluePrint) AddNormalMember(name string, value Value)

AddNormalMember is used to add a normal member to the class,

func (*ClassBluePrint) AddNormalMemberOnlyType

func (c *ClassBluePrint) AddNormalMemberOnlyType(name string, typ Type)

func (*ClassBluePrint) AddParentClass

func (c *ClassBluePrint) AddParentClass(parent *ClassBluePrint)

AddParentClass is used to add a parent class to the class,

func (*ClassBluePrint) AddStaticMember

func (c *ClassBluePrint) AddStaticMember(name string, value Value)

AddStaticMember is used to add a static member to the class,

func (*ClassBluePrint) AddStaticMethod

func (c *ClassBluePrint) AddStaticMethod(name string, value *Function)

AddStaticMethod is used to add a static method to the class,

func (*ClassBluePrint) Apply

func (c *ClassBluePrint) Apply(obj Value) Type

func (*ClassBluePrint) GetMember

func (c *ClassBluePrint) GetMember(key string) *BluePrintMember

func (*ClassBluePrint) GetMemberEx

func (c *ClassBluePrint) GetMemberEx(key string, get func(*ClassBluePrint) bool) bool

func (*ClassBluePrint) GetMethod

func (c *ClassBluePrint) GetMethod() map[string]*Function

func (*ClassBluePrint) GetTypeKind

func (c *ClassBluePrint) GetTypeKind() TypeKind

func (*ClassBluePrint) InitializeWithContainer

func (b *ClassBluePrint) InitializeWithContainer(con *Make) error

func (*ClassBluePrint) PkgPathString

func (c *ClassBluePrint) PkgPathString() string

func (*ClassBluePrint) RawString

func (c *ClassBluePrint) RawString() string

func (*ClassBluePrint) SetMethod

func (c *ClassBluePrint) SetMethod(m map[string]*Function)

func (*ClassBluePrint) String

func (c *ClassBluePrint) String() string

type ClassModifier

type ClassModifier int

const (
	NoneModifier ClassModifier = 1 << iota
	Static
	Public
	Protected
	Private
	Abstract
	Final
	Readonly
)

type Const

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

func (*Const) Boolean

func (c *Const) Boolean() bool

func (*Const) Float

func (c *Const) Float() float64

func (*Const) GetRawValue

func (c *Const) GetRawValue() any

func (*Const) GetType

func (c *Const) GetType() Type

get type

func (*Const) GetTypeKind

func (c *Const) GetTypeKind() TypeKind

func (*Const) IsBoolean

func (c *Const) IsBoolean() bool

func (*Const) IsFloat

func (c *Const) IsFloat() bool

func (*Const) IsNumber

func (c *Const) IsNumber() bool

func (*Const) IsString

func (c *Const) IsString() bool

func (*Const) Number

func (c *Const) Number() int64

func (*Const) SetType

func (c *Const) SetType(ts Type)

func (Const) String

func (c Const) String() string

----------- const

func (*Const) VarString

func (c *Const) VarString() string

type ConstInst

type ConstInst struct {
	*Const

	Unary int

	Origin User
	// contains filtered or unexported fields
}

----------- Const ConstInst also have block pointer, which block set this const to variable

func CalcConstBinary

func CalcConstBinary(x, y *ConstInst, op BinaryOpcode) *ConstInst

func CalcConstUnary

func CalcConstUnary(x *ConstInst, op UnaryOpcode) *ConstInst

OpNone UnaryOpcode = iota OpNot // ! OpPlus // + OpNeg // - OpChan // ->

func NewAny

func NewAny() *ConstInst

func NewConst

func NewConst(i any) *ConstInst

func NewConstWithUnary

func NewConstWithUnary(i any, un int) *ConstInst

create const

func NewNil

func NewNil() *ConstInst

func ToConst

func ToConst(v Instruction) (*ConstInst, bool)

func (*ConstInst) AddMask

func (i *ConstInst) AddMask(v Value)

func (*ConstInst) AddMember

func (n *ConstInst) AddMember(k, v Value)

func (*ConstInst) AddReference

func (i *ConstInst) AddReference(v Value)

func (*ConstInst) AddUser

func (n *ConstInst) AddUser(u User)

for Value

func (*ConstInst) AddVariable

func (a *ConstInst) AddVariable(v *Variable)

func (*ConstInst) DeleteMember

func (n *ConstInst) DeleteMember(k Value)

func (*ConstInst) ForEachMember

func (n *ConstInst) ForEachMember(fn func(Value, Value) bool)

func (*ConstInst) GetAllMember

func (n *ConstInst) GetAllMember() map[Value]Value

func (*ConstInst) GetAllVariables

func (a *ConstInst) GetAllVariables() map[string]*Variable

func (*ConstInst) GetIndexMember

func (n *ConstInst) GetIndexMember(i int) (Value, bool)

func (*ConstInst) GetKey

func (n *ConstInst) GetKey() Value

func (*ConstInst) GetLastVariable

func (a *ConstInst) GetLastVariable() *Variable

func (*ConstInst) GetMask

func (i *ConstInst) GetMask() []Value

func (*ConstInst) GetMember

func (n *ConstInst) GetMember(key Value) (Value, bool)

func (*ConstInst) GetObject

func (n *ConstInst) GetObject() Value

func (*ConstInst) GetOpcode

func (i *ConstInst) GetOpcode() Opcode

func (*ConstInst) GetStringMember

func (n *ConstInst) GetStringMember(key string) (Value, bool)

func (*ConstInst) GetType

func (c *ConstInst) GetType() Type

ConstInst cont set Type

func (*ConstInst) GetUsers

func (n *ConstInst) GetUsers() Users

func (*ConstInst) GetValues

func (c *ConstInst) GetValues() Values

func (*ConstInst) GetVariable

func (a *ConstInst) GetVariable(name string) *Variable

func (*ConstInst) HasUsers

func (n *ConstInst) HasUsers() bool

has/get user and value

func (*ConstInst) HasValues

func (c *ConstInst) HasValues() bool

----------- ConstInst

func (*ConstInst) IsMember

func (n *ConstInst) IsMember() bool

func (*ConstInst) IsObject

func (n *ConstInst) IsObject() bool

func (*ConstInst) Masked

func (i *ConstInst) Masked() bool

func (*ConstInst) Reference

func (i *ConstInst) Reference() Values

func (*ConstInst) RemoveUser

func (n *ConstInst) RemoveUser(u User)

func (*ConstInst) ReplaceValue

func (c *ConstInst) ReplaceValue(v Value, to Value)

func (*ConstInst) SetKey

func (n *ConstInst) SetKey(k Value)

func (*ConstInst) SetObject

func (n *ConstInst) SetObject(v Value)

func (*ConstInst) SetType

func (c *ConstInst) SetType(ts Type)

func (*ConstInst) String

func (c *ConstInst) String() string

----------- const instruction

type DisasmLiner

type DisasmLiner interface {
	DisasmValue(v Instruction) string

	// level += 1; and check should stop?
	// if this method return true, should stop
	AddLevel() bool
	SkipLevelChecking() bool

	// cache // those method  should use `*cacheDisasmLiner`
	GetName(v Instruction) (string, bool)
	SetName(v Instruction, name string)
	DeleteName(v Instruction)
}

type DummyExtraFileAnalyzer

type DummyExtraFileAnalyzer struct {
}

func (*DummyExtraFileAnalyzer) EnableExtraFileAnalyzer

func (d *DummyExtraFileAnalyzer) EnableExtraFileAnalyzer() bool

func (*DummyExtraFileAnalyzer) ExtraFileAnalyze

func (d *DummyExtraFileAnalyzer) ExtraFileAnalyze(filesys.FileSystem, *Program, string) error

type ErrorComment

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

func (ErrorComment) Skip

func (ec ErrorComment) Skip(pos *Range) bool

type ErrorCommentId

type ErrorCommentId string

const (
	SSAIgnore  ErrorCommentId = "// @ssa-ignore"
	SSANoCheck ErrorCommentId = "// @ssa-nocheck"
)

type ErrorHandler

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

------------- ErrorHandler

func NewErrorHandler

func NewErrorHandler(try *BasicBlock) *ErrorHandler

func (*ErrorHandler) AddCatch

func (e *ErrorHandler) AddCatch(c *BasicBlock)

func (*ErrorHandler) AddDone

func (e *ErrorHandler) AddDone(d *BasicBlock)

func (*ErrorHandler) AddFinal

func (e *ErrorHandler) AddFinal(f *BasicBlock)

func (*ErrorHandler) GetBlock

func (a *ErrorHandler) GetBlock() *BasicBlock

func (*ErrorHandler) GetFunc

func (a *ErrorHandler) GetFunc() *Function

func (*ErrorHandler) GetId

func (a *ErrorHandler) GetId() int64

func (*ErrorHandler) GetName

func (a *ErrorHandler) GetName() string

func (*ErrorHandler) GetOpcode

func (i *ErrorHandler) GetOpcode() Opcode

func (*ErrorHandler) GetProgram

func (a *ErrorHandler) GetProgram() *Program

func (*ErrorHandler) GetRange

func (c *ErrorHandler) GetRange() *Range

source code position

func (*ErrorHandler) GetShortVerboseName

func (i *ErrorHandler) GetShortVerboseName() string

func (*ErrorHandler) GetSourceCode

func (v *ErrorHandler) GetSourceCode() string

func (*ErrorHandler) GetSourceCodeContext

func (v *ErrorHandler) GetSourceCodeContext(n int) string

func (*ErrorHandler) GetVerboseName

func (i *ErrorHandler) GetVerboseName() string

func (*ErrorHandler) IsAnnotation

func (a *ErrorHandler) IsAnnotation() bool

func (*ErrorHandler) IsBlock

func (i *ErrorHandler) IsBlock(name string) bool

func (*ErrorHandler) IsCFGEnterBlock

func (i *ErrorHandler) IsCFGEnterBlock() ([]Instruction, bool)

func (*ErrorHandler) IsExtern

func (c *ErrorHandler) IsExtern() bool

func (*ErrorHandler) IsLazy

func (i *ErrorHandler) IsLazy() bool

func (*ErrorHandler) IsUndefined

func (i *ErrorHandler) IsUndefined() bool

func (*ErrorHandler) LineDisasm

func (a *ErrorHandler) LineDisasm() string

func (*ErrorHandler) NewError

func (c *ErrorHandler) NewError(kind ErrorKind, tag ErrorTag, msg string)

error logger

func (*ErrorHandler) ReplaceValue

func (i *ErrorHandler) ReplaceValue(Value, Value)

func (*ErrorHandler) Self

func (i *ErrorHandler) Self() Instruction

func (*ErrorHandler) SelfDelete

func (i *ErrorHandler) SelfDelete()

func (*ErrorHandler) SetBlock

func (a *ErrorHandler) SetBlock(block *BasicBlock)

func (*ErrorHandler) SetExtern

func (c *ErrorHandler) SetExtern(b bool)

func (*ErrorHandler) SetFunc

func (a *ErrorHandler) SetFunc(f *Function)

ssa function and block

func (*ErrorHandler) SetId

func (a *ErrorHandler) SetId(id int64)

id

func (*ErrorHandler) SetIsAnnotation

func (a *ErrorHandler) SetIsAnnotation(b bool)

func (*ErrorHandler) SetName

func (a *ErrorHandler) SetName(v string)

variable

func (*ErrorHandler) SetRange

func (c *ErrorHandler) SetRange(pos *Range)

func (*ErrorHandler) SetVerboseName

func (i *ErrorHandler) SetVerboseName(verbose string)

func (*ErrorHandler) String

func (e *ErrorHandler) String() string

type ErrorKind

type ErrorKind int

const (
	Warn ErrorKind = iota
	Error
)

type ErrorLogger

type ErrorLogger interface {
	NewError(ErrorKind, ErrorTag, string)
}

type ErrorTag

type ErrorTag string

const (
	SSATAG ErrorTag = "ssa"
)

type ExternLib

type ExternLib struct {
	MemberMap map[string]Value
	Member    []Value
	// contains filtered or unexported fields
}

----------- externLib

func NewExternLib

func NewExternLib(variable string, builder *FunctionBuilder, table map[string]any) *ExternLib

func ToExternLib

func ToExternLib(v Instruction) (*ExternLib, bool)

func (*ExternLib) AddMask

func (i *ExternLib) AddMask(v Value)

func (*ExternLib) AddMember

func (n *ExternLib) AddMember(k, v Value)

func (*ExternLib) AddReference

func (i *ExternLib) AddReference(v Value)

func (*ExternLib) AddUser

func (n *ExternLib) AddUser(u User)

for Value

func (*ExternLib) AddVariable

func (a *ExternLib) AddVariable(v *Variable)

func (*ExternLib) BuildField

func (ex *ExternLib) BuildField(key string) Value

func (*ExternLib) DeleteMember

func (n *ExternLib) DeleteMember(k Value)

func (*ExternLib) ForEachMember

func (n *ExternLib) ForEachMember(fn func(Value, Value) bool)

func (*ExternLib) GetAllMember

func (n *ExternLib) GetAllMember() map[Value]Value

func (*ExternLib) GetAllVariables

func (a *ExternLib) GetAllVariables() map[string]*Variable

func (*ExternLib) GetIndexMember

func (n *ExternLib) GetIndexMember(i int) (Value, bool)

func (*ExternLib) GetKey

func (n *ExternLib) GetKey() Value

func (*ExternLib) GetLastVariable

func (a *ExternLib) GetLastVariable() *Variable

func (*ExternLib) GetMask

func (i *ExternLib) GetMask() []Value

func (*ExternLib) GetMember

func (n *ExternLib) GetMember(key Value) (Value, bool)

func (*ExternLib) GetObject

func (n *ExternLib) GetObject() Value

func (*ExternLib) GetOpcode

func (i *ExternLib) GetOpcode() Opcode

func (*ExternLib) GetStringMember

func (n *ExternLib) GetStringMember(key string) (Value, bool)

func (*ExternLib) GetType

func (n *ExternLib) GetType() Type

for Value : type

func (*ExternLib) GetUsers

func (n *ExternLib) GetUsers() Users

func (*ExternLib) GetValues

func (e *ExternLib) GetValues() Values

func (*ExternLib) GetVariable

func (a *ExternLib) GetVariable(name string) *Variable

func (*ExternLib) HasUsers

func (n *ExternLib) HasUsers() bool

has/get user and value

func (*ExternLib) HasValues

func (e *ExternLib) HasValues() bool

/ ---- extern lib

func (*ExternLib) IsMember

func (n *ExternLib) IsMember() bool

func (*ExternLib) IsObject

func (n *ExternLib) IsObject() bool

func (*ExternLib) Masked

func (i *ExternLib) Masked() bool

func (*ExternLib) Reference

func (i *ExternLib) Reference() Values

func (*ExternLib) RemoveUser

func (n *ExternLib) RemoveUser(u User)

func (*ExternLib) ReplaceValue

func (e *ExternLib) ReplaceValue(v Value, to Value)

func (*ExternLib) SetKey

func (n *ExternLib) SetKey(k Value)

func (*ExternLib) SetObject

func (n *ExternLib) SetObject(v Value)

func (*ExternLib) SetType

func (n *ExternLib) SetType(typ Type)

func (*ExternLib) String

func (e *ExternLib) String() string

type ExtraFileAnalyzer

type ExtraFileAnalyzer interface {
	EnableExtraFileAnalyzer() bool
	ExtraFileAnalyze(filesys.FileSystem, *Program, string) error
}

type FullDisasmLiner

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

func NewFullDisasmLiner

func NewFullDisasmLiner(max int) *FullDisasmLiner

func (*FullDisasmLiner) AddLevel

func (f *FullDisasmLiner) AddLevel() bool

func (FullDisasmLiner) DeleteName

func (b FullDisasmLiner) DeleteName(i Instruction)

func (*FullDisasmLiner) DisasmValue

func (f *FullDisasmLiner) DisasmValue(v Instruction) string

func (FullDisasmLiner) GetName

func (b FullDisasmLiner) GetName(i Instruction) (string, bool)

func (FullDisasmLiner) SetName

func (b FullDisasmLiner) SetName(i Instruction, name string)

func (*FullDisasmLiner) SkipLevelChecking

func (b *FullDisasmLiner) SkipLevelChecking() bool

type Function

type Function struct {

	// Type
	Type *FunctionType

	// just function parameter
	Params      []Value
	ParamLength int
	// for closure function
	FreeValues map[string]Value // store the captured variable form parent-function, just contain name, and type is Parameter
	// parameter member call
	// ParameterMembers []*ParameterMember
	ParameterMembers []Value
	// function side effects
	SideEffects []*FunctionSideEffect

	ChildFuncs []Value // child function within this function

	Return []Value

	// BasicBlock list
	Blocks []Instruction
	// First and End block
	EnterBlock Instruction
	ExitBlock  Instruction
	// For Defer  semantic
	// this block will always execute when the function exits,
	// regardless of whether the function returns normally or exits due to a panic.
	DeferBlock Instruction
	// contains filtered or unexported fields
}

implement Value

func GetMethod

func GetMethod(t Type, id string) *Function

func NewFunctionWithType

func NewFunctionWithType(name string, typ *FunctionType) *Function

just create a function define, only function parameter type \ return type \ ellipsis

func ToFunction

func ToFunction(n Instruction) (*Function, bool)

func (*Function) AddErrorComment

func (f *Function) AddErrorComment(str string, line int) error

func (*Function) AddForceSideEffect

func (f *Function) AddForceSideEffect(name string, v Value)

func (*Function) AddMask

func (i *Function) AddMask(v Value)

func (*Function) AddMember

func (n *Function) AddMember(k, v Value)

func (*Function) AddReference

func (i *Function) AddReference(v Value)

func (*Function) AddSideEffect

func (f *Function) AddSideEffect(name *Variable, v Value)

func (*Function) AddUser

func (n *Function) AddUser(u User)

for Value

func (*Function) AddVariable

func (a *Function) AddVariable(v *Variable)

func (*Function) DeleteMember

func (n *Function) DeleteMember(k Value)

func (*Function) DisAsm

func (f *Function) DisAsm(flag FunctionAsmFlag) string

func (*Function) Finish

func (f *Function) Finish()

Finish the function, set FunctionType, set EnterBlock/ExitBlock

func (*Function) FirstBlockInstruction

func (f *Function) FirstBlockInstruction() []Instruction

func (*Function) ForEachMember

func (n *Function) ForEachMember(fn func(Value, Value) bool)

func (*Function) GetAllMember

func (n *Function) GetAllMember() map[Value]Value

func (*Function) GetAllVariables

func (a *Function) GetAllVariables() map[string]*Variable

func (*Function) GetDeferBlock

func (f *Function) GetDeferBlock() *BasicBlock

func (*Function) GetFunc

func (f *Function) GetFunc() *Function

func (*Function) GetIndexMember

func (n *Function) GetIndexMember(i int) (Value, bool)

func (*Function) GetKey

func (n *Function) GetKey() Value

func (*Function) GetLastVariable

func (a *Function) GetLastVariable() *Variable

func (*Function) GetMask

func (i *Function) GetMask() []Value

func (*Function) GetMember

func (n *Function) GetMember(key Value) (Value, bool)

func (*Function) GetMethodName

func (f *Function) GetMethodName() string

func (*Function) GetObject

func (n *Function) GetObject() Value

func (*Function) GetOpcode

func (i *Function) GetOpcode() Opcode

func (*Function) GetParent

func (f *Function) GetParent() *Function

func (*Function) GetProgram

func (f *Function) GetProgram() *Program

func (*Function) GetStringMember

func (n *Function) GetStringMember(key string) (Value, bool)

func (*Function) GetType

func (f *Function) GetType() Type

func (*Function) GetUsers

func (n *Function) GetUsers() Users

func (*Function) GetValues

func (f *Function) GetValues() Values

func (*Function) GetVariable

func (a *Function) GetVariable(name string) *Variable

func (*Function) HasUsers

func (n *Function) HasUsers() bool

has/get user and value

func (*Function) HasValues

func (f *Function) HasValues() bool

----------- Function

func (*Function) IsGeneric

func (f *Function) IsGeneric() bool

func (*Function) IsMain

func (f *Function) IsMain() bool

func (*Function) IsMember

func (n *Function) IsMember() bool

func (*Function) IsMethod

func (f *Function) IsMethod() bool

func (*Function) IsObject

func (n *Function) IsObject() bool

func (*Function) Masked

func (i *Function) Masked() bool

func (*Function) NewBasicBlock

func (f *Function) NewBasicBlock(name string) *BasicBlock

func (*Function) NewBasicBlockNotAddBlocks

func (f *Function) NewBasicBlockNotAddBlocks(name string) *BasicBlock

func (*Function) NewBasicBlockNotAddUnSealed

func (f *Function) NewBasicBlockNotAddUnSealed(name string) *BasicBlock

func (*Function) NewBasicBlockUnSealed

func (f *Function) NewBasicBlockUnSealed(name string) *BasicBlock

func (*Function) NewError

func (f *Function) NewError(kind ErrorKind, tag ErrorTag, format string)

func (*Function) NewErrorWithPos

func (f *Function) NewErrorWithPos(kind ErrorKind, tag ErrorTag, Pos *Range, message string)

func (*Function) Reference

func (i *Function) Reference() Values

func (*Function) RemoveUser

func (n *Function) RemoveUser(u User)

func (*Function) ReturnValue

func (f *Function) ReturnValue() []Value

func (*Function) SetGeneric

func (f *Function) SetGeneric(b bool)

func (*Function) SetKey

func (n *Function) SetKey(k Value)

func (*Function) SetMethod

func (f *Function) SetMethod(is bool, objType Type)

func (*Function) SetMethodName

func (f *Function) SetMethodName(name string)

func (*Function) SetObject

func (n *Function) SetObject(v Value)

func (*Function) SetType

func (f *Function) SetType(t Type)

func (*Function) String

func (f *Function) String() string

implement value

type FunctionAsmFlag

type FunctionAsmFlag int

const (
	DisAsmDefault FunctionAsmFlag = 1 << iota
	DisAsmWithSource
)

type FunctionBuilder

type FunctionBuilder struct {
	*Function

	// disable free-value
	SupportClosure bool
	// Support obtaining static members from the StaticMember of the class's blueprint,
	// even if the class is not instantiated
	SupportGetStaticMember bool
	SupportClass           bool

	RefParameter map[string]struct{}

	// for build
	CurrentBlock *BasicBlock // current block to build
	CurrentRange *Range      // current position in source code
	CurrentFile  string      // current file name

	DefineFunc map[string]any

	MarkedFuncType  *FunctionType
	MarkedFunctions []*Function

	MarkedVariable           *Variable
	MarkedThisObject         Value
	MarkedThisClassBlueprint *ClassBluePrint
	// contains filtered or unexported fields
}

Function builder API

func NewBuilder

func NewBuilder(editor *memedit.MemEditor, f *Function, parent *FunctionBuilder) *FunctionBuilder

func (*FunctionBuilder) AddDefer

func (b *FunctionBuilder) AddDefer(call *Call)

add current function defer function

func (*FunctionBuilder) AddIncludePath

func (b *FunctionBuilder) AddIncludePath(path string)

func (*FunctionBuilder) AddLabel

func (b *FunctionBuilder) AddLabel(name string, block *BasicBlock)

for goto and label

func (FunctionBuilder) AddMask

func (i FunctionBuilder) AddMask(v Value)

func (FunctionBuilder) AddMember

func (n FunctionBuilder) AddMember(k, v Value)

func (FunctionBuilder) AddReference

func (i FunctionBuilder) AddReference(v Value)

func (FunctionBuilder) AddUser

func (n FunctionBuilder) AddUser(u User)

for Value

func (FunctionBuilder) AddVariable

func (a FunctionBuilder) AddVariable(v *Variable)

func (*FunctionBuilder) AppendBlockRange

func (b *FunctionBuilder) AppendBlockRange()

func (*FunctionBuilder) AssignVariable

func (b *FunctionBuilder) AssignVariable(variable *Variable, value Value)

AssignVariable assign value to variable

func (*FunctionBuilder) Break

func (b *FunctionBuilder) Break() bool

func (*FunctionBuilder) BuildDirectoryPackage

func (b *FunctionBuilder) BuildDirectoryPackage(name []string, once bool) (*Program, error)

func (*FunctionBuilder) BuildFilePackage

func (b *FunctionBuilder) BuildFilePackage(filename string, once bool) error

func (*FunctionBuilder) BuildFreeValue

func (b *FunctionBuilder) BuildFreeValue(variable string) *Parameter

func (*FunctionBuilder) BuildSwitch

func (b *FunctionBuilder) BuildSwitch() *SwitchBuilder

func (*FunctionBuilder) BuildSyntaxBlock

func (b *FunctionBuilder) BuildSyntaxBlock(builder func())

func (*FunctionBuilder) BuildTry

func (b *FunctionBuilder) BuildTry() *TryBuilder

func (*FunctionBuilder) BuildValueFromAny

func (b *FunctionBuilder) BuildValueFromAny(id string, v any) (value Value)

func (*FunctionBuilder) CheckAndSetSideEffect

func (f *FunctionBuilder) CheckAndSetSideEffect(variable *Variable, v Value)

func (*FunctionBuilder) Continue

func (b *FunctionBuilder) Continue() bool

func (*FunctionBuilder) CoverReflectFunctionType

func (b *FunctionBuilder) CoverReflectFunctionType(itype reflect.Type, level int) *FunctionType

func (*FunctionBuilder) CreateClassBluePrint

func (b *FunctionBuilder) CreateClassBluePrint(name string, tokenizer ...CanStartStopToken) *ClassBluePrint

CreateClassBluePrint will create object template (maybe class) in dynamic and classless language, we can create object without class but because of the 'this/super', we will still keep the concept 'Class' for ref the method/function, the blueprint is a container too, saving the static variables and util methods.

func (*FunctionBuilder) CreateIfBuilder

func (b *FunctionBuilder) CreateIfBuilder() *IfBuilder

CreateIfBuilder Create IfBuilder

func (*FunctionBuilder) CreateInterfaceWithMap

func (b *FunctionBuilder) CreateInterfaceWithMap(keys []Value, vs []Value) *Make

func (*FunctionBuilder) CreateInterfaceWithSlice

func (b *FunctionBuilder) CreateInterfaceWithSlice(vs []Value) *Make

func (*FunctionBuilder) CreateLocalVariable

func (b *FunctionBuilder) CreateLocalVariable(name string) *Variable

CreateVariable create variable

func (*FunctionBuilder) CreateLoopBuilder

func (b *FunctionBuilder) CreateLoopBuilder() *LoopBuilder

CreateLoopBuilder Create LoopBuilder

func (*FunctionBuilder) CreateMemberCallVariable

func (b *FunctionBuilder) CreateMemberCallVariable(object, key Value) *Variable

func (*FunctionBuilder) CreateVariable

func (b *FunctionBuilder) CreateVariable(name string, pos ...CanStartStopToken) *Variable

func (*FunctionBuilder) DeleteLabel

func (b *FunctionBuilder) DeleteLabel(name string)

func (FunctionBuilder) DeleteMember

func (n FunctionBuilder) DeleteMember(k Value)

func (*FunctionBuilder) EmitAssert

func (f *FunctionBuilder) EmitAssert(cond, msgValue Value, msg string) *Assert

func (*FunctionBuilder) EmitBinOp

func (f *FunctionBuilder) EmitBinOp(op BinaryOpcode, x, y Value) Value

func (*FunctionBuilder) EmitCall

func (f *FunctionBuilder) EmitCall(c *Call) *Call

func (*FunctionBuilder) EmitConstInst

func (f *FunctionBuilder) EmitConstInst(i any) *ConstInst

func (*FunctionBuilder) EmitConstInstNil

func (f *FunctionBuilder) EmitConstInstNil() *ConstInst

func (*FunctionBuilder) EmitConstInstWithUnary

func (f *FunctionBuilder) EmitConstInstWithUnary(i any, un int) *ConstInst

func (*FunctionBuilder) EmitEmptyContainer

func (f *FunctionBuilder) EmitEmptyContainer() *Make

func (*FunctionBuilder) EmitErrorHandler

func (f *FunctionBuilder) EmitErrorHandler(try *BasicBlock) *ErrorHandler

func (*FunctionBuilder) EmitFirst

func (b *FunctionBuilder) EmitFirst(i Instruction, block *BasicBlock)

func (*FunctionBuilder) EmitIf

func (f *FunctionBuilder) EmitIf() *If

func (*FunctionBuilder) EmitInstructionAfter

func (f *FunctionBuilder) EmitInstructionAfter(i, after Instruction)

func (*FunctionBuilder) EmitInstructionBefore

func (f *FunctionBuilder) EmitInstructionBefore(i, before Instruction)

func (*FunctionBuilder) EmitJump

func (f *FunctionBuilder) EmitJump(to *BasicBlock) *Jump

func (*FunctionBuilder) EmitLoop

func (f *FunctionBuilder) EmitLoop(body, exit *BasicBlock, cond Value) *Loop

func (*FunctionBuilder) EmitMakeBuildWithType

func (f *FunctionBuilder) EmitMakeBuildWithType(typ Type, Len, Cap Value) *Make

func (*FunctionBuilder) EmitMakeSlice

func (f *FunctionBuilder) EmitMakeSlice(i Value, low, high, max Value) *Make

func (*FunctionBuilder) EmitMakeWithoutType

func (f *FunctionBuilder) EmitMakeWithoutType(Len, Cap Value) *Make

func (*FunctionBuilder) EmitNext

func (f *FunctionBuilder) EmitNext(iter Value, isIn bool) (key, field, ok Value)

func (*FunctionBuilder) EmitNextOnly

func (f *FunctionBuilder) EmitNextOnly(iter Value, isIn bool) *Next

func (*FunctionBuilder) EmitOnly

func (f *FunctionBuilder) EmitOnly(i Instruction)

func (*FunctionBuilder) EmitPanic

func (f *FunctionBuilder) EmitPanic(info Value) *Panic

func (*FunctionBuilder) EmitPhi

func (f *FunctionBuilder) EmitPhi(name string, vs []Value) *Phi

func (*FunctionBuilder) EmitRecover

func (f *FunctionBuilder) EmitRecover() *Recover

func (*FunctionBuilder) EmitReturn

func (f *FunctionBuilder) EmitReturn(vs []Value) *Return

func (*FunctionBuilder) EmitSideEffect

func (f *FunctionBuilder) EmitSideEffect(name string, call *Call, value Value) *SideEffect

func (*FunctionBuilder) EmitSwitch

func (f *FunctionBuilder) EmitSwitch(cond Value, defaultb *BasicBlock, label []SwitchLabel) *Switch

func (*FunctionBuilder) EmitToBlock

func (f *FunctionBuilder) EmitToBlock(i Instruction, block *BasicBlock)

func (*FunctionBuilder) EmitTypeCast

func (f *FunctionBuilder) EmitTypeCast(v Value, typ Type) *TypeCast

func (*FunctionBuilder) EmitTypeValue

func (f *FunctionBuilder) EmitTypeValue(typ Type) *TypeValue

func (*FunctionBuilder) EmitUnOp

func (f *FunctionBuilder) EmitUnOp(op UnaryOpcode, v Value) Value

func (*FunctionBuilder) EmitUndefined

func (f *FunctionBuilder) EmitUndefined(name string) *Undefined

EmitUndefined emit undefined value the current block is finished. NOTE: the object/membercall will create vars in finished blocks

func (*FunctionBuilder) EmitValueOnlyDeclare

func (f *FunctionBuilder) EmitValueOnlyDeclare(name string) *Undefined

func (*FunctionBuilder) Fallthrough

func (b *FunctionBuilder) Fallthrough() bool

func (*FunctionBuilder) Finish

func (b *FunctionBuilder) Finish()

Finish current function builder

func (FunctionBuilder) ForEachMember

func (n FunctionBuilder) ForEachMember(fn func(Value, Value) bool)

func (FunctionBuilder) GetAllMember

func (n FunctionBuilder) GetAllMember() map[Value]Value

func (FunctionBuilder) GetAllVariables

func (a FunctionBuilder) GetAllVariables() map[string]*Variable

func (*FunctionBuilder) GetClassBluePrint

func (b *FunctionBuilder) GetClassBluePrint(name string) *ClassBluePrint

func (*FunctionBuilder) GetCurrentRange

func (b *FunctionBuilder) GetCurrentRange(fallback CanStartStopToken) *Range

func (*FunctionBuilder) GetEditor

func (b *FunctionBuilder) GetEditor() *memedit.MemEditor

func (FunctionBuilder) GetIndexMember

func (n FunctionBuilder) GetIndexMember(i int) (Value, bool)

func (FunctionBuilder) GetKey

func (n FunctionBuilder) GetKey() Value

func (*FunctionBuilder) GetLabel

func (b *FunctionBuilder) GetLabel(name string) *BasicBlock

func (FunctionBuilder) GetLastVariable

func (a FunctionBuilder) GetLastVariable() *Variable

func (*FunctionBuilder) GetMarkedFunction

func (b *FunctionBuilder) GetMarkedFunction() *FunctionType

func (FunctionBuilder) GetMask

func (i FunctionBuilder) GetMask() []Value

func (FunctionBuilder) GetMember

func (n FunctionBuilder) GetMember(key Value) (Value, bool)

func (FunctionBuilder) GetObject

func (n FunctionBuilder) GetObject() Value

func (*FunctionBuilder) GetRangeByToken

func (b *FunctionBuilder) GetRangeByToken(r CanStartStopToken) *Range

func (*FunctionBuilder) GetStaticMember

func (b *FunctionBuilder) GetStaticMember(class, key string) *Variable

func (FunctionBuilder) GetStringMember

func (n FunctionBuilder) GetStringMember(key string) (Value, bool)

func (FunctionBuilder) GetUsers

func (n FunctionBuilder) GetUsers() Users

func (FunctionBuilder) GetVariable

func (a FunctionBuilder) GetVariable(name string) *Variable

func (FunctionBuilder) HandlerEllipsis

func (b FunctionBuilder) HandlerEllipsis()

function param

func (FunctionBuilder) HasUsers

func (n FunctionBuilder) HasUsers() bool

has/get user and value

func (*FunctionBuilder) InterfaceAddFieldBuild

func (b *FunctionBuilder) InterfaceAddFieldBuild(size int, keys func(int) Value, value func(int) Value) *Make

func (*FunctionBuilder) IsBlockFinish

func (b *FunctionBuilder) IsBlockFinish() bool

current block is finish?

func (FunctionBuilder) IsMember

func (n FunctionBuilder) IsMember() bool

func (FunctionBuilder) IsObject

func (n FunctionBuilder) IsObject() bool

func (*FunctionBuilder) IsParentFunctionVariable

func (b *FunctionBuilder) IsParentFunctionVariable(v *Variable) bool

func (FunctionBuilder) Masked

func (i FunctionBuilder) Masked() bool

func (*FunctionBuilder) NewCall

func (f *FunctionBuilder) NewCall(target Value, args []Value) *Call

func (*FunctionBuilder) NewError

func (b *FunctionBuilder) NewError(kind ErrorKind, tag ErrorTag, massage string, arg ...interface{})

func (*FunctionBuilder) NewFunc

func (b *FunctionBuilder) NewFunc(name string) *Function

new function

func (*FunctionBuilder) NewParam

func (f *FunctionBuilder) NewParam(name string, pos ...CanStartStopToken) *Parameter

func (*FunctionBuilder) NewParameterMember

func (f *FunctionBuilder) NewParameterMember(name string, obj *Parameter, key Value) *ParameterMember

func (*FunctionBuilder) PeekValue

func (b *FunctionBuilder) PeekValue(name string) Value

func (*FunctionBuilder) PeekValueByVariable

func (b *FunctionBuilder) PeekValueByVariable(v *Variable) Value

func (*FunctionBuilder) PeekValueInThisFunction

func (b *FunctionBuilder) PeekValueInThisFunction(name string) Value

func (*FunctionBuilder) PopFunction

func (b *FunctionBuilder) PopFunction() *FunctionBuilder

func (*FunctionBuilder) PopTarget

func (b *FunctionBuilder) PopTarget() bool

func (*FunctionBuilder) PushFunction

func (b *FunctionBuilder) PushFunction(newFunc *Function) *FunctionBuilder

function stack

func (*FunctionBuilder) PushTarget

func (b *FunctionBuilder) PushTarget(scope ssautil.LabelTarget[Value], _break, _continue, _fallthrough *BasicBlock)

target stack

func (*FunctionBuilder) ReadMemberCallVariable

func (b *FunctionBuilder) ReadMemberCallVariable(value, key Value) Value

func (*FunctionBuilder) ReadOrCreateMemberCallVariable

func (b *FunctionBuilder) ReadOrCreateMemberCallVariable(caller, callee Value) Value

func (*FunctionBuilder) ReadOrCreateVariable

func (b *FunctionBuilder) ReadOrCreateVariable(name string) Value

func (*FunctionBuilder) ReadValue

func (b *FunctionBuilder) ReadValue(name string) Value

ReadValue get value by name

func (*FunctionBuilder) ReadValueByVariable

func (b *FunctionBuilder) ReadValueByVariable(v *Variable) Value

ReadValueByVariable get value by variable

func (*FunctionBuilder) ReadValueInThisFunction

func (b *FunctionBuilder) ReadValueInThisFunction(name string) Value

func (FunctionBuilder) Reference

func (i FunctionBuilder) Reference() Values

func (*FunctionBuilder) ReferenceParameter

func (b *FunctionBuilder) ReferenceParameter(name string)

func (FunctionBuilder) RemoveUser

func (n FunctionBuilder) RemoveUser(u User)

func (*FunctionBuilder) SetClassBluePrint

func (b *FunctionBuilder) SetClassBluePrint(name string, class *ClassBluePrint)

func (*FunctionBuilder) SetCurrent

func (f *FunctionBuilder) SetCurrent(i Instruction, noChangeRanges ...bool) func()

func (*FunctionBuilder) SetEditor

func (b *FunctionBuilder) SetEditor(editor *memedit.MemEditor)

func (*FunctionBuilder) SetInstructionPosition

func (f *FunctionBuilder) SetInstructionPosition(i Instruction)

func (FunctionBuilder) SetKey

func (n FunctionBuilder) SetKey(k Value)

func (*FunctionBuilder) SetMarkedFunction

func (b *FunctionBuilder) SetMarkedFunction(name string)

func (FunctionBuilder) SetObject

func (n FunctionBuilder) SetObject(v Value)

func (*FunctionBuilder) SetRange

func (b *FunctionBuilder) SetRange(token CanStartStopToken) func()

func (*FunctionBuilder) SetRangeFromTerminalNode

func (b *FunctionBuilder) SetRangeFromTerminalNode(node antlr.TerminalNode) func()

func (*FunctionBuilder) TryBuildExternValue

func (b *FunctionBuilder) TryBuildExternValue(id string) Value

func (*FunctionBuilder) TryGetSimilarityKey

func (b *FunctionBuilder) TryGetSimilarityKey(name, key string) string

func (*FunctionBuilder) WithDefineFunction

func (b *FunctionBuilder) WithDefineFunction(defineFunc map[string]any)

func (*FunctionBuilder) WithExternBuildValueHandler

func (b *FunctionBuilder) WithExternBuildValueHandler(m map[string]func(b *FunctionBuilder, id string, v any) (value Value))

func (*FunctionBuilder) WithExternLib

func (b *FunctionBuilder) WithExternLib(lib map[string]map[string]any)

func (*FunctionBuilder) WithExternMethod

func (b *FunctionBuilder) WithExternMethod(builder MethodBuilder)

func (*FunctionBuilder) WithExternValue

func (b *FunctionBuilder) WithExternValue(vs map[string]any)

type FunctionSideEffect

type FunctionSideEffect struct {
	Name        string
	VerboseName string
	Modify      Value
	// only call-side Scope > this Scope-level, this side-effect can be create
	// Scope *Scope
	Variable *Variable
	// contains filtered or unexported fields
}

FunctionSideEffect is a side-effect in a closure

func (FunctionSideEffect) Get

func (p FunctionSideEffect) Get(c *Call) (obj Value, ok bool)

type FunctionType

type FunctionType struct {
	Name string

	This            *Function
	ReturnType      Type
	ReturnValue     []*Return
	Parameter       Types
	ParameterLen    int
	ParameterValue  []*Parameter
	FreeValue       []*Parameter
	ParameterMember []*ParameterMember
	SideEffects     []*FunctionSideEffect
	IsVariadic      bool
	IsMethod        bool
	ObjectType      Type
	IsModifySelf    bool // if this is method function

	AnnotationFunc []func(Value)
	// contains filtered or unexported fields
}

func NewFunctionType

func NewFunctionType(name string, Parameter []Type, ReturnType Type, IsVariadic bool) *FunctionType

func NewFunctionTypeDefine

func NewFunctionTypeDefine(name string, Parameter []Type, ReturnType []Type, IsVariadic bool) *FunctionType

func ToFunctionType

func ToFunctionType(t Type) (*FunctionType, bool)

func (*FunctionType) AddAnnotationFunc

func (f *FunctionType) AddAnnotationFunc(handler ...func(Value))

func (*FunctionType) AddMethod

func (b *FunctionType) AddMethod(id string, f *Function)

func (*FunctionType) GetMethod

func (f *FunctionType) GetMethod() map[string]*Function

func (*FunctionType) GetParamString

func (s *FunctionType) GetParamString() string

func (*FunctionType) GetTypeKind

func (s *FunctionType) GetTypeKind() TypeKind

func (*FunctionType) PkgPathString

func (s *FunctionType) PkgPathString() string

func (*FunctionType) RawString

func (s *FunctionType) RawString() string

func (*FunctionType) SetFreeValue

func (s *FunctionType) SetFreeValue(fv map[string]*Parameter)

func (*FunctionType) SetMethod

func (f *FunctionType) SetMethod(m map[string]*Function)

func (*FunctionType) SetModifySelf

func (f *FunctionType) SetModifySelf(b bool)

func (*FunctionType) SetName

func (s *FunctionType) SetName(name string)

func (*FunctionType) SetSideEffect

func (s *FunctionType) SetSideEffect(se []*FunctionSideEffect)

func (*FunctionType) String

func (s *FunctionType) String() string

type GenericType

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

====================== generic type

func NewGenericType

func NewGenericType(symbol string) *GenericType

func (*GenericType) AddMethod

func (b *GenericType) AddMethod(id string, f *Function)

func (*GenericType) GetMethod

func (c *GenericType) GetMethod() map[string]*Function

func (*GenericType) GetTypeKind

func (c *GenericType) GetTypeKind() TypeKind

func (GenericType) PkgPathString

func (c GenericType) PkgPathString() string

func (GenericType) RawString

func (c GenericType) RawString() string

func (*GenericType) SetMethod

func (c *GenericType) SetMethod(m map[string]*Function)

func (GenericType) String

func (c GenericType) String() string

type GetIdIF

type GetIdIF interface {
	GetId() int64
}

type If

type If struct {
	Cond  Value
	True  Value
	False Value
	// contains filtered or unexported fields
}

----------- IF The If instruction transfers control to one of the two successors of its owning block, depending on the boolean Cond: the first if true, the second if false.

func NewIf

func NewIf() *If

func ToIfInstruction

func ToIfInstruction(n Instruction) (*If, bool)

func (*If) AddFalse

func (i *If) AddFalse(f *BasicBlock)

func (*If) AddTrue

func (i *If) AddTrue(t *BasicBlock)

func (*If) GetBlock

func (a *If) GetBlock() *BasicBlock

func (*If) GetFunc

func (a *If) GetFunc() *Function

func (*If) GetId

func (a *If) GetId() int64

func (*If) GetName

func (a *If) GetName() string

func (*If) GetOpcode

func (i *If) GetOpcode() Opcode

func (*If) GetProgram

func (a *If) GetProgram() *Program

func (*If) GetRange

func (c *If) GetRange() *Range

source code position

func (*If) GetShortVerboseName

func (i *If) GetShortVerboseName() string

func (*If) GetSiblings

func (i *If) GetSiblings() []*If

func (*If) GetSourceCode

func (v *If) GetSourceCode() string

func (*If) GetSourceCodeContext

func (v *If) GetSourceCodeContext(n int) string

func (*If) GetUsers

func (r *If) GetUsers() Users

func (*If) GetValues

func (i *If) GetValues() Values

func (*If) GetVerboseName

func (i *If) GetVerboseName() string

func (*If) HasUsers

func (r *If) HasUsers() bool

func (*If) HasValues

func (i *If) HasValues() bool

----------- IF

func (*If) IsAnnotation

func (a *If) IsAnnotation() bool

func (*If) IsBlock

func (i *If) IsBlock(name string) bool

func (*If) IsCFGEnterBlock

func (i *If) IsCFGEnterBlock() ([]Instruction, bool)

func (*If) IsExtern

func (c *If) IsExtern() bool

func (*If) IsLazy

func (i *If) IsLazy() bool

func (*If) IsUndefined

func (i *If) IsUndefined() bool

func (*If) LineDisasm

func (a *If) LineDisasm() string

func (*If) NewError

func (c *If) NewError(kind ErrorKind, tag ErrorTag, msg string)

error logger

func (*If) ReplaceValue

func (i *If) ReplaceValue(v Value, to Value)

func (*If) Self

func (i *If) Self() Instruction

func (*If) SelfDelete

func (i *If) SelfDelete()

func (*If) SetBlock

func (a *If) SetBlock(block *BasicBlock)

func (*If) SetCondition

func (i *If) SetCondition(t Value)

func (*If) SetExtern

func (c *If) SetExtern(b bool)

func (*If) SetFunc

func (a *If) SetFunc(f *Function)

ssa function and block

func (*If) SetId

func (a *If) SetId(id int64)

id

func (*If) SetIsAnnotation

func (a *If) SetIsAnnotation(b bool)

func (*If) SetName

func (a *If) SetName(v string)

variable

func (*If) SetRange

func (c *If) SetRange(pos *Range)

func (*If) SetVerboseName

func (i *If) SetVerboseName(verbose string)

func (*If) String

func (i *If) String() string

----------- IF

type IfBuilder

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

IfBuilder is a builder for if statement ssa control flow: if builder

func (*IfBuilder) AppendItem

func (i *IfBuilder) AppendItem(cond func() Value, body func()) *IfBuilder

AppendItem append IfBuilderItem to IfBuilder

func (*IfBuilder) Build

func (i *IfBuilder) Build() *IfBuilder

Build if statement

func (*IfBuilder) SetCondition

func (i *IfBuilder) SetCondition(cond func() Value, body func()) *IfBuilder

SetCondition build if condition and body, short for append item

func (*IfBuilder) SetElse

func (i *IfBuilder) SetElse(body func()) *IfBuilder

SetElse build else body

type IfBuilderItem

type IfBuilderItem struct {
	Condition func() Value
	Body      func()
}

IfBuilderItem is pair of condition and body, if condition is true, then run body

type Instruction

type Instruction interface {
	ErrorLogger

	GetOpcode() Opcode

	// function
	GetFunc() *Function
	SetFunc(*Function)
	// block
	GetBlock() *BasicBlock
	SetBlock(*BasicBlock)
	// program
	GetProgram() *Program

	GetName() string
	SetName(variable string)
	GetVerboseName() string
	GetShortVerboseName() string
	SetVerboseName(string)
	SetIsAnnotation(bool)
	IsAnnotation() bool

	GetIdIF
	SetId(int64)

	// position
	GetRange() *Range
	SetRange(*Range)
	GetSourceCode() string
	GetSourceCodeContext(n int) string

	// extern
	IsExtern() bool
	SetExtern(bool)

	SelfDelete()
	IsBlock(string) bool

	IsCFGEnterBlock() ([]Instruction, bool)

	// Self means lazy instruction will check and return
	// real instruction will return itself
	Self() Instruction

	// IsLazy means this instruction is lazy, not loaded all from db
	IsLazy() bool
}

func CreateInstruction

func CreateInstruction(op Opcode) Instruction

func MatchInstructionByExact

func MatchInstructionByExact(prog *Program, mod int, e string) []Instruction

func MatchInstructionByGlob

func MatchInstructionByGlob(prog *Program, mod int, g string) []Instruction

GetByVariableGlob means get variable name(glob).

func MatchInstructionByRegexp

func MatchInstructionByRegexp(prog *Program, mod int, r string) []Instruction

GetByVariableRegexp will filter Instruction via variable regexp name

type InterfaceType

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

====================== interface type

func NewInterfaceType

func NewInterfaceType(name, pkgPath string) *InterfaceType

func (*InterfaceType) AddMethod

func (b *InterfaceType) AddMethod(id string, f *Function)

func (*InterfaceType) GetMethod

func (i *InterfaceType) GetMethod() map[string]*Function

func (*InterfaceType) GetTypeKind

func (i *InterfaceType) GetTypeKind() TypeKind

func (*InterfaceType) PkgPathString

func (i *InterfaceType) PkgPathString() string

func (*InterfaceType) RawString

func (i *InterfaceType) RawString() string

func (*InterfaceType) SetMethod

func (i *InterfaceType) SetMethod(m map[string]*Function)

func (*InterfaceType) String

func (i *InterfaceType) String() string

type Jump

type Jump struct {
	To Value
	// contains filtered or unexported fields
}

----------- Jump The Jump instruction transfers control to the sole successor of its owning block.

the block containing Jump instruction only have one successor block

func NewJump

func NewJump(to *BasicBlock) *Jump

func (*Jump) GetBlock

func (a *Jump) GetBlock() *BasicBlock

func (*Jump) GetFunc

func (a *Jump) GetFunc() *Function

func (*Jump) GetId

func (a *Jump) GetId() int64

func (*Jump) GetName

func (a *Jump) GetName() string

func (*Jump) GetOpcode

func (i *Jump) GetOpcode() Opcode

func (*Jump) GetProgram

func (a *Jump) GetProgram() *Program

func (*Jump) GetRange

func (c *Jump) GetRange() *Range

source code position

func (*Jump) GetShortVerboseName

func (i *Jump) GetShortVerboseName() string

func (*Jump) GetSourceCode

func (v *Jump) GetSourceCode() string

func (*Jump) GetSourceCodeContext

func (v *Jump) GetSourceCodeContext(n int) string

func (*Jump) GetVerboseName

func (i *Jump) GetVerboseName() string

func (*Jump) IsAnnotation

func (a *Jump) IsAnnotation() bool

func (*Jump) IsBlock

func (i *Jump) IsBlock(name string) bool

func (*Jump) IsCFGEnterBlock

func (i *Jump) IsCFGEnterBlock() ([]Instruction, bool)

func (*Jump) IsExtern

func (c *Jump) IsExtern() bool

func (*Jump) IsLazy

func (i *Jump) IsLazy() bool

func (*Jump) IsUndefined

func (i *Jump) IsUndefined() bool

func (*Jump) LineDisasm

func (a *Jump) LineDisasm() string

func (*Jump) NewError

func (c *Jump) NewError(kind ErrorKind, tag ErrorTag, msg string)

error logger

func (*Jump) ReplaceValue

func (i *Jump) ReplaceValue(Value, Value)

func (*Jump) Self

func (i *Jump) Self() Instruction

func (*Jump) SelfDelete

func (i *Jump) SelfDelete()

func (*Jump) SetBlock

func (a *Jump) SetBlock(block *BasicBlock)

func (*Jump) SetExtern

func (c *Jump) SetExtern(b bool)

func (*Jump) SetFunc

func (a *Jump) SetFunc(f *Function)

ssa function and block

func (*Jump) SetId

func (a *Jump) SetId(id int64)

id

func (*Jump) SetIsAnnotation

func (a *Jump) SetIsAnnotation(b bool)

func (*Jump) SetName

func (a *Jump) SetName(v string)

variable

func (*Jump) SetRange

func (c *Jump) SetRange(pos *Range)

func (*Jump) SetVerboseName

func (i *Jump) SetVerboseName(verbose string)

func (*Jump) String

func (j *Jump) String() string

----------- Jump

type LazyInstruction

type LazyInstruction struct {
	Instruction
	Value
	User

	Modify bool
	// contains filtered or unexported fields
}

func ToLazyInstruction

func ToLazyInstruction(n any) (*LazyInstruction, bool)

func (*LazyInstruction) AddMask

func (lz *LazyInstruction) AddMask(v Value)

func (*LazyInstruction) AddMember

func (lz *LazyInstruction) AddMember(v1 Value, v2 Value)

func (*LazyInstruction) AddReference

func (lz *LazyInstruction) AddReference(v Value)

func (*LazyInstruction) AddVariable

func (lz *LazyInstruction) AddVariable(v *Variable)

func (*LazyInstruction) DeleteMember

func (lz *LazyInstruction) DeleteMember(v Value)

func (*LazyInstruction) ForEachMember

func (lz *LazyInstruction) ForEachMember(fn func(Value, Value) bool)

func (*LazyInstruction) GetAllMember

func (lz *LazyInstruction) GetAllMember() map[Value]Value

func (*LazyInstruction) GetAllVariables

func (lz *LazyInstruction) GetAllVariables() map[string]*Variable

func (*LazyInstruction) GetBlock

func (lz *LazyInstruction) GetBlock() *BasicBlock

func (*LazyInstruction) GetFunc

func (lz *LazyInstruction) GetFunc() *Function

func (*LazyInstruction) GetId

func (lz *LazyInstruction) GetId() int64

just use lazy instruction

func (*LazyInstruction) GetIndexMember

func (lz *LazyInstruction) GetIndexMember(i int) (Value, bool)

func (*LazyInstruction) GetKey

func (lz *LazyInstruction) GetKey() Value

func (*LazyInstruction) GetLastVariable

func (lz *LazyInstruction) GetLastVariable() *Variable

func (*LazyInstruction) GetMask

func (lz *LazyInstruction) GetMask() []Value

func (*LazyInstruction) GetMember

func (lz *LazyInstruction) GetMember(v Value) (Value, bool)

func (*LazyInstruction) GetName

func (lz *LazyInstruction) GetName() string

just use IrCode

func (*LazyInstruction) GetObject

func (lz *LazyInstruction) GetObject() Value

func (*LazyInstruction) GetOpcode

func (lz *LazyInstruction) GetOpcode() Opcode

func (*LazyInstruction) GetProgram

func (lz *LazyInstruction) GetProgram() *Program

func (*LazyInstruction) GetRange

func (lz *LazyInstruction) GetRange() *Range

func (*LazyInstruction) GetShortVerboseName

func (lz *LazyInstruction) GetShortVerboseName() string

func (*LazyInstruction) GetSourceCode

func (lz *LazyInstruction) GetSourceCode() string

func (*LazyInstruction) GetSourceCodeContext

func (lz *LazyInstruction) GetSourceCodeContext(n int) string

func (*LazyInstruction) GetStringMember

func (lz *LazyInstruction) GetStringMember(n string) (Value, bool)

func (*LazyInstruction) GetType

func (lz *LazyInstruction) GetType() Type

func (*LazyInstruction) GetUsers

func (lz *LazyInstruction) GetUsers() Users

func (*LazyInstruction) GetValues

func (lz *LazyInstruction) GetValues() Values

func (*LazyInstruction) GetVariable

func (lz *LazyInstruction) GetVariable(n string) *Variable

func (*LazyInstruction) GetVerboseName

func (lz *LazyInstruction) GetVerboseName() string

func (*LazyInstruction) HasUsers

func (lz *LazyInstruction) HasUsers() bool

func (*LazyInstruction) HasValues

func (lz *LazyInstruction) HasValues() bool

func (*LazyInstruction) IsAnnotation

func (lz *LazyInstruction) IsAnnotation() bool

func (*LazyInstruction) IsBlock

func (lz *LazyInstruction) IsBlock(name string) bool

func (*LazyInstruction) IsCFGEnterBlock

func (lz *LazyInstruction) IsCFGEnterBlock() ([]Instruction, bool)

func (*LazyInstruction) IsExtern

func (lz *LazyInstruction) IsExtern() bool

func (*LazyInstruction) IsLazy

func (lz *LazyInstruction) IsLazy() bool

func (*LazyInstruction) IsMember

func (lz *LazyInstruction) IsMember() bool

func (*LazyInstruction) IsObject

func (lz *LazyInstruction) IsObject() bool

func (*LazyInstruction) IsUndefined

func (lz *LazyInstruction) IsUndefined() bool

func (*LazyInstruction) Masked

func (lz *LazyInstruction) Masked() bool

func (*LazyInstruction) NewError

func (lz *LazyInstruction) NewError(e ErrorKind, t ErrorTag, msg string)

func (*LazyInstruction) Reference

func (lz *LazyInstruction) Reference() Values

func (*LazyInstruction) ReplaceValue

func (lz *LazyInstruction) ReplaceValue(v1, v2 Value)

func (*LazyInstruction) Self

func (lz *LazyInstruction) Self() Instruction

func (*LazyInstruction) SelfDelete

func (lz *LazyInstruction) SelfDelete()

func (*LazyInstruction) SetBlock

func (lz *LazyInstruction) SetBlock(b *BasicBlock)

func (*LazyInstruction) SetExtern

func (lz *LazyInstruction) SetExtern(extern bool)

func (*LazyInstruction) SetFunc

func (lz *LazyInstruction) SetFunc(f *Function)

func (*LazyInstruction) SetId

func (lz *LazyInstruction) SetId(id int64)

func (*LazyInstruction) SetIsAnnotation

func (lz *LazyInstruction) SetIsAnnotation(b bool)

func (*LazyInstruction) SetKey

func (lz *LazyInstruction) SetKey(v Value)

func (*LazyInstruction) SetName

func (lz *LazyInstruction) SetName(name string)

func (*LazyInstruction) SetObject

func (lz *LazyInstruction) SetObject(v Value)

func (*LazyInstruction) SetRange

func (lz *LazyInstruction) SetRange(r *Range)

func (*LazyInstruction) SetType

func (lz *LazyInstruction) SetType(t Type)

func (*LazyInstruction) SetVerboseName

func (lz *LazyInstruction) SetVerboseName(name string)

func (*LazyInstruction) ShouldSave

func (lz *LazyInstruction) ShouldSave() bool

func (*LazyInstruction) String

func (lz *LazyInstruction) String() string

type LazyScope

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

func (*LazyScope) AssignVariable

func (l *LazyScope) AssignVariable(v ssautil.VersionedIF[Value], t Value)

func (*LazyScope) Compare

func (l *LazyScope) Compare(s ssautil.ScopedVersionedTableIF[Value]) bool

func (*LazyScope) CoverBy

func (l *LazyScope) CoverBy(s ssautil.ScopedVersionedTableIF[Value])

func (*LazyScope) CreateSubScope

func (l *LazyScope) CreateSubScope() ssautil.ScopedVersionedTableIF[Value]

func (*LazyScope) CreateVariable

func (l *LazyScope) CreateVariable(name string, isLocal bool) ssautil.VersionedIF[Value]

func (*LazyScope) ForEachCapturedVariable

func (l *LazyScope) ForEachCapturedVariable(c ssautil.CaptureVariableHandler[Value])

func (*LazyScope) GetParent

func (l *LazyScope) GetParent() ssautil.ScopedVersionedTableIF[Value]

func (*LazyScope) GetPersistentId

func (l *LazyScope) GetPersistentId() int64

func (*LazyScope) GetPersistentProgramName

func (l *LazyScope) GetPersistentProgramName() string

func (*LazyScope) GetScopeLevel

func (l *LazyScope) GetScopeLevel() int

func (*LazyScope) GetThis

func (l *LazyScope) GetThis() ssautil.ScopedVersionedTableIF[Value]

func (*LazyScope) GetVariableFromValue

func (l *LazyScope) GetVariableFromValue(t Value) ssautil.VersionedIF[Value]

func (*LazyScope) IsSameOrSubScope

func (l *LazyScope) IsSameOrSubScope(s ssautil.ScopedVersionedTableIF[Value]) bool

func (*LazyScope) Merge

func (l *LazyScope) Merge(b bool, m ssautil.MergeHandle[Value], s ...ssautil.ScopedVersionedTableIF[Value])

func (*LazyScope) ReadValue

func (l *LazyScope) ReadValue(name string) Value

func (*LazyScope) ReadVariable

func (l *LazyScope) ReadVariable(name string) ssautil.VersionedIF[Value]

func (*LazyScope) SaveToDatabase

func (l *LazyScope) SaveToDatabase() error

func (*LazyScope) SetCapturedVariable

func (l *LazyScope) SetCapturedVariable(s string, v ssautil.VersionedIF[Value])

func (*LazyScope) SetParent

func (l *LazyScope) SetParent(s ssautil.ScopedVersionedTableIF[Value])

func (*LazyScope) SetPersistentId

func (l *LazyScope) SetPersistentId(i int64)

func (*LazyScope) SetPersistentNode

func (l *LazyScope) SetPersistentNode(node *ssadb.IrScopeNode)

func (*LazyScope) SetSpin

func (l *LazyScope) SetSpin(f func(string) Value)

func (*LazyScope) SetThis

func (l *LazyScope) SetThis(s ssautil.ScopedVersionedTableIF[Value])

func (*LazyScope) Spin

func (l *LazyScope) Spin(s ssautil.ScopedVersionedTableIF[Value], s2 ssautil.ScopedVersionedTableIF[Value], s3 ssautil.SpinHandle[Value])

type Loop

type Loop struct {
	Body, Exit *BasicBlock

	Init, Cond, Step Value
	Key              Value
	// contains filtered or unexported fields
}

----------- For for loop

func NewLoop

func NewLoop(cond Value) *Loop

func (*Loop) Finish

func (l *Loop) Finish(init, step []Value)

func (*Loop) GetBlock

func (a *Loop) GetBlock() *BasicBlock

func (*Loop) GetFunc

func (a *Loop) GetFunc() *Function

func (*Loop) GetId

func (a *Loop) GetId() int64

func (*Loop) GetName

func (a *Loop) GetName() string

func (*Loop) GetOpcode

func (i *Loop) GetOpcode() Opcode

func (*Loop) GetProgram

func (a *Loop) GetProgram() *Program

func (*Loop) GetRange

func (c *Loop) GetRange() *Range

source code position

func (*Loop) GetShortVerboseName

func (i *Loop) GetShortVerboseName() string

func (*Loop) GetSourceCode

func (v *Loop) GetSourceCode() string

func (*Loop) GetSourceCodeContext

func (v *Loop) GetSourceCodeContext(n int) string

func (*Loop) GetUsers

func (r *Loop) GetUsers() Users

func (*Loop) GetValues

func (l *Loop) GetValues() Values

func (*Loop) GetVerboseName

func (i *Loop) GetVerboseName() string

func (*Loop) HasUsers

func (r *Loop) HasUsers() bool

func (*Loop) HasValues

func (l *Loop) HasValues() bool

----------- Loop

func (*Loop) IsAnnotation

func (a *Loop) IsAnnotation() bool

func (*Loop) IsBlock

func (i *Loop) IsBlock(name string) bool

func (*Loop) IsCFGEnterBlock

func (i *Loop) IsCFGEnterBlock() ([]Instruction, bool)

func (*Loop) IsExtern

func (c *Loop) IsExtern() bool

func (*Loop) IsLazy

func (i *Loop) IsLazy() bool

func (*Loop) IsUndefined

func (i *Loop) IsUndefined() bool

func (*Loop) LineDisasm

func (a *Loop) LineDisasm() string

func (*Loop) NewError

func (c *Loop) NewError(kind ErrorKind, tag ErrorTag, msg string)

error logger

func (*Loop) ReplaceValue

func (l *Loop) ReplaceValue(v Value, to Value)

func (*Loop) Self

func (i *Loop) Self() Instruction

func (*Loop) SelfDelete

func (i *Loop) SelfDelete()

func (*Loop) SetBlock

func (a *Loop) SetBlock(block *BasicBlock)

func (*Loop) SetExtern

func (c *Loop) SetExtern(b bool)

func (*Loop) SetFunc

func (a *Loop) SetFunc(f *Function)

ssa function and block

func (*Loop) SetId

func (a *Loop) SetId(id int64)

id

func (*Loop) SetIsAnnotation

func (a *Loop) SetIsAnnotation(b bool)

func (*Loop) SetName

func (a *Loop) SetName(v string)

variable

func (*Loop) SetRange

func (c *Loop) SetRange(pos *Range)

func (*Loop) SetVerboseName

func (i *Loop) SetVerboseName(verbose string)

func (*Loop) String

func (l *Loop) String() string

----------- Loop

type LoopBuilder

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

enter:

       ...
	    // for first expression in here
     jump loop.header

loop.header: <- enter, loop.latch

// for stmt cond in here
If [cond] true -> loop.body, false -> loop.exit

loop.body: <- loop.header

// for body block in here

loop.latch: <- loop.body (target of continue)

// for third expr in here
jump loop.header

loop.exit: <- loop.header (target of break)

jump rest

rest:

...rest.code....

LoopBuilder is a builder for loop statement

func (*LoopBuilder) Finish

func (lb *LoopBuilder) Finish()

func (*LoopBuilder) SetBody

func (lb *LoopBuilder) SetBody(f func())

SetBody : Loop Body

func (*LoopBuilder) SetCondition

func (lb *LoopBuilder) SetCondition(f func() Value)

SetCondition : Loop Condition

func (*LoopBuilder) SetFirst

func (lb *LoopBuilder) SetFirst(f func() []Value)

SetFirst : Loop First Expression

func (*LoopBuilder) SetThird

func (lb *LoopBuilder) SetThird(f func() []Value)

SetThird : Loop Third Expression

type Make

type Make struct {

	// when slice or map
	Len, Cap Value
	// contains filtered or unexported fields
}

----------- Make

func NewMake

func NewMake(parentI Value, typ Type, low, high, step, Len, Cap Value) *Make

func ToMake

func ToMake(v Instruction) (*Make, bool)

func (*Make) AddMask

func (i *Make) AddMask(v Value)

func (*Make) AddMember

func (n *Make) AddMember(k, v Value)

func (*Make) AddReference

func (i *Make) AddReference(v Value)

func (*Make) AddUser

func (n *Make) AddUser(u User)

for Value

func (*Make) AddVariable

func (a *Make) AddVariable(v *Variable)

func (*Make) DeleteMember

func (n *Make) DeleteMember(k Value)

func (*Make) ForEachMember

func (n *Make) ForEachMember(fn func(Value, Value) bool)

func (*Make) GetAllMember

func (n *Make) GetAllMember() map[Value]Value

func (*Make) GetAllVariables

func (a *Make) GetAllVariables() map[string]*Variable

func (*Make) GetIndexMember

func (n *Make) GetIndexMember(i int) (Value, bool)

func (*Make) GetKey

func (n *Make) GetKey() Value

func (*Make) GetLastVariable

func (a *Make) GetLastVariable() *Variable

func (*Make) GetMask

func (i *Make) GetMask() []Value

func (*Make) GetMember

func (n *Make) GetMember(key Value) (Value, bool)

func (*Make) GetObject

func (n *Make) GetObject() Value

func (*Make) GetOpcode

func (i *Make) GetOpcode() Opcode

func (*Make) GetStringMember

func (n *Make) GetStringMember(key string) (Value, bool)

func (*Make) GetType

func (n *Make) GetType() Type

for Value : type

func (*Make) GetUsers

func (n *Make) GetUsers() Users

func (*Make) GetValues

func (i *Make) GetValues() Values

func (*Make) GetVariable

func (a *Make) GetVariable(name string) *Variable

func (*Make) HasUsers

func (n *Make) HasUsers() bool

has/get user and value

func (*Make) HasValues

func (i *Make) HasValues() bool

// ----------- Make

func (*Make) IsMember

func (n *Make) IsMember() bool

func (*Make) IsObject

func (n *Make) IsObject() bool

func (*Make) Masked

func (i *Make) Masked() bool

func (*Make) Reference

func (i *Make) Reference() Values

func (*Make) RemoveUser

func (n *Make) RemoveUser(u User)

func (*Make) ReplaceValue

func (i *Make) ReplaceValue(v, to Value)

func (*Make) SetKey

func (n *Make) SetKey(k Value)

func (*Make) SetObject

func (n *Make) SetObject(v Value)

func (*Make) SetType

func (n *Make) SetType(typ Type)

func (*Make) String

func (i *Make) String() string

----------- Interface

type Maskable

type Maskable interface {
	AddMask(Value)
	GetMask() []Value
	Masked() bool
}

type MemberCall

type MemberCall interface {
	// object  member caller
	IsObject() bool
	AddMember(Value, Value)
	GetMember(Value) (Value, bool)
	GetIndexMember(int) (Value, bool)
	GetStringMember(string) (Value, bool)
	DeleteMember(Value)            // delete by key
	GetAllMember() map[Value]Value // map[key]value
	ForEachMember(func(k Value, v Value) bool)

	// member, member callee
	IsMember() bool
	SetObject(Value)
	SetKey(Value)
	GetKey() Value
	GetObject() Value
}

type MethodBuilder

type MethodBuilder interface {
	Build(Type, string) *Function
	GetMethodNames(Type) []string
}

var ExternMethodBuilder MethodBuilder

type NameDisasmLiner

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

func NewNameDisasmLiner

func NewNameDisasmLiner() *NameDisasmLiner

func (*NameDisasmLiner) AddLevel

func (n *NameDisasmLiner) AddLevel() bool

func (NameDisasmLiner) DeleteName

func (b NameDisasmLiner) DeleteName(i Instruction)

func (*NameDisasmLiner) DisasmValue

func (n *NameDisasmLiner) DisasmValue(v Instruction) string

func (NameDisasmLiner) GetName

func (b NameDisasmLiner) GetName(i Instruction) (string, bool)

func (NameDisasmLiner) SetName

func (b NameDisasmLiner) SetName(i Instruction, name string)

func (*NameDisasmLiner) SkipLevelChecking

func (b *NameDisasmLiner) SkipLevelChecking() bool

type Next

type Next struct {
	Iter   Value
	InNext bool // "in" grammar
	// contains filtered or unexported fields
}

------------- Next

func NewNext

func NewNext(iter Value, isIn bool) *Next

func (*Next) AddMask

func (i *Next) AddMask(v Value)

func (*Next) AddMember

func (n *Next) AddMember(k, v Value)

func (*Next) AddReference

func (i *Next) AddReference(v Value)

func (*Next) AddUser

func (n *Next) AddUser(u User)

for Value

func (*Next) AddVariable

func (a *Next) AddVariable(v *Variable)

func (*Next) DeleteMember

func (n *Next) DeleteMember(k Value)

func (*Next) ForEachMember

func (n *Next) ForEachMember(fn func(Value, Value) bool)

func (*Next) GetAllMember

func (n *Next) GetAllMember() map[Value]Value

func (*Next) GetAllVariables

func (a *Next) GetAllVariables() map[string]*Variable

func (*Next) GetIndexMember

func (n *Next) GetIndexMember(i int) (Value, bool)

func (*Next) GetKey

func (n *Next) GetKey() Value

func (*Next) GetLastVariable

func (a *Next) GetLastVariable() *Variable

func (*Next) GetMask

func (i *Next) GetMask() []Value

func (*Next) GetMember

func (n *Next) GetMember(key Value) (Value, bool)

func (*Next) GetObject

func (n *Next) GetObject() Value

func (*Next) GetOpcode

func (i *Next) GetOpcode() Opcode

func (*Next) GetStringMember

func (n *Next) GetStringMember(key string) (Value, bool)

func (*Next) GetType

func (n *Next) GetType() Type

for Value : type

func (*Next) GetUsers

func (n *Next) GetUsers() Users

func (*Next) GetValues

func (n *Next) GetValues() Values

func (*Next) GetVariable

func (a *Next) GetVariable(name string) *Variable

func (*Next) HasUsers

func (n *Next) HasUsers() bool

has/get user and value

func (*Next) HasValues

func (n *Next) HasValues() bool

// ----------- Next

func (*Next) IsMember

func (n *Next) IsMember() bool

func (*Next) IsObject

func (n *Next) IsObject() bool

func (*Next) Masked

func (i *Next) Masked() bool

func (*Next) Reference

func (i *Next) Reference() Values

func (*Next) RemoveUser

func (n *Next) RemoveUser(u User)

func (*Next) ReplaceValue

func (n *Next) ReplaceValue(v, to Value)

func (*Next) SetKey

func (n *Next) SetKey(k Value)

func (*Next) SetObject

func (n *Next) SetObject(v Value)

func (*Next) SetType

func (n *Next) SetType(typ Type)

func (*Next) String

func (n *Next) String() string

type Node

type Node interface {
	// string
	String() string

	// for graph
	HasUsers() bool
	GetUsers() Users
	HasValues() bool
	GetValues() Values
	IsUndefined() bool
}

data-flow

func ToNode

func ToNode(a any) (Node, bool)

for DataFlowNode cover

type ObjectType

type ObjectType struct {
	Name string

	Kind TypeKind
	Len  int
	Keys []Value

	FieldTypes []Type

	AnonymousField []*ObjectType

	Combination bool // function multiple return will combined to struct

	KeyTyp    Type
	FieldType Type
	// contains filtered or unexported fields
}

==================== interface type

func NewMapType

func NewMapType(key, field Type) *ObjectType

func NewObjectType

func NewObjectType() *ObjectType

func NewSliceType

func NewSliceType(elem Type) *ObjectType

for slice build

func NewStructType

func NewStructType() *ObjectType

func ToObjectType

func ToObjectType(t Type) (*ObjectType, bool)

func (*ObjectType) AddField

func (s *ObjectType) AddField(key Value, field Type)

for struct build

func (*ObjectType) AddMethod

func (b *ObjectType) AddMethod(id string, f *Function)

func (*ObjectType) Finish

func (s *ObjectType) Finish()

===================== Finish simply

func (*ObjectType) GetField

func (s *ObjectType) GetField(key Value) Type

return (field-type, key-type)

func (*ObjectType) GetMethod

func (i *ObjectType) GetMethod() map[string]*Function

func (*ObjectType) GetTypeKind

func (i *ObjectType) GetTypeKind() TypeKind

func (*ObjectType) PkgPathString

func (i *ObjectType) PkgPathString() string

func (*ObjectType) RawString

func (itype *ObjectType) RawString() string

func (*ObjectType) SetMethod

func (i *ObjectType) SetMethod(m map[string]*Function)

func (*ObjectType) SetName

func (i *ObjectType) SetName(name string)

func (*ObjectType) SetPkgPath

func (i *ObjectType) SetPkgPath(pkg string)

func (*ObjectType) SetTypeKind

func (i *ObjectType) SetTypeKind(t TypeKind)

func (*ObjectType) String

func (itype *ObjectType) String() string

type OffsetItem

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

func (*OffsetItem) GetValue

func (item *OffsetItem) GetValue() Value

func (*OffsetItem) GetVariable

func (item *OffsetItem) GetVariable() *Variable

type Opcode

type Opcode int

const (
	SSAOpcodeUnKnow Opcode = iota
	SSAOpcodeAssert
	SSAOpcodeBasicBlock
	SSAOpcodeBinOp
	SSAOpcodeCall
	SSAOpcodeConstInst
	SSAOpcodeErrorHandler
	SSAOpcodeExternLib
	SSAOpcodeIf
	SSAOpcodeJump
	SSAOpcodeLoop
	SSAOpcodeMake
	SSAOpcodeNext
	SSAOpcodePanic
	SSAOpcodeParameter
	SSAOpcodeFreeValue
	SSAOpcodeParameterMember
	SSAOpcodePhi
	SSAOpcodeRecover
	SSAOpcodeReturn
	SSAOpcodeSideEffect
	SSAOpcodeSwitch
	SSAOpcodeTypeCast
	SSAOpcodeTypeValue
	SSAOpcodeUnOp
	SSAOpcodeUndefined
	SSAOpcodeFunction
)

type OrType

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

====================== or type

func NewOrType

func NewOrType(types ...Type) *OrType

func (*OrType) AddMethod

func (b *OrType) AddMethod(id string, f *Function)

func (*OrType) GetMethod

func (c *OrType) GetMethod() map[string]*Function

func (*OrType) GetTypeKind

func (c *OrType) GetTypeKind() TypeKind

func (*OrType) GetTypes

func (c *OrType) GetTypes() Types

func (OrType) PkgPathString

func (c OrType) PkgPathString() string

func (OrType) RawString

func (c OrType) RawString() string

func (*OrType) SetMethod

func (c *OrType) SetMethod(m map[string]*Function)

func (OrType) String

func (c OrType) String() string

type Panic

type Panic struct {
	Info Value
	// contains filtered or unexported fields
}

-------------- PANIC

func (*Panic) AddMask

func (i *Panic) AddMask(v Value)

func (*Panic) AddMember

func (n *Panic) AddMember(k, v Value)

func (*Panic) AddReference

func (i *Panic) AddReference(v Value)

func (*Panic) AddUser

func (n *Panic) AddUser(u User)

for Value

func (*Panic) AddVariable

func (a *Panic) AddVariable(v *Variable)

func (*Panic) DeleteMember

func (n *Panic) DeleteMember(k Value)

func (*Panic) ForEachMember

func (n *Panic) ForEachMember(fn func(Value, Value) bool)

func (*Panic) GetAllMember

func (n *Panic) GetAllMember() map[Value]Value

func (*Panic) GetAllVariables

func (a *Panic) GetAllVariables() map[string]*Variable

func (*Panic) GetIndexMember

func (n *Panic) GetIndexMember(i int) (Value, bool)

func (*Panic) GetKey

func (n *Panic) GetKey() Value

func (*Panic) GetLastVariable

func (a *Panic) GetLastVariable() *Variable

func (*Panic) GetMask

func (i *Panic) GetMask() []Value

func (*Panic) GetMember

func (n *Panic) GetMember(key Value) (Value, bool)

func (*Panic) GetObject

func (n *Panic) GetObject() Value

func (*Panic) GetOpcode

func (i *Panic) GetOpcode() Opcode

func (*Panic) GetStringMember

func (n *Panic) GetStringMember(key string) (Value, bool)

func (*Panic) GetType

func (n *Panic) GetType() Type

for Value : type

func (*Panic) GetUsers

func (n *Panic) GetUsers() Users

func (*Panic) GetValues

func (p *Panic) GetValues() Values

func (*Panic) GetVariable

func (a *Panic) GetVariable(name string) *Variable

func (*Panic) HasUsers

func (n *Panic) HasUsers() bool

has/get user and value

func (*Panic) HasValues

func (p *Panic) HasValues() bool

------------- PANIC

func (*Panic) IsMember

func (n *Panic) IsMember() bool

func (*Panic) IsObject

func (n *Panic) IsObject() bool

func (*Panic) Masked

func (i *Panic) Masked() bool

func (*Panic) Reference

func (i *Panic) Reference() Values

func (*Panic) RemoveUser

func (n *Panic) RemoveUser(u User)

func (*Panic) ReplaceValue

func (p *Panic) ReplaceValue(v, to Value)

func (*Panic) SetKey

func (n *Panic) SetKey(k Value)

func (*Panic) SetObject

func (n *Panic) SetObject(v Value)

func (*Panic) SetType

func (n *Panic) SetType(typ Type)

func (*Panic) String

func (p *Panic) String() string

type Parameter

type Parameter struct {

	// for FreeValue
	IsFreeValue bool

	// Parameter Index
	FormalParameterIndex int
	// contains filtered or unexported fields
}

----------- Parameter

func NewParam

func NewParam(variable string, isFreeValue bool, builder *FunctionBuilder) *Parameter

func ToFreeValue

func ToFreeValue(n Node) (*Parameter, bool)

func ToParameter

func ToParameter(v Instruction) (*Parameter, bool)

func (*Parameter) AddMask

func (i *Parameter) AddMask(v Value)

func (*Parameter) AddMember

func (n *Parameter) AddMember(k, v Value)

func (*Parameter) AddReference

func (i *Parameter) AddReference(v Value)

func (*Parameter) AddUser

func (n *Parameter) AddUser(u User)

for Value

func (*Parameter) AddVariable

func (a *Parameter) AddVariable(v *Variable)

func (*Parameter) Copy

func (p *Parameter) Copy() *Parameter

func (*Parameter) DeleteMember

func (n *Parameter) DeleteMember(k Value)

func (*Parameter) ForEachMember

func (n *Parameter) ForEachMember(fn func(Value, Value) bool)

func (*Parameter) GetAllMember

func (n *Parameter) GetAllMember() map[Value]Value

func (*Parameter) GetAllVariables

func (a *Parameter) GetAllVariables() map[string]*Variable

func (*Parameter) GetDefault

func (p *Parameter) GetDefault() Value

func (*Parameter) GetIndexMember

func (n *Parameter) GetIndexMember(i int) (Value, bool)

func (*Parameter) GetKey

func (n *Parameter) GetKey() Value

func (*Parameter) GetLastVariable

func (a *Parameter) GetLastVariable() *Variable

func (*Parameter) GetMask

func (i *Parameter) GetMask() []Value

func (*Parameter) GetMember

func (n *Parameter) GetMember(key Value) (Value, bool)

func (*Parameter) GetObject

func (n *Parameter) GetObject() Value

func (*Parameter) GetOpcode

func (i *Parameter) GetOpcode() Opcode

func (*Parameter) GetStringMember

func (n *Parameter) GetStringMember(key string) (Value, bool)

func (*Parameter) GetType

func (n *Parameter) GetType() Type

for Value : type

func (*Parameter) GetUsers

func (n *Parameter) GetUsers() Users

func (*Parameter) GetValues

func (p *Parameter) GetValues() Values

func (*Parameter) GetVariable

func (a *Parameter) GetVariable(name string) *Variable

func (*Parameter) HasUsers

func (n *Parameter) HasUsers() bool

has/get user and value

func (*Parameter) HasValues

func (p *Parameter) HasValues() bool

// ----------- param

func (*Parameter) IsMember

func (n *Parameter) IsMember() bool

func (*Parameter) IsObject

func (n *Parameter) IsObject() bool

func (*Parameter) Masked

func (i *Parameter) Masked() bool

func (*Parameter) Reference

func (i *Parameter) Reference() Values

func (*Parameter) RemoveUser

func (n *Parameter) RemoveUser(u User)

func (*Parameter) SetDefault

func (p *Parameter) SetDefault(v Value)

func (*Parameter) SetKey

func (n *Parameter) SetKey(k Value)

func (*Parameter) SetObject

func (n *Parameter) SetObject(v Value)

func (*Parameter) SetType

func (n *Parameter) SetType(typ Type)

func (*Parameter) String

func (p *Parameter) String() string

type ParameterMember

type ParameterMember struct {
	FormalParameterIndex int
	// contains filtered or unexported fields
}

func NewParamMember

func NewParamMember(variable string, builder *FunctionBuilder, obj *Parameter, key Value) *ParameterMember

func ToParameterMember

func ToParameterMember(v Instruction) (*ParameterMember, bool)

func (*ParameterMember) AddMask

func (i *ParameterMember) AddMask(v Value)

func (*ParameterMember) AddMember

func (n *ParameterMember) AddMember(k, v Value)

func (*ParameterMember) AddReference

func (i *ParameterMember) AddReference(v Value)

func (*ParameterMember) AddUser

func (n *ParameterMember) AddUser(u User)

for Value

func (*ParameterMember) AddVariable

func (a *ParameterMember) AddVariable(v *Variable)

func (*ParameterMember) DeleteMember

func (n *ParameterMember) DeleteMember(k Value)

func (*ParameterMember) ForEachMember

func (n *ParameterMember) ForEachMember(fn func(Value, Value) bool)

func (ParameterMember) Get

func (p ParameterMember) Get(c *Call) (obj Value, ok bool)

func (*ParameterMember) GetAllMember

func (n *ParameterMember) GetAllMember() map[Value]Value

func (*ParameterMember) GetAllVariables

func (a *ParameterMember) GetAllVariables() map[string]*Variable

func (*ParameterMember) GetIndexMember

func (n *ParameterMember) GetIndexMember(i int) (Value, bool)

func (*ParameterMember) GetKey

func (n *ParameterMember) GetKey() Value

func (*ParameterMember) GetLastVariable

func (a *ParameterMember) GetLastVariable() *Variable

func (*ParameterMember) GetMask

func (i *ParameterMember) GetMask() []Value

func (*ParameterMember) GetMember

func (n *ParameterMember) GetMember(key Value) (Value, bool)

func (*ParameterMember) GetObject

func (n *ParameterMember) GetObject() Value

func (*ParameterMember) GetOpcode

func (i *ParameterMember) GetOpcode() Opcode

func (*ParameterMember) GetStringMember

func (n *ParameterMember) GetStringMember(key string) (Value, bool)

func (*ParameterMember) GetType

func (n *ParameterMember) GetType() Type

for Value : type

func (*ParameterMember) GetUsers

func (n *ParameterMember) GetUsers() Users

func (*ParameterMember) GetValues

func (p *ParameterMember) GetValues() Values

func (*ParameterMember) GetVariable

func (a *ParameterMember) GetVariable(name string) *Variable

func (*ParameterMember) HasUsers

func (n *ParameterMember) HasUsers() bool

has/get user and value

func (*ParameterMember) HasValues

func (p *ParameterMember) HasValues() bool

func (*ParameterMember) IsMember

func (n *ParameterMember) IsMember() bool

func (*ParameterMember) IsObject

func (n *ParameterMember) IsObject() bool

func (*ParameterMember) Masked

func (i *ParameterMember) Masked() bool

func (*ParameterMember) Reference

func (i *ParameterMember) Reference() Values

func (*ParameterMember) RemoveUser

func (n *ParameterMember) RemoveUser(u User)

func (*ParameterMember) SetKey

func (n *ParameterMember) SetKey(k Value)

func (*ParameterMember) SetObject

func (n *ParameterMember) SetObject(v Value)

func (*ParameterMember) SetType

func (n *ParameterMember) SetType(typ Type)

func (*ParameterMember) String

func (p *ParameterMember) String() string

----------- Parameter

type ParameterMemberCallKind

type ParameterMemberCallKind int

const (
	NoMemberCall ParameterMemberCallKind = iota
	ParameterMemberCall
	FreeValueMemberCall
)

type ParentScope

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

func (*ParentScope) Create

func (p *ParentScope) Create(scope ScopeIF) *ParentScope

type Phi

type Phi struct {
	CFGEntryBasicBlock Value

	Edge []Value // edge[i] from phi.Block.Preds[i]
	// contains filtered or unexported fields
}

----------- Phi

func NewPhi

func NewPhi(block *BasicBlock, variable string) *Phi

func ToPhi

func ToPhi(v Instruction) (*Phi, bool)

func (*Phi) AddMask

func (i *Phi) AddMask(v Value)

func (*Phi) AddMember

func (n *Phi) AddMember(k, v Value)

func (*Phi) AddReference

func (i *Phi) AddReference(v Value)

func (*Phi) AddUser

func (n *Phi) AddUser(u User)

for Value

func (*Phi) AddVariable

func (a *Phi) AddVariable(v *Variable)

func (*Phi) DeleteMember

func (n *Phi) DeleteMember(k Value)

func (*Phi) ForEachMember

func (n *Phi) ForEachMember(fn func(Value, Value) bool)

func (*Phi) GetAllMember

func (n *Phi) GetAllMember() map[Value]Value

func (*Phi) GetAllVariables

func (a *Phi) GetAllVariables() map[string]*Variable

func (*Phi) GetControlFlowConditions

func (p *Phi) GetControlFlowConditions() []Value

func (*Phi) GetIndexMember

func (n *Phi) GetIndexMember(i int) (Value, bool)

func (*Phi) GetKey

func (n *Phi) GetKey() Value

func (*Phi) GetLastVariable

func (a *Phi) GetLastVariable() *Variable

func (*Phi) GetMask

func (i *Phi) GetMask() []Value

func (*Phi) GetMember

func (n *Phi) GetMember(key Value) (Value, bool)

func (*Phi) GetObject

func (n *Phi) GetObject() Value

func (*Phi) GetOpcode

func (i *Phi) GetOpcode() Opcode

func (*Phi) GetStringMember

func (n *Phi) GetStringMember(key string) (Value, bool)

func (*Phi) GetType

func (n *Phi) GetType() Type

for Value : type

func (*Phi) GetUsers

func (n *Phi) GetUsers() Users

func (*Phi) GetValues

func (p *Phi) GetValues() Values

func (*Phi) GetVariable

func (a *Phi) GetVariable(name string) *Variable

func (*Phi) HasUsers

func (n *Phi) HasUsers() bool

has/get user and value

func (*Phi) HasValues

func (p *Phi) HasValues() bool

----------- Phi

func (*Phi) IsMember

func (n *Phi) IsMember() bool

func (*Phi) IsObject

func (n *Phi) IsObject() bool

func (*Phi) Masked

func (i *Phi) Masked() bool

func (*Phi) Reference

func (i *Phi) Reference() Values

func (*Phi) RemoveUser

func (n *Phi) RemoveUser(u User)

func (*Phi) ReplaceValue

func (p *Phi) ReplaceValue(v Value, to Value)

func (*Phi) SetKey

func (n *Phi) SetKey(k Value)

func (*Phi) SetObject

func (n *Phi) SetObject(v Value)

func (*Phi) SetType

func (n *Phi) SetType(typ Type)

func (*Phi) String

func (p *Phi) String() string

----------- Phi

type Position

type Position struct {
	Editor *memedit.MemEditor
	Line   int64
	Column int64
}

func NewPosition

func NewPosition(line, column int64) *Position

func (*Position) Compare

func (p *Position) Compare(other *Position) int

func (*Position) GetColumn

func (p *Position) GetColumn() int

func (*Position) GetLine

func (p *Position) GetLine() int

func (*Position) String

func (p *Position) String() string

type Program

type Program struct {
	// package list
	Name        string
	Version     string
	ProgramKind ProgramKind // is library or application

	// from pom.xml file
	SCAPackages []*dxtypes.Package
	ExtraFile   map[string]string // filename and data

	Application *Program // current Application
	// program relationship
	DownStream map[string]*Program
	UpStream   map[string]*Program

	EnableDatabase bool // for compile, whether use database

	FileList map[string]string // file-name and file hash

	Cache *Cache

	// function list
	Funcs map[string]*Function

	// class blue print
	ClassBluePrint map[string]*ClassBluePrint

	// offset
	OffsetMap         map[int]*OffsetItem
	OffsetSortedSlice []int

	// package Loader
	Loader *ssautil.PackageFileLoader
	Build  Build

	ExternInstance map[string]any
	ExternLib      map[string]map[string]any
	// contains filtered or unexported fields
}

both instruction and value

func GetProgram

func GetProgram(program string, kind ProgramKind) (*Program, error)

func NewProgram

func NewProgram(ProgramName string, enableDatabase bool, kind ProgramKind, fs filesys.FileSystem, programPath string) *Program

func NewProgramFromDB

func NewProgramFromDB(p *ssadb.IrProgram) *Program

func (*Program) AddError

func (prog *Program) AddError(err *SSAError)

func (*Program) BuildValueFromAny

func (prog *Program) BuildValueFromAny(b *FunctionBuilder, id string, v any) (value Value)

func (*Program) CoverReflectFunctionType

func (prog *Program) CoverReflectFunctionType(itype reflect.Type, level int) *FunctionType

func (*Program) DeleteInstruction

func (p *Program) DeleteInstruction(inst Instruction)

func (*Program) EachFunction

func (prog *Program) EachFunction(handler func(*Function))

func (*Program) Finish

func (prog *Program) Finish()

func (*Program) ForceSetOffsetValue

func (prog *Program) ForceSetOffsetValue(v Value, r *Range)

func (*Program) GetAndCreateFunction

func (prog *Program) GetAndCreateFunction(pkgName string, funcName string) *Function

func (*Program) GetAndCreateFunctionBuilder

func (prog *Program) GetAndCreateFunctionBuilder(pkgName string, funcName string) *FunctionBuilder

create or get main function builder

func (*Program) GetCacheExternInstance

func (prog *Program) GetCacheExternInstance(name string) (Value, bool)

func (*Program) GetClassBluePrint

func (pkg *Program) GetClassBluePrint(name string) *ClassBluePrint

func (*Program) GetCurrentEditor

func (p *Program) GetCurrentEditor() *memedit.MemEditor

func (*Program) GetEditor

func (p *Program) GetEditor(url string) (*memedit.MemEditor, bool)

func (*Program) GetErrors

func (prog *Program) GetErrors() SSAErrors

func (*Program) GetFrontValueByOffset

func (prog *Program) GetFrontValueByOffset(searchOffset int) (offset int, value Value)

func (*Program) GetFunction

func (p *Program) GetFunction(name string) *Function

func (*Program) GetIncludeFiles

func (p *Program) GetIncludeFiles() []string

func (*Program) GetInstructionById

func (p *Program) GetInstructionById(id int64) Instruction

func (*Program) GetLibrary

func (prog *Program) GetLibrary(name string) (*Program, bool)

func (*Program) GetProgramName

func (prog *Program) GetProgramName() string

func (*Program) NewFunction

func (p *Program) NewFunction(name string) *Function

func (*Program) NewFunctionWithParent

func (p *Program) NewFunctionWithParent(name string, parent *Function) *Function

func (*Program) NewLibrary

func (prog *Program) NewLibrary(name string, path []string) *Program

func (*Program) PopEditor

func (p *Program) PopEditor()

func (*Program) PushEditor

func (p *Program) PushEditor(e *memedit.MemEditor)

func (*Program) RemoveInstructionInVariable

func (p *Program) RemoveInstructionInVariable(name string, i Instruction)

func (*Program) SearchIndexAndOffsetByOffset

func (prog *Program) SearchIndexAndOffsetByOffset(searchOffset int) (index int, offset int)

func (*Program) SetCacheExternInstance

func (prog *Program) SetCacheExternInstance(name string, v Value)

func (*Program) SetInstructionWithName

func (p *Program) SetInstructionWithName(name string, i Instruction)

func (*Program) SetOffsetValue

func (prog *Program) SetOffsetValue(v Value, r *Range)

func (*Program) SetOffsetValueEx

func (prog *Program) SetOffsetValueEx(v Value, r *Range, force bool)

func (*Program) SetOffsetVariable

func (prog *Program) SetOffsetVariable(v *Variable, r *Range)

func (*Program) SetVirtualRegister

func (p *Program) SetVirtualRegister(i Instruction)

set virtual register, and this virtual-register will be instruction-id and set to the instruction

func (*Program) Show

func (p *Program) Show() *Program

func (*Program) ShowOffsetMap

func (prog *Program) ShowOffsetMap()

func (*Program) ShowWithSource

func (p *Program) ShowWithSource()

func (*Program) TryBuildExternValue

func (prog *Program) TryBuildExternValue(b *FunctionBuilder, id string) Value

func (*Program) TryGetSimilarityKey

func (prog *Program) TryGetSimilarityKey(name, key string) string

type ProgramKind

type ProgramKind string

const (
	Application ProgramKind = "application"
	Library                 = "library"
)

type Range

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

func GetRange

func GetRange(editor *memedit.MemEditor, token CanStartStopToken) *Range

func NewRange

func NewRange(editor *memedit.MemEditor, startIf, endIf memedit.PositionIf) *Range

func (*Range) Add

func (r *Range) Add(end *Range)

func (*Range) CompareEnd

func (p *Range) CompareEnd(other *Range) int

func (*Range) CompareStart

func (p *Range) CompareStart(other *Range) int

if ret < 0: p before other if ret == 0: p = other if ret > 0: p after other

func (*Range) GetEditor

func (r *Range) GetEditor() *memedit.MemEditor

func (*Range) GetEnd

func (r *Range) GetEnd() memedit.PositionIf

func (*Range) GetEndOffset

func (r *Range) GetEndOffset() int

func (*Range) GetOffset

func (p *Range) GetOffset() int

func (*Range) GetOffsetRange

func (r *Range) GetOffsetRange() (int, int)

func (*Range) GetStart

func (r *Range) GetStart() memedit.PositionIf

func (*Range) GetText

func (p *Range) GetText() string

func (*Range) GetTextContext

func (p *Range) GetTextContext(n int) string

func (*Range) GetTextContextWithPrompt

func (p *Range) GetTextContextWithPrompt(n int, msg ...string) string

func (*Range) GetWordText

func (p *Range) GetWordText() string

func (*Range) Len

func (r *Range) Len() int

func (*Range) String

func (p *Range) String() string

type Recover

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

--------------- RECOVER

func (*Recover) AddMask

func (i *Recover) AddMask(v Value)

func (*Recover) AddMember

func (n *Recover) AddMember(k, v Value)

func (*Recover) AddReference

func (i *Recover) AddReference(v Value)

func (*Recover) AddUser

func (n *Recover) AddUser(u User)

for Value

func (*Recover) AddVariable

func (a *Recover) AddVariable(v *Variable)

func (*Recover) DeleteMember

func (n *Recover) DeleteMember(k Value)

func (*Recover) ForEachMember

func (n *Recover) ForEachMember(fn func(Value, Value) bool)

func (*Recover) GetAllMember

func (n *Recover) GetAllMember() map[Value]Value

func (*Recover) GetAllVariables

func (a *Recover) GetAllVariables() map[string]*Variable

func (*Recover) GetIndexMember

func (n *Recover) GetIndexMember(i int) (Value, bool)

func (*Recover) GetKey

func (n *Recover) GetKey() Value

func (*Recover) GetLastVariable

func (a *Recover) GetLastVariable() *Variable

func (*Recover) GetMask

func (i *Recover) GetMask() []Value

func (*Recover) GetMember

func (n *Recover) GetMember(key Value) (Value, bool)

func (*Recover) GetObject

func (n *Recover) GetObject() Value

func (*Recover) GetOpcode

func (i *Recover) GetOpcode() Opcode

func (*Recover) GetStringMember

func (n *Recover) GetStringMember(key string) (Value, bool)

func (*Recover) GetType

func (n *Recover) GetType() Type

for Value : type

func (*Recover) GetUsers

func (n *Recover) GetUsers() Users

func (*Recover) GetValues

func (r *Recover) GetValues() Values

func (*Recover) GetVariable

func (a *Recover) GetVariable(name string) *Variable

func (*Recover) HasUsers

func (n *Recover) HasUsers() bool

has/get user and value

func (*Recover) HasValues

func (r *Recover) HasValues() bool

---------- RECOVER

func (*Recover) IsMember

func (n *Recover) IsMember() bool

func (*Recover) IsObject

func (n *Recover) IsObject() bool

func (*Recover) Masked

func (i *Recover) Masked() bool

func (*Recover) Reference

func (i *Recover) Reference() Values

func (*Recover) RemoveUser

func (n *Recover) RemoveUser(u User)

func (*Recover) SetKey

func (n *Recover) SetKey(k Value)

func (*Recover) SetObject

func (n *Recover) SetObject(v Value)

func (*Recover) SetType

func (n *Recover) SetType(typ Type)

func (*Recover) String

func (r *Recover) String() string

type Return

type Return struct {
	Results []Value
	// contains filtered or unexported fields
}

----------- Return The Return instruction returns values and control back to the calling function.

func NewReturn

func NewReturn(vs []Value) *Return

func ToReturn

func ToReturn(v Instruction) (*Return, bool)

func (*Return) AddMask

func (i *Return) AddMask(v Value)

func (*Return) AddMember

func (n *Return) AddMember(k, v Value)

func (*Return) AddReference

func (i *Return) AddReference(v Value)

func (*Return) AddUser

func (n *Return) AddUser(u User)

for Value

func (*Return) AddVariable

func (a *Return) AddVariable(v *Variable)

func (*Return) DeleteMember

func (n *Return) DeleteMember(k Value)

func (*Return) ForEachMember

func (n *Return) ForEachMember(fn func(Value, Value) bool)

func (*Return) GetAllMember

func (n *Return) GetAllMember() map[Value]Value

func (*Return) GetAllVariables

func (a *Return) GetAllVariables() map[string]*Variable

func (*Return) GetIndexMember

func (n *Return) GetIndexMember(i int) (Value, bool)

func (*Return) GetKey

func (n *Return) GetKey() Value

func (*Return) GetLastVariable

func (a *Return) GetLastVariable() *Variable

func (*Return) GetMask

func (i *Return) GetMask() []Value

func (*Return) GetMember

func (n *Return) GetMember(key Value) (Value, bool)

func (*Return) GetObject

func (n *Return) GetObject() Value

func (*Return) GetOpcode

func (i *Return) GetOpcode() Opcode

func (*Return) GetStringMember

func (n *Return) GetStringMember(key string) (Value, bool)

func (*Return) GetType

func (n *Return) GetType() Type

for Value : type

func (*Return) GetUsers

func (r *Return) GetUsers() Users

func (*Return) GetValues

func (r *Return) GetValues() Values

func (*Return) GetVariable

func (a *Return) GetVariable(name string) *Variable

func (*Return) HasUsers

func (r *Return) HasUsers() bool

node

func (*Return) HasValues

func (r *Return) HasValues() bool

----------- Return

func (*Return) IsMember

func (n *Return) IsMember() bool

func (*Return) IsObject

func (n *Return) IsObject() bool

func (*Return) Masked

func (i *Return) Masked() bool

func (*Return) Reference

func (i *Return) Reference() Values

func (*Return) RemoveUser

func (n *Return) RemoveUser(u User)

func (*Return) ReplaceValue

func (r *Return) ReplaceValue(v Value, to Value)

func (*Return) SetKey

func (n *Return) SetKey(k Value)

func (*Return) SetObject

func (n *Return) SetObject(v Value)

func (*Return) SetType

func (n *Return) SetType(typ Type)

func (*Return) String

func (r *Return) String() string

----------- Return

type SSAError

type SSAError struct {
	Pos     *Range
	Tag     ErrorTag
	Message string
	Kind    ErrorKind
}

func (SSAError) String

func (err SSAError) String() string

type SSAErrors

type SSAErrors []*SSAError

func (SSAErrors) String

func (errs SSAErrors) String() string

type ScopeIF

type ScopeIF ssautil.ScopedVersionedTableIF[Value]

func GetLazyScopeFromIrScopeId

func GetLazyScopeFromIrScopeId(i int64) ScopeIF

type ScopeInstance

type ScopeInstance struct {
	*ssautil.ScopedVersionedTable[Value]
}

func GetScopeFromIrScopeId

func GetScopeFromIrScopeId(i int64) *ScopeInstance

func NewScope

func NewScope(name string) *ScopeInstance

func (*ScopeInstance) CreateSubScope

func (s *ScopeInstance) CreateSubScope() ssautil.ScopedVersionedTableIF[Value]

type SideEffect

type SideEffect struct {
	CallSite Value // call instruction
	Value    Value // modify to this value
	// contains filtered or unexported fields
}

----------- SideEffect

func NewSideEffect

func NewSideEffect(variable string, call *Call, value Value) *SideEffect

func (*SideEffect) AddMask

func (i *SideEffect) AddMask(v Value)

func (*SideEffect) AddMember

func (n *SideEffect) AddMember(k, v Value)

func (*SideEffect) AddReference

func (i *SideEffect) AddReference(v Value)

func (*SideEffect) AddUser

func (n *SideEffect) AddUser(u User)

for Value

func (*SideEffect) AddVariable

func (a *SideEffect) AddVariable(v *Variable)

func (*SideEffect) DeleteMember

func (n *SideEffect) DeleteMember(k Value)

func (*SideEffect) ForEachMember

func (n *SideEffect) ForEachMember(fn func(Value, Value) bool)

func (*SideEffect) GetAllMember

func (n *SideEffect) GetAllMember() map[Value]Value

func (*SideEffect) GetAllVariables

func (a *SideEffect) GetAllVariables() map[string]*Variable

func (*SideEffect) GetIndexMember

func (n *SideEffect) GetIndexMember(i int) (Value, bool)

func (*SideEffect) GetKey

func (n *SideEffect) GetKey() Value

func (*SideEffect) GetLastVariable

func (a *SideEffect) GetLastVariable() *Variable

func (*SideEffect) GetMask

func (i *SideEffect) GetMask() []Value

func (*SideEffect) GetMember

func (n *SideEffect) GetMember(key Value) (Value, bool)

func (*SideEffect) GetObject

func (n *SideEffect) GetObject() Value

func (*SideEffect) GetOpcode

func (i *SideEffect) GetOpcode() Opcode

func (*SideEffect) GetStringMember

func (n *SideEffect) GetStringMember(key string) (Value, bool)

func (*SideEffect) GetType

func (n *SideEffect) GetType() Type

for Value : type

func (*SideEffect) GetUsers

func (n *SideEffect) GetUsers() Users

func (*SideEffect) GetValues

func (s *SideEffect) GetValues() Values

func (*SideEffect) GetVariable

func (a *SideEffect) GetVariable(name string) *Variable

func (*SideEffect) HasUsers

func (n *SideEffect) HasUsers() bool

has/get user and value

func (*SideEffect) HasValues

func (s *SideEffect) HasValues() bool

------------ SideEffect

func (*SideEffect) IsMember

func (n *SideEffect) IsMember() bool

func (*SideEffect) IsObject

func (n *SideEffect) IsObject() bool

func (*SideEffect) Masked

func (i *SideEffect) Masked() bool

func (*SideEffect) Reference

func (i *SideEffect) Reference() Values

func (*SideEffect) RemoveUser

func (n *SideEffect) RemoveUser(u User)

func (*SideEffect) ReplaceValue

func (s *SideEffect) ReplaceValue(v Value, to Value)

func (*SideEffect) SetKey

func (n *SideEffect) SetKey(k Value)

func (*SideEffect) SetObject

func (n *SideEffect) SetObject(v Value)

func (*SideEffect) SetType

func (n *SideEffect) SetType(typ Type)

func (*SideEffect) String

func (s *SideEffect) String() string

type Switch

type Switch struct {
	Cond         Value
	DefaultBlock *BasicBlock

	Label []SwitchLabel
	// contains filtered or unexported fields
}

func NewSwitch

func NewSwitch(cond Value, defaultb *BasicBlock, label []SwitchLabel) *Switch

func (*Switch) GetBlock

func (a *Switch) GetBlock() *BasicBlock

func (*Switch) GetFunc

func (a *Switch) GetFunc() *Function

func (*Switch) GetId

func (a *Switch) GetId() int64

func (*Switch) GetName

func (a *Switch) GetName() string

func (*Switch) GetOpcode

func (i *Switch) GetOpcode() Opcode

func (*Switch) GetProgram

func (a *Switch) GetProgram() *Program

func (*Switch) GetRange

func (c *Switch) GetRange() *Range

source code position

func (*Switch) GetShortVerboseName

func (i *Switch) GetShortVerboseName() string

func (*Switch) GetSourceCode

func (v *Switch) GetSourceCode() string

func (*Switch) GetSourceCodeContext

func (v *Switch) GetSourceCodeContext(n int) string

func (*Switch) GetUsers

func (r *Switch) GetUsers() Users

func (*Switch) GetValues

func (sw *Switch) GetValues() Values

func (*Switch) GetVerboseName

func (i *Switch) GetVerboseName() string

func (*Switch) HasUsers

func (r *Switch) HasUsers() bool

func (*Switch) HasValues

func (sw *Switch) HasValues() bool

----------- Switch

func (*Switch) IsAnnotation

func (a *Switch) IsAnnotation() bool

func (*Switch) IsBlock

func (i *Switch) IsBlock(name string) bool

func (*Switch) IsCFGEnterBlock

func (i *Switch) IsCFGEnterBlock() ([]Instruction, bool)

func (*Switch) IsExtern

func (c *Switch) IsExtern() bool

func (*Switch) IsLazy

func (i *Switch) IsLazy() bool

func (*Switch) IsUndefined

func (i *Switch) IsUndefined() bool

func (*Switch) LineDisasm

func (a *Switch) LineDisasm() string

func (*Switch) NewError

func (c *Switch) NewError(kind ErrorKind, tag ErrorTag, msg string)

error logger

func (*Switch) ReplaceValue

func (sw *Switch) ReplaceValue(v Value, to Value)

func (*Switch) Self

func (i *Switch) Self() Instruction

func (*Switch) SelfDelete

func (i *Switch) SelfDelete()

func (*Switch) SetBlock

func (a *Switch) SetBlock(block *BasicBlock)

func (*Switch) SetExtern

func (c *Switch) SetExtern(b bool)

func (*Switch) SetFunc

func (a *Switch) SetFunc(f *Function)

ssa function and block

func (*Switch) SetId

func (a *Switch) SetId(id int64)

id

func (*Switch) SetIsAnnotation

func (a *Switch) SetIsAnnotation(b bool)

func (*Switch) SetName

func (a *Switch) SetName(v string)

variable

func (*Switch) SetRange

func (c *Switch) SetRange(pos *Range)

func (*Switch) SetVerboseName

func (i *Switch) SetVerboseName(verbose string)

func (*Switch) String

func (sw *Switch) String() string

----------- Switch

type SwitchBuilder

type SwitchBuilder struct {
	AutoBreak bool
	// contains filtered or unexported fields
}

func (*SwitchBuilder) BuildBody

func (t *SwitchBuilder) BuildBody(f func(int))

func (*SwitchBuilder) BuildCaseSize

func (sw *SwitchBuilder) BuildCaseSize(size int)

func (*SwitchBuilder) BuildCondition

func (t *SwitchBuilder) BuildCondition(f func() Value)

func (*SwitchBuilder) BuildDefault

func (t *SwitchBuilder) BuildDefault(f func())

func (*SwitchBuilder) Finish

func (t *SwitchBuilder) Finish()

func (*SwitchBuilder) SetCase

func (sw *SwitchBuilder) SetCase(f func(int) []Value)

type SwitchLabel

type SwitchLabel struct {
	Value Value
	Dest  *BasicBlock
}

----------- Switch

func NewSwitchLabel

func NewSwitchLabel(v Value, dest *BasicBlock) SwitchLabel

type Token

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

func NewToken

func NewToken(node antlr.TerminalNode) *Token

func (*Token) GetStart

func (t *Token) GetStart() antlr.Token

func (*Token) GetStop

func (t *Token) GetStop() antlr.Token

func (*Token) GetText

func (t *Token) GetText() string

type TryBuilder

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

func (*TryBuilder) BuildErrorCatch

func (t *TryBuilder) BuildErrorCatch(err func() string, catch func())

func (*TryBuilder) BuildFinally

func (t *TryBuilder) BuildFinally(f func())

func (*TryBuilder) BuildTryBlock

func (t *TryBuilder) BuildTryBlock(f func())

func (*TryBuilder) Finish

func (t *TryBuilder) Finish()

type Type

type Type interface {
	String() string        // only string
	PkgPathString() string // package path string
	RawString() string     // string contain inner information
	GetTypeKind() TypeKind // type kind

	// set/get method, method is a function
	SetMethod(map[string]*Function)
	AddMethod(string, *Function)
	GetMethod() map[string]*Function
}

func ApplyGenericType

func ApplyGenericType(raw Type, symbolsTypeMap map[string]Type) Type

func CalculateType

func CalculateType(ts []Type) Type

func CloneType

func CloneType(t Type) (Type, bool)

Shallow copy

func GetAnyType

func GetAnyType() Type

func GetBooleanType

func GetBooleanType() Type

func GetByteType

func GetByteType() Type

func GetBytesType

func GetBytesType() Type

func GetErrorType

func GetErrorType() Type

func GetGenericTypeFromType

func GetGenericTypeFromType(t Type) []Type

func GetNullType

func GetNullType() Type

func GetNumberType

func GetNumberType() Type

func GetStringType

func GetStringType() Type

func GetType

func GetType(i any) Type

func GetTypeByStr

func GetTypeByStr(typ string) Type

func GetTypeFromDB

func GetTypeFromDB(id int) Type

func GetUndefinedType

func GetUndefinedType() Type

func ParseClassBluePrint

func ParseClassBluePrint(this Value, objectTyp *ObjectType) (ret Type)

ParseClassBluePrint parse get classBluePrint if the ObjectType is a ClassFactor

type TypeCast

type TypeCast struct {
	Value Value
	// contains filtered or unexported fields
}

----------- Type-cast cast value -> type

func NewTypeCast

func NewTypeCast(typ Type, v Value) *TypeCast

func (*TypeCast) AddMask

func (i *TypeCast) AddMask(v Value)

func (*TypeCast) AddMember

func (n *TypeCast) AddMember(k, v Value)

func (*TypeCast) AddReference

func (i *TypeCast) AddReference(v Value)

func (*TypeCast) AddUser

func (n *TypeCast) AddUser(u User)

for Value

func (*TypeCast) AddVariable

func (a *TypeCast) AddVariable(v *Variable)

func (*TypeCast) DeleteMember

func (n *TypeCast) DeleteMember(k Value)

func (*TypeCast) ForEachMember

func (n *TypeCast) ForEachMember(fn func(Value, Value) bool)

func (*TypeCast) GetAllMember

func (n *TypeCast) GetAllMember() map[Value]Value

func (*TypeCast) GetAllVariables

func (a *TypeCast) GetAllVariables() map[string]*Variable

func (*TypeCast) GetIndexMember

func (n *TypeCast) GetIndexMember(i int) (Value, bool)

func (*TypeCast) GetKey

func (n *TypeCast) GetKey() Value

func (*TypeCast) GetLastVariable

func (a *TypeCast) GetLastVariable() *Variable

func (*TypeCast) GetMask

func (i *TypeCast) GetMask() []Value

func (*TypeCast) GetMember

func (n *TypeCast) GetMember(key Value) (Value, bool)

func (*TypeCast) GetObject

func (n *TypeCast) GetObject() Value

func (*TypeCast) GetOpcode

func (i *TypeCast) GetOpcode() Opcode

func (*TypeCast) GetStringMember

func (n *TypeCast) GetStringMember(key string) (Value, bool)

func (*TypeCast) GetType

func (n *TypeCast) GetType() Type

for Value : type

func (*TypeCast) GetUsers

func (n *TypeCast) GetUsers() Users

func (*TypeCast) GetValues

func (t *TypeCast) GetValues() Values

func (*TypeCast) GetVariable

func (a *TypeCast) GetVariable(name string) *Variable

func (*TypeCast) HasUsers

func (n *TypeCast) HasUsers() bool

has/get user and value

func (*TypeCast) HasValues

func (t *TypeCast) HasValues() bool

// ----------- Typecast

func (*TypeCast) IsMember

func (n *TypeCast) IsMember() bool

func (*TypeCast) IsObject

func (n *TypeCast) IsObject() bool

func (*TypeCast) Masked

func (i *TypeCast) Masked() bool

func (*TypeCast) Reference

func (i *TypeCast) Reference() Values

func (*TypeCast) RemoveUser

func (n *TypeCast) RemoveUser(u User)

func (*TypeCast) ReplaceValue

func (t *TypeCast) ReplaceValue(v, to Value)

func (*TypeCast) SetKey

func (n *TypeCast) SetKey(k Value)

func (*TypeCast) SetObject

func (n *TypeCast) SetObject(v Value)

func (*TypeCast) SetType

func (n *TypeCast) SetType(typ Type)

func (*TypeCast) String

func (t *TypeCast) String() string

type TypeKind

type TypeKind int

TypeKind is a Kind of ssa.type

const (
	// NumberTypeKind is all number type, int*/uint*/float/double/complex
	NumberTypeKind TypeKind = iota
	StringTypeKind
	BytesTypeKind
	BooleanTypeKind
	UndefinedTypeKind // undefined is nil in golang
	NullTypeKind      //
	AnyTypeKind       // any type
	ChanTypeKind
	ErrorTypeKind

	ObjectTypeKind
	SliceTypeKind  // slice
	MapTypeKind    // map
	StructTypeKind // struct
	TupleTypeKind  //  slice has fixed length

	InterfaceTypeKind
	FunctionTypeKind

	ClassBluePrintTypeKind
	GenericTypeKind
	ByteTypeKind
	OrTypeKind
)

type TypeValue

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

------------- type value

func NewTypeValue

func NewTypeValue(typ Type) *TypeValue

func (*TypeValue) AddMask

func (i *TypeValue) AddMask(v Value)

func (*TypeValue) AddMember

func (n *TypeValue) AddMember(k, v Value)

func (*TypeValue) AddReference

func (i *TypeValue) AddReference(v Value)

func (*TypeValue) AddUser

func (n *TypeValue) AddUser(u User)

for Value

func (*TypeValue) AddVariable

func (a *TypeValue) AddVariable(v *Variable)

func (*TypeValue) DeleteMember

func (n *TypeValue) DeleteMember(k Value)

func (*TypeValue) ForEachMember

func (n *TypeValue) ForEachMember(fn func(Value, Value) bool)

func (*TypeValue) GetAllMember

func (n *TypeValue) GetAllMember() map[Value]Value

func (*TypeValue) GetAllVariables

func (a *TypeValue) GetAllVariables() map[string]*Variable

func (*TypeValue) GetIndexMember

func (n *TypeValue) GetIndexMember(i int) (Value, bool)

func (*TypeValue) GetKey

func (n *TypeValue) GetKey() Value

func (*TypeValue) GetLastVariable

func (a *TypeValue) GetLastVariable() *Variable

func (*TypeValue) GetMask

func (i *TypeValue) GetMask() []Value

func (*TypeValue) GetMember

func (n *TypeValue) GetMember(key Value) (Value, bool)

func (*TypeValue) GetObject

func (n *TypeValue) GetObject() Value

func (*TypeValue) GetOpcode

func (i *TypeValue) GetOpcode() Opcode

func (*TypeValue) GetStringMember

func (n *TypeValue) GetStringMember(key string) (Value, bool)

func (*TypeValue) GetType

func (n *TypeValue) GetType() Type

for Value : type

func (*TypeValue) GetUsers

func (n *TypeValue) GetUsers() Users

func (*TypeValue) GetValues

func (t *TypeValue) GetValues() Values

func (*TypeValue) GetVariable

func (a *TypeValue) GetVariable(name string) *Variable

func (*TypeValue) HasUsers

func (n *TypeValue) HasUsers() bool

has/get user and value

func (*TypeValue) HasValues

func (t *TypeValue) HasValues() bool

------------ type value

func (*TypeValue) IsMember

func (n *TypeValue) IsMember() bool

func (*TypeValue) IsObject

func (n *TypeValue) IsObject() bool

func (*TypeValue) Masked

func (i *TypeValue) Masked() bool

func (*TypeValue) Reference

func (i *TypeValue) Reference() Values

func (*TypeValue) RemoveUser

func (n *TypeValue) RemoveUser(u User)

func (*TypeValue) SetKey

func (n *TypeValue) SetKey(k Value)

func (*TypeValue) SetObject

func (n *TypeValue) SetObject(v Value)

func (*TypeValue) SetType

func (n *TypeValue) SetType(typ Type)

func (*TypeValue) String

func (t *TypeValue) String() string

type Typed

type Typed interface {
	// Node
	// type
	GetType() Type
	SetType(Type)
}

type Types

type Types []Type

func (Types) Compare

func (org Types) Compare(typs Types) bool

return true if org != typs return false if org == typs

func (Types) Contains

func (t Types) Contains(typ Types) bool

func (Types) Equal

func (t Types) Equal(typs Types) bool

func (Types) IsType

func (t Types) IsType(kind TypeKind) bool

func (Types) String

func (t Types) String() string

type UnOp

type UnOp struct {
	Op UnaryOpcode
	X  Value
	// contains filtered or unexported fields
}

func NewUnOp

func NewUnOp(op UnaryOpcode, x Value) *UnOp

func ToUnOp

func ToUnOp(v Instruction) (*UnOp, bool)

func (*UnOp) AddMask

func (i *UnOp) AddMask(v Value)

func (*UnOp) AddMember

func (n *UnOp) AddMember(k, v Value)

func (*UnOp) AddReference

func (i *UnOp) AddReference(v Value)

func (*UnOp) AddUser

func (n *UnOp) AddUser(u User)

for Value

func (*UnOp) AddVariable

func (a *UnOp) AddVariable(v *Variable)

func (*UnOp) DeleteMember

func (n *UnOp) DeleteMember(k Value)

func (*UnOp) ForEachMember

func (n *UnOp) ForEachMember(fn func(Value, Value) bool)

func (*UnOp) GetAllMember

func (n *UnOp) GetAllMember() map[Value]Value

func (*UnOp) GetAllVariables

func (a *UnOp) GetAllVariables() map[string]*Variable

func (*UnOp) GetIndexMember

func (n *UnOp) GetIndexMember(i int) (Value, bool)

func (*UnOp) GetKey

func (n *UnOp) GetKey() Value

func (*UnOp) GetLastVariable

func (a *UnOp) GetLastVariable() *Variable

func (*UnOp) GetMask

func (i *UnOp) GetMask() []Value

func (*UnOp) GetMember

func (n *UnOp) GetMember(key Value) (Value, bool)

func (*UnOp) GetObject

func (n *UnOp) GetObject() Value

func (*UnOp) GetOpcode

func (i *UnOp) GetOpcode() Opcode

func (*UnOp) GetStringMember

func (n *UnOp) GetStringMember(key string) (Value, bool)

func (*UnOp) GetType

func (n *UnOp) GetType() Type

for Value : type

func (*UnOp) GetUsers

func (n *UnOp) GetUsers() Users

func (*UnOp) GetValues

func (n *UnOp) GetValues() Values

func (*UnOp) GetVariable

func (a *UnOp) GetVariable(name string) *Variable

func (*UnOp) HasUsers

func (n *UnOp) HasUsers() bool

has/get user and value

func (*UnOp) HasValues

func (n *UnOp) HasValues() bool

----------- UnOp

func (*UnOp) IsMember

func (n *UnOp) IsMember() bool

func (*UnOp) IsObject

func (n *UnOp) IsObject() bool

func (*UnOp) Masked

func (i *UnOp) Masked() bool

func (*UnOp) Reference

func (i *UnOp) Reference() Values

func (*UnOp) RemoveUser

func (n *UnOp) RemoveUser(u User)

func (*UnOp) ReplaceValue

func (u *UnOp) ReplaceValue(v Value, to Value)

func (*UnOp) SetKey

func (n *UnOp) SetKey(k Value)

func (*UnOp) SetObject

func (n *UnOp) SetObject(v Value)

func (*UnOp) SetType

func (n *UnOp) SetType(typ Type)

func (*UnOp) String

func (u *UnOp) String() string

----------- UnOp

type UnaryOpcode

type UnaryOpcode string

type Undefined

type Undefined struct {
	Kind UndefinedKind
	// contains filtered or unexported fields
}

func NewUndefined

func NewUndefined(name string) *Undefined

func ToUndefined

func ToUndefined(v Instruction) (*Undefined, bool)

func (*Undefined) AddMask

func (i *Undefined) AddMask(v Value)

func (*Undefined) AddMember

func (n *Undefined) AddMember(k, v Value)

func (*Undefined) AddReference

func (i *Undefined) AddReference(v Value)

func (*Undefined) AddUser

func (n *Undefined) AddUser(u User)

for Value

func (*Undefined) AddVariable

func (a *Undefined) AddVariable(v *Variable)

func (*Undefined) DeleteMember

func (n *Undefined) DeleteMember(k Value)

func (*Undefined) ForEachMember

func (n *Undefined) ForEachMember(fn func(Value, Value) bool)

func (*Undefined) GetAllMember

func (n *Undefined) GetAllMember() map[Value]Value

func (*Undefined) GetAllVariables

func (a *Undefined) GetAllVariables() map[string]*Variable

func (*Undefined) GetIndexMember

func (n *Undefined) GetIndexMember(i int) (Value, bool)

func (*Undefined) GetKey

func (n *Undefined) GetKey() Value

func (*Undefined) GetLastVariable

func (a *Undefined) GetLastVariable() *Variable

func (*Undefined) GetMask

func (i *Undefined) GetMask() []Value

func (*Undefined) GetMember

func (n *Undefined) GetMember(key Value) (Value, bool)

func (*Undefined) GetObject

func (n *Undefined) GetObject() Value

func (*Undefined) GetOpcode

func (i *Undefined) GetOpcode() Opcode

func (*Undefined) GetStringMember

func (n *Undefined) GetStringMember(key string) (Value, bool)

func (*Undefined) GetType

func (n *Undefined) GetType() Type

for Value : type

func (*Undefined) GetUsers

func (n *Undefined) GetUsers() Users

func (*Undefined) GetValues

func (u *Undefined) GetValues() Values

func (*Undefined) GetVariable

func (a *Undefined) GetVariable(name string) *Variable

func (*Undefined) HasUsers

func (n *Undefined) HasUsers() bool

has/get user and value

func (*Undefined) HasValues

func (u *Undefined) HasValues() bool

----------- undefined

func (*Undefined) IsMember

func (n *Undefined) IsMember() bool

func (*Undefined) IsObject

func (n *Undefined) IsObject() bool

func (*Undefined) IsUndefined

func (u *Undefined) IsUndefined() bool

func (*Undefined) Masked

func (i *Undefined) Masked() bool

func (*Undefined) Reference

func (i *Undefined) Reference() Values

func (*Undefined) RemoveUser

func (n *Undefined) RemoveUser(u User)

func (*Undefined) SetKey

func (n *Undefined) SetKey(k Value)

func (*Undefined) SetObject

func (n *Undefined) SetObject(v Value)

func (*Undefined) SetType

func (n *Undefined) SetType(typ Type)

func (*Undefined) String

func (u *Undefined) String() string

----------- undefined

type UndefinedKind

type UndefinedKind int

UndefinedKind : mark undefined value type

const (
	// UndefinedValueInValid normal undefined value
	UndefinedValueInValid UndefinedKind = iota
	// UndefinedValueValid is variable only declare
	UndefinedValueValid
	// UndefinedMemberInValid member call but not this key
	UndefinedMemberInValid
	// UndefinedMemberValid member call, has this key, but not this value, this shouldn't mark error
	UndefinedMemberValid
)

type User

type User interface {
	Node
	Instruction
	ReplaceValue(Value, Value)
}

func ToUser

func ToUser(n Instruction) (User, bool)

type Users

type Users []User

func (Users) RunOnCall

func (u Users) RunOnCall(f func(*Call))

func (Users) RunOnCallOr

func (u Users) RunOnCallOr(f func(*Call), or func(User))

type Value

type Value interface {
	Node
	Instruction
	MemberCall
	Typed
	Maskable
	AssignAble
	AddUser(User)
	RemoveUser(User)

	// reference, this value same as other value
	// in use-def chain, this value use contain other value
	AddReference(Value)
	Reference() Values
}

basic handle item (interface)

func CalcBinary

func CalcBinary(b *BinOp) Value

func CalcConstBinarySide

func CalcConstBinarySide(c *ConstInst, v Value, op BinaryOpcode) Value

func HandlerBinOp

func HandlerBinOp(b *BinOp) (ret Value)

func HandlerUnOp

func HandlerUnOp(u *UnOp) (ret Value)

func NewLazyInstruction

func NewLazyInstruction(id int64) (Value, error)

NewLazyInstruction : create a new lazy instruction, only create in cache

func ToValue

func ToValue(n any) (Value, bool)

type Values

type Values []Value

type Variable

type Variable struct {
	*ssautil.Versioned[Value]
	DefRange *Range
	UseRange map[*Range]struct{}
	// contains filtered or unexported fields
}

func ReadVariableFromScope

func ReadVariableFromScope(scope ScopeIF, name string) *Variable

func (*Variable) AddRange

func (v *Variable) AddRange(r *Range, force bool)

func (*Variable) Assign

func (variable *Variable) Assign(value Value) error

func (*Variable) GetMemberCall

func (b *Variable) GetMemberCall() (Value, Value)

func (*Variable) GetProgram

func (b *Variable) GetProgram() *Program

func (*Variable) IsMemberCall

func (b *Variable) IsMemberCall() bool

func (*Variable) NewError

func (v *Variable) NewError(kind ErrorKind, tag ErrorTag, msg string)

func (*Variable) Replace

func (variable *Variable) Replace(val, to Value)

func (*Variable) SetDefRange

func (v *Variable) SetDefRange(r *Range)

func (*Variable) SetMemberCall

func (v *Variable) SetMemberCall(obj, key Value)