C# 클래스 Reko.Core.Frame

Contains the non-global locations accessed by the code inside a procedure.

Variables accessed by the procedure can live in many places: registers, stack, and temporaries.

The frame layout is particularly interesting. On the Intel x86 architecture in real mode we have the following:

 Layout             offset value +-----------------+ | arg3            |   6 +-----------------+ | arg2            |   4 +-----------------+ | arg1            |   2 +-----------------+ | return address  |	  0 +-----------------+ | frame pointer   |   -2 +-----------------+ | local1          |   -4 +-----------------+ | local2          |   -6 etc.

Note that variables that are stack arguments use offsets based on the state of stack _after_ the return address was pushed. The return address, if passed on the stack, is always considered to be at offset 0.

In addition, support has to be provided for architectures that have separate FPU stacks.

파일 보기 프로젝트 열기: uxmal/reko 1 사용 예제들

공개 메소드들

메소드	설명
CreateSequence ( System.IO.Storage head, System.IO.Storage tail, DataType dt ) : Identifier
CreateTemporary ( DataType dt ) : Identifier	Creates a temporary variable whose storage and name is guaranteed not to collide with any other variable.
CreateTemporary ( string name, DataType dt ) : Identifier
EnsureFlagGroup ( FlagGroupStorage grf ) : Identifier
EnsureFlagGroup ( FlagRegister freg, uint grfMask, string name, DataType dt ) : Identifier
EnsureFpuStackVariable ( int depth, DataType type ) : Identifier
EnsureIdentifier ( System.IO.Storage stgForeign ) : Identifier
EnsureOutArgument ( Identifier idOrig, DataType outArgumentPointer ) : Identifier
EnsureRegister ( RegisterStorage reg ) : Identifier	Ensures a register access in this function.
EnsureSequence ( System.IO.Storage head, System.IO.Storage tail, DataType dt ) : Identifier
EnsureStackArgument ( int cbOffset, DataType type ) : Identifier
EnsureStackArgument ( int cbOffset, DataType type, string argName ) : Identifier
EnsureStackLocal ( int cbOffset, DataType type ) : Identifier	Makes sure that there is a local variable at the given offset.
EnsureStackLocal ( int cbOffset, DataType type, string name ) : Identifier
EnsureStackVariable ( Constant imm, int cbOffset, DataType type ) : Identifier
EnsureStackVariable ( int byteOffset, DataType type ) : Identifier
ExternalOffset ( Identifier id ) : int	The offset of a variable from the return address, as seen from a caller.
FindFlagGroup ( uint grfMask ) : Identifier
FindFpuStackVariable ( int off ) : Identifier
FindOutArgument ( Identifier idOrig ) : Identifier
FindRegister ( RegisterStorage reg ) : Identifier
FindSequence ( System.IO.Storage n1, System.IO.Storage n2 ) : Identifier
FindStackArgument ( int offset, int size ) : Identifier
FindStackLocal ( int offset, int size ) : Identifier
FindTemporary ( string name ) : Identifier
FormatStackAccessName ( DataType type, string prefix, int cbOffset ) : string
FormatStackAccessName ( DataType type, string prefix, int cbOffset, string nameOverride ) : string
Frame ( PrimitiveType framePointerSize ) : Reko.Core.Expressions	Creates a Frame instance for maintaining the local variables and arguments.
GetStackArgumentSpace ( ) : int	Returns the number of bytes the stack arguments consume on the stack.
Write ( TextWriter text ) : void

메소드 상세

CreateSequence() 공개 메소드

public CreateSequence ( System.IO.Storage head, System.IO.Storage tail, DataType dt ) : Identifier
head	System.IO.Storage
tail	System.IO.Storage
dt	DataType
리턴	Identifier

CreateTemporary() 공개 메소드

Creates a temporary variable whose storage and name is guaranteed not to collide with any other variable.

public CreateTemporary ( DataType dt ) : Identifier
dt	DataType
리턴	Identifier

CreateTemporary() 공개 메소드

public CreateTemporary ( string name, DataType dt ) : Identifier
name	string
dt	DataType
리턴	Identifier

EnsureFlagGroup() 공개 메소드

public EnsureFlagGroup ( FlagGroupStorage grf ) : Identifier
grf	FlagGroupStorage
리턴	Identifier

EnsureFlagGroup() 공개 메소드

public EnsureFlagGroup ( FlagRegister freg, uint grfMask, string name, DataType dt ) : Identifier
freg	FlagRegister
grfMask	uint
name	string
dt	DataType
리턴	Identifier

EnsureFpuStackVariable() 공개 메소드

public EnsureFpuStackVariable ( int depth, DataType type ) : Identifier
depth	int
type	DataType
리턴	Identifier

EnsureIdentifier() 공개 메소드

public EnsureIdentifier ( System.IO.Storage stgForeign ) : Identifier
stgForeign	System.IO.Storage
리턴	Identifier

EnsureOutArgument() 공개 메소드

public EnsureOutArgument ( Identifier idOrig, DataType outArgumentPointer ) : Identifier
idOrig	Identifier
outArgumentPointer	DataType
리턴	Identifier

EnsureRegister() 공개 메소드

Ensures a register access in this function.

public EnsureRegister ( RegisterStorage reg ) : Identifier
reg	RegisterStorage
리턴	Identifier

EnsureSequence() 공개 메소드

public EnsureSequence ( System.IO.Storage head, System.IO.Storage tail, DataType dt ) : Identifier
head	System.IO.Storage
tail	System.IO.Storage
dt	DataType
리턴	Identifier

EnsureStackArgument() 공개 메소드

public EnsureStackArgument ( int cbOffset, DataType type ) : Identifier
cbOffset	int
type	DataType
리턴	Identifier

EnsureStackArgument() 공개 메소드

public EnsureStackArgument ( int cbOffset, DataType type, string argName ) : Identifier
cbOffset	int
type	DataType
argName	string
리턴	Identifier

EnsureStackLocal() 공개 메소드

Makes sure that there is a local variable at the given offset.

public EnsureStackLocal ( int cbOffset, DataType type ) : Identifier
cbOffset	int
type	DataType
리턴	Identifier

EnsureStackLocal() 공개 메소드

public EnsureStackLocal ( int cbOffset, DataType type, string name ) : Identifier
cbOffset	int
type	DataType
name	string
리턴	Identifier

EnsureStackVariable() 공개 메소드

public EnsureStackVariable ( Constant imm, int cbOffset, DataType type ) : Identifier
imm	Constant
cbOffset	int
type	DataType
리턴	Identifier

EnsureStackVariable() 공개 메소드

public EnsureStackVariable ( int byteOffset, DataType type ) : Identifier
byteOffset	int
type	DataType
리턴	Identifier

ExternalOffset() 공개 메소드

The offset of a variable from the return address, as seen from a caller.

public ExternalOffset ( Identifier id ) : int
id	Identifier
리턴	int

FindFlagGroup() 공개 메소드

public FindFlagGroup ( uint grfMask ) : Identifier
grfMask	uint
리턴	Identifier

FindFpuStackVariable() 공개 메소드

public FindFpuStackVariable ( int off ) : Identifier
off	int
리턴	Identifier

FindOutArgument() 공개 메소드

public FindOutArgument ( Identifier idOrig ) : Identifier
idOrig	Identifier
리턴	Identifier

FindRegister() 공개 메소드

public FindRegister ( RegisterStorage reg ) : Identifier
reg	RegisterStorage
리턴	Identifier

FindSequence() 공개 메소드

public FindSequence ( System.IO.Storage n1, System.IO.Storage n2 ) : Identifier
n1	System.IO.Storage
n2	System.IO.Storage
리턴	Identifier

FindStackArgument() 공개 메소드

public FindStackArgument ( int offset, int size ) : Identifier
offset	int
size	int
리턴	Identifier

FindStackLocal() 공개 메소드

public FindStackLocal ( int offset, int size ) : Identifier
offset	int
size	int
리턴	Identifier

FindTemporary() 공개 메소드

public FindTemporary ( string name ) : Identifier
name	string
리턴	Identifier

FormatStackAccessName() 공개 메소드

public FormatStackAccessName ( DataType type, string prefix, int cbOffset ) : string
type	DataType
prefix	string
cbOffset	int
리턴	string

FormatStackAccessName() 공개 메소드

public FormatStackAccessName ( DataType type, string prefix, int cbOffset, string nameOverride ) : string
type	DataType
prefix	string
cbOffset	int
nameOverride	string
리턴	string

Frame() 공개 메소드

Creates a Frame instance for maintaining the local variables and arguments.

public Frame ( PrimitiveType framePointerSize ) : Reko.Core.Expressions
framePointerSize	PrimitiveType	The size of the frame pointer must match the size of the /// stack register, if any, or at the least the size of a pointer.
리턴	Reko.Core.Expressions

GetStackArgumentSpace() 공개 메소드

Returns the number of bytes the stack arguments consume on the stack.

public GetStackArgumentSpace ( ) : int
리턴	int

Write() 공개 메소드

public Write ( TextWriter text ) : void
text	System.IO.TextWriter
리턴	void