Package ghidra.pcodeCPort.slgh_compile

Interface SemanticEnvironment

All Superinterfaces:

BasicSpaceProvider, NamedSymbolProvider

public interface SemanticEnvironment
extends NamedSymbolProvider, BasicSpaceProvider

Method Summary

Modifier and Type	Method	Description
VarnodeTpl	addressOf(VarnodeTpl var, int size)
VectorSTL<OpTpl>	assignBitRange(Location location, VarnodeTpl vn, int bitoffset, int numbits, ExprTree rhs)
ExprTree	createBitRange(Location location, SpecificSymbol sym, int bitoffset, int numbits)
ExprTree	createLoad(Location location, StarQuality qual, ExprTree ptr)
VectorSTL<OpTpl>	createMacroUse(Location location, MacroSymbol sym, VectorSTL<ExprTree> param)
ExprTree	createOp(Location location, OpCode opc, ExprTree vn)
ExprTree	createOp(Location location, OpCode opc, ExprTree vn1, ExprTree vn2)
VectorSTL<OpTpl>	createOpConst(Location location, OpCode opc, long val)
VectorSTL<OpTpl>	createOpNoOut(Location location, OpCode opc, ExprTree vn)
VectorSTL<OpTpl>	createOpNoOut(Location location, OpCode opc, ExprTree vn1, ExprTree vn2)
VectorSTL<OpTpl>	createStore(Location location, StarQuality qual, ExprTree ptr, ExprTree val)
ExprTree	createUserOp(UserOpSymbol sym, VectorSTL<ExprTree> param)
VectorSTL<OpTpl>	createUserOpNoOut(Location location, UserOpSymbol sym, VectorSTL<ExprTree> param)
LabelSymbol	defineLabel(Location location, java.lang.String name)
java.lang.Object	findInternalFunction(Location location, java.lang.String name, VectorSTL<ExprTree> operands)
VectorSTL<OpTpl>	newOutput(Location location, ExprTree rhs, java.lang.String varname)
VectorSTL<OpTpl>	newOutput(Location location, ExprTree rhs, java.lang.String varname, int size)
VectorSTL<OpTpl>	placeLabel(Location location, LabelSymbol labsym)
void	recordNop(Location location)
ConstructTpl	setResultStarVarnode(ConstructTpl ct, StarQuality star, VarnodeTpl vn)
ConstructTpl	setResultVarnode(ConstructTpl ct, VarnodeTpl vn)

Methods inherited from interface ghidra.pcodeCPort.translate.BasicSpaceProvider

getConstantSpace, getDefaultSpace

Methods inherited from interface ghidra.pcodeCPort.sleighbase.NamedSymbolProvider

findSymbol

Method Detail

recordNop

void recordNop(Location location)

addressOf

VarnodeTpl addressOf(VarnodeTpl var,
                     int size)

setResultVarnode

ConstructTpl setResultVarnode(ConstructTpl ct,
                              VarnodeTpl vn)

setResultStarVarnode

ConstructTpl setResultStarVarnode(ConstructTpl ct,
                                  StarQuality star,
                                  VarnodeTpl vn)

newOutput

VectorSTL<OpTpl> newOutput(Location location,
                           ExprTree rhs,
                           java.lang.String varname)

newOutput

VectorSTL<OpTpl> newOutput(Location location,
                           ExprTree rhs,
                           java.lang.String varname,
                           int size)

createOp

ExprTree createOp(Location location,
                  OpCode opc,
                  ExprTree vn)

createOp

ExprTree createOp(Location location,
                  OpCode opc,
                  ExprTree vn1,
                  ExprTree vn2)

createOpNoOut

VectorSTL<OpTpl> createOpNoOut(Location location,
                               OpCode opc,
                               ExprTree vn)

createOpNoOut

VectorSTL<OpTpl> createOpNoOut(Location location,
                               OpCode opc,
                               ExprTree vn1,
                               ExprTree vn2)

createOpConst

VectorSTL<OpTpl> createOpConst(Location location,
                               OpCode opc,
                               long val)

createLoad

ExprTree createLoad(Location location,
                    StarQuality qual,
                    ExprTree ptr)

createStore

VectorSTL<OpTpl> createStore(Location location,
                             StarQuality qual,
                             ExprTree ptr,
                             ExprTree val)

createUserOp

ExprTree createUserOp(UserOpSymbol sym,
                      VectorSTL<ExprTree> param)

createUserOpNoOut

VectorSTL<OpTpl> createUserOpNoOut(Location location,
                                   UserOpSymbol sym,
                                   VectorSTL<ExprTree> param)

assignBitRange

VectorSTL<OpTpl> assignBitRange(Location location,
                                VarnodeTpl vn,
                                int bitoffset,
                                int numbits,
                                ExprTree rhs)

createBitRange

ExprTree createBitRange(Location location,
                        SpecificSymbol sym,
                        int bitoffset,
                        int numbits)

createMacroUse

VectorSTL<OpTpl> createMacroUse(Location location,
                                MacroSymbol sym,
                                VectorSTL<ExprTree> param)

defineLabel

LabelSymbol defineLabel(Location location,
                        java.lang.String name)

placeLabel

VectorSTL<OpTpl> placeLabel(Location location,
                            LabelSymbol labsym)

findInternalFunction

java.lang.Object findInternalFunction(Location location,
                                      java.lang.String name,
                                      VectorSTL<ExprTree> operands)