Package soot.dotnet.members

Class ByReferenceWrapperGenerator

java.lang.Object

soot.dotnet.members.ByReferenceWrapperGenerator

public class ByReferenceWrapperGenerator
extends Object

Parameters in .NET can be passed by reference. Since Jimple does not support this semantic, we generate Wrapper classes to pass instead. Note that .NET (as of right now, mid 2024) does not support co- or contravariants in parameters and return types. As such, overriding virtual methods does not pose a problem when we substitute parameters with reference wrappers.

Author:

Marc Miltenberger

Field Summary

Fields

Modifier and Type	Field	Description
static String	WRAPPER_CLASS_NAME
static String	WRAPPER_FIELD_NAME

Constructor Summary

Constructors

Constructor	Description
ByReferenceWrapperGenerator()

Method Summary

Modifier and Type	Method	Description
static Unit	getUnwrapCall(SootClass wrapperClass, Value argToUnwrap, Value target)	Returns a call to unwrap objects
static Unit	getUpdateWrappedValueCall(Local wrapped, Local unwrapped)	Returns a call to update a wrapped object
static SootClass	getWrapperClass(Type t)
static SootField	getWrapperField(SootClass wrapperClass)
static Value	insertWrapperCall(Body jb, SootClass wrapperClass, Value arg)	Inserts calls to wrap objects
static boolean	needsWrapper(ProtoAssemblyAllTypes.ParameterDefinition parameter)

Methods inherited from class java.lang.Object

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

Field Detail

WRAPPER_FIELD_NAME

public static final String WRAPPER_FIELD_NAME

See Also:

Constant Field Values

WRAPPER_CLASS_NAME

public static final String WRAPPER_CLASS_NAME

See Also:

Constant Field Values

Constructor Detail

ByReferenceWrapperGenerator

public ByReferenceWrapperGenerator()

Method Detail

getWrapperClass

public static SootClass getWrapperClass(Type t)

needsWrapper

public static boolean needsWrapper(ProtoAssemblyAllTypes.ParameterDefinition parameter)

insertWrapperCall

public static Value insertWrapperCall(Body jb,
                                      SootClass wrapperClass,
                                      Value arg)

Inserts calls to wrap objects

Parameters:

jb - the body to insert wrapper calls

wrapperClass - the class to use for wrapping

arg - the argument to wrap

Returns:

the wrapped argument

getUnwrapCall

public static Unit getUnwrapCall(SootClass wrapperClass,
                                 Value argToUnwrap,
                                 Value target)

Returns a call to unwrap objects

Parameters:

wrapperClass - the class to use for wrapping

argToUnwrap - the argument to unwrap

target - the target that should contain the target afterwards

Returns:

the unwrapper statement

getWrapperField

public static SootField getWrapperField(SootClass wrapperClass)

getUpdateWrappedValueCall

public static Unit getUpdateWrappedValueCall(Local wrapped,
                                             Local unwrapped)

Returns a call to update a wrapped object

Parameters:

wrapped - the wrapped variable

unwrapped - the unwrapped variable

Returns:

the call