Package sootup.callgraph.reflection

Class AbstractReflectionModel

java.lang.Object

sootup.callgraph.reflection.AbstractReflectionModel

All Implemented Interfaces:

ReflectionModel

Direct Known Subclasses:

TamiflexReflectionModel

public abstract class AbstractReflectionModel
extends Object
implements ReflectionModel

Base for ReflectionModels: dispatches each reflective call site to a per-API hook and splices the returned stmts in front of it (the original call stays). Rewritten bodies are cached per method signature, so one instance must only be used with one View; the first body passed for a method wins.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static final record	AbstractReflectionModel.MethodContext	The method being rewritten, its original body, and the builder for the rewritten one.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	SIG_ARRAY_GET
static final String	SIG_ARRAY_NEW_INSTANCE
static final String	SIG_ARRAY_SET
static final String	SIG_CLASS_NEW_INSTANCE
static final String	SIG_CONSTRUCTOR_NEW_INSTANCE
static final String	SIG_FIELD_GET
static final String	SIG_FIELD_SET
static final String	SIG_FOR_NAME
static final String	SIG_FOR_NAME2
static final String	SIG_METHOD_INVOKE
protected final @NonNull View	view

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractReflectionModel(@NonNull View view)

Method Summary

Modifier and Type	Method	Description
protected static ReflectionKind	kindOf(String methodSig)	Kind of reflective API methodSig (as toString()) is, or null.
@NonNull Body	resolve(@NonNull SootMethod method, @NonNull Body body)
protected abstract List<Stmt>	transformArrayGet(AbstractReflectionModel.MethodContext ctx, InvokableStmt s)
protected abstract List<Stmt>	transformArrayNewInstance(AbstractReflectionModel.MethodContext ctx, InvokableStmt s)
protected abstract List<Stmt>	transformArraySet(AbstractReflectionModel.MethodContext ctx, InvokableStmt s)
protected abstract List<Stmt>	transformClassForName(AbstractReflectionModel.MethodContext ctx, InvokableStmt s)
protected abstract List<Stmt>	transformClassNewInstance(AbstractReflectionModel.MethodContext ctx, InvokableStmt s)
protected abstract List<Stmt>	transformConstructorNewInstance(AbstractReflectionModel.MethodContext ctx, InvokableStmt s)
protected abstract List<Stmt>	transformFieldGet(AbstractReflectionModel.MethodContext ctx, InvokableStmt s)
protected abstract List<Stmt>	transformFieldSet(AbstractReflectionModel.MethodContext ctx, InvokableStmt s)
protected abstract List<Stmt>	transformMethodInvoke(AbstractReflectionModel.MethodContext ctx, InvokableStmt s)

Methods inherited from class java.lang.Object

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

Methods inherited from interface sootup.callgraph.reflection.ReflectionModel

isNone

Field Details

SIG_FOR_NAME

public static final String SIG_FOR_NAME

See Also:

• Constant Field Values

SIG_FOR_NAME2

public static final String SIG_FOR_NAME2

See Also:

• Constant Field Values

SIG_CLASS_NEW_INSTANCE

public static final String SIG_CLASS_NEW_INSTANCE

See Also:

• Constant Field Values

SIG_CONSTRUCTOR_NEW_INSTANCE

public static final String SIG_CONSTRUCTOR_NEW_INSTANCE

See Also:

• Constant Field Values

SIG_METHOD_INVOKE

public static final String SIG_METHOD_INVOKE

See Also:

• Constant Field Values

SIG_FIELD_SET

public static final String SIG_FIELD_SET

See Also:

• Constant Field Values

SIG_FIELD_GET

public static final String SIG_FIELD_GET

See Also:

• Constant Field Values

SIG_ARRAY_NEW_INSTANCE

public static final String SIG_ARRAY_NEW_INSTANCE

See Also:

• Constant Field Values

SIG_ARRAY_GET

public static final String SIG_ARRAY_GET

See Also:

• Constant Field Values

SIG_ARRAY_SET

public static final String SIG_ARRAY_SET

See Also:

• Constant Field Values

view

protected final @NonNull View view

Constructor Details

AbstractReflectionModel

protected AbstractReflectionModel(@NonNull View view)

Method Details

resolve

public @NonNull Body resolve(@NonNull SootMethod method,
 @NonNull Body body)

Specified by:

resolve in interface ReflectionModel

Parameters:

method - the method owning body

body - the body to rewrite (not modified)

Returns:

body itself if nothing reflective was resolved, else a rewritten copy

kindOf

protected static ReflectionKind kindOf(String methodSig)

Kind of reflective API methodSig (as toString()) is, or null.

transformClassForName

protected abstract List<Stmt> transformClassForName(AbstractReflectionModel.MethodContext ctx,
 InvokableStmt s)

transformClassNewInstance

protected abstract List<Stmt> transformClassNewInstance(AbstractReflectionModel.MethodContext ctx,
 InvokableStmt s)

transformConstructorNewInstance

protected abstract List<Stmt> transformConstructorNewInstance(AbstractReflectionModel.MethodContext ctx,
 InvokableStmt s)

transformMethodInvoke

protected abstract List<Stmt> transformMethodInvoke(AbstractReflectionModel.MethodContext ctx,
 InvokableStmt s)

transformFieldSet

protected abstract List<Stmt> transformFieldSet(AbstractReflectionModel.MethodContext ctx,
 InvokableStmt s)

transformFieldGet

protected abstract List<Stmt> transformFieldGet(AbstractReflectionModel.MethodContext ctx,
 InvokableStmt s)

transformArrayNewInstance

protected abstract List<Stmt> transformArrayNewInstance(AbstractReflectionModel.MethodContext ctx,
 InvokableStmt s)

transformArrayGet

protected abstract List<Stmt> transformArrayGet(AbstractReflectionModel.MethodContext ctx,
 InvokableStmt s)

transformArraySet

protected abstract List<Stmt> transformArraySet(AbstractReflectionModel.MethodContext ctx,
 InvokableStmt s)