soot.dotnet.members.method

Class DotnetBody

java.lang.Object

soot.dotnet.members.method.DotnetBody

public class DotnetBody
extends Object

Represents a .NET Method Body A method body starts with a BlockContainer, which contains Blocks, which have IL Instructions .NET Method Body (with ILSpy AST) -> BlockContainer -> Block -> IL Instruction

Field Summary

Fields

Modifier and Type	Field and Description
BlockEntryPointsManager	blockEntryPointsManager
DotnetBodyVariableManager	variableManager

Constructor Summary

Constructors

Constructor and Description
DotnetBody(DotnetMethod methodSignature, ProtoIlInstructions.IlFunctionMsg ilFunctionMsg)

Method Summary

Modifier and Type	Method and Description
DotnetMethod	getDotnetMethodSig() Get method signature of this method body
static JimpleBody	getEmptyJimpleBody(SootMethod m)
static Value	inlineCastExpr(Value v) Due to three address code, inline cast expr
void	jimplify(JimpleBody jb)
static void	resolveEmptyJimpleBody(JimpleBody b, SootMethod m)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

blockEntryPointsManager

public BlockEntryPointsManager blockEntryPointsManager

variableManager

public DotnetBodyVariableManager variableManager

Constructor Detail

DotnetBody

public DotnetBody(DotnetMethod methodSignature,
                  ProtoIlInstructions.IlFunctionMsg ilFunctionMsg)

Method Detail

getDotnetMethodSig

public DotnetMethod getDotnetMethodSig()

Get method signature of this method body

Returns:

method signature

jimplify

public void jimplify(JimpleBody jb)

inlineCastExpr

public static Value inlineCastExpr(Value v)

Due to three address code, inline cast expr

Parameters:

v -

Returns:

getEmptyJimpleBody

public static JimpleBody getEmptyJimpleBody(SootMethod m)

resolveEmptyJimpleBody

public static void resolveEmptyJimpleBody(JimpleBody b,
                                          SootMethod m)