Reformat eval4j

This commit is contained in:
Yan Zhulanow
2019-07-11 22:03:56 +09:00
parent eb173893b0
commit a20014a7e6
6 changed files with 219 additions and 245 deletions
@@ -82,23 +82,21 @@ class SingleInstructionInterpreter(private val eval: Eval) : Interpreter<Value>(
BIPUSH, SIPUSH -> int((insn as IntInsnNode).operand)
LDC -> {
val cst = ((insn as LdcInsnNode)).cst
when (cst) {
when (val cst = ((insn as LdcInsnNode)).cst) {
is Int -> int(cst)
is Float -> float(cst)
is Long -> long(cst)
is Double -> double(cst)
is String -> eval.loadString(cst)
is Type -> {
val sort = cst.sort
when (sort) {
when (cst.sort) {
Type.OBJECT, Type.ARRAY -> eval.loadClass(cst)
Type.METHOD -> throw UnsupportedByteCodeException("Method handles are not supported")
else -> throw UnsupportedByteCodeException("Illegal LDC constant " + cst)
else -> throw UnsupportedByteCodeException("Illegal LDC constant $cst")
}
}
is Handle -> throw UnsupportedByteCodeException("Method handles are not supported")
else -> throw UnsupportedByteCodeException("Illegal LDC constant " + cst)
else -> throw UnsupportedByteCodeException("Illegal LDC constant $cst")
}
}
JSR -> LabelValue((insn as JumpInsnNode).label)
@@ -157,13 +155,13 @@ class SingleInstructionInterpreter(private val eval: Eval) : Interpreter<Value>(
NEWARRAY -> {
val typeStr = when ((insn as IntInsnNode).operand) {
T_BOOLEAN -> "[Z"
T_CHAR -> "[C"
T_BYTE -> "[B"
T_SHORT -> "[S"
T_INT -> "[I"
T_FLOAT -> "[F"
T_DOUBLE -> "[D"
T_LONG -> "[J"
T_CHAR -> "[C"
T_BYTE -> "[B"
T_SHORT -> "[S"
T_INT -> "[I"
T_FLOAT -> "[F"
T_DOUBLE -> "[D"
T_LONG -> "[J"
else -> throw AnalyzerException(insn, "Invalid array type")
}
eval.newArray(Type.getType(typeStr), value.int)
@@ -310,11 +308,13 @@ class SingleInstructionInterpreter(private val eval: Eval) : Interpreter<Value>(
val l1 = value1.long
val l2 = value2.long
int(when {
l1 > l2 -> 1
l1 == l2 -> 0
else -> -1
})
int(
when {
l1 > l2 -> 1
l1 == l2 -> 0
else -> -1
}
)
}
FCMPL,
@@ -322,13 +322,15 @@ class SingleInstructionInterpreter(private val eval: Eval) : Interpreter<Value>(
val l1 = value1.float
val l2 = value2.float
int(when {
l1 > l2 -> 1
l1 == l2 -> 0
l1 < l2 -> -1
// one of them is NaN
else -> if (insn.opcode == FCMPG) 1 else -1
})
int(
when {
l1 > l2 -> 1
l1 == l2 -> 0
l1 < l2 -> -1
// one of them is NaN
else -> if (insn.opcode == FCMPG) 1 else -1
}
)
}
DCMPL,
@@ -336,13 +338,15 @@ class SingleInstructionInterpreter(private val eval: Eval) : Interpreter<Value>(
val l1 = value1.double
val l2 = value2.double
int(when {
l1 > l2 -> 1
l1 == l2 -> 0
l1 < l2 -> -1
// one of them is NaN
else -> if (insn.opcode == DCMPG) 1 else -1
})
int(
when {
l1 > l2 -> 1
l1 == l2 -> 0
l1 < l2 -> -1
// one of them is NaN
else -> if (insn.opcode == DCMPG) 1 else -1
}
)
}
IF_ICMPEQ, IF_ICMPNE, IF_ICMPLT, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ACMPEQ, IF_ACMPNE -> {
@@ -393,10 +397,10 @@ class SingleInstructionInterpreter(private val eval: Eval) : Interpreter<Value>(
INVOKEVIRTUAL, INVOKESPECIAL, INVOKEINTERFACE -> {
eval.invokeMethod(
values[0],
MethodDescription(insn as MethodInsnNode),
values.subList(1, values.size),
insn.opcode == INVOKESPECIAL
values[0],
MethodDescription(insn as MethodInsnNode),
values.subList(1, values.size),
insn.opcode == INVOKESPECIAL
)
}
@@ -28,7 +28,7 @@ interface InterpreterResult {
override fun toString(): String
}
class ExceptionThrown(val exception: ObjectValue, val kind: ExceptionKind): InterpreterResult {
class ExceptionThrown(val exception: ObjectValue, val kind: ExceptionKind) : InterpreterResult {
override fun toString(): String = "Thrown $exception: $kind"
enum class ExceptionKind {
@@ -38,11 +38,11 @@ class ExceptionThrown(val exception: ObjectValue, val kind: ExceptionKind): Inte
}
}
data class ValueReturned(val result: Value): InterpreterResult {
data class ValueReturned(val result: Value) : InterpreterResult {
override fun toString(): String = "Returned $result"
}
class AbnormalTermination(val message: String): InterpreterResult {
class AbnormalTermination(val message: String) : InterpreterResult {
override fun toString(): String = "Terminated abnormally: $message"
}
@@ -60,7 +60,7 @@ interface InterpretationEventHandler {
fun exceptionCaught(currentState: Frame<Value>, currentInsn: AbstractInsnNode, exception: Value): InterpreterResult?
}
abstract class ThrownFromEvalExceptionBase(cause: Throwable): RuntimeException(cause) {
abstract class ThrownFromEvalExceptionBase(cause: Throwable) : RuntimeException(cause) {
override fun toString(): String = "Thrown by evaluator: ${cause}"
}
@@ -69,15 +69,15 @@ class BrokenCode(cause: Throwable) : ThrownFromEvalExceptionBase(cause)
// Interpreting exceptions should not be sent to EA
class Eval4JInterpretingException(override val cause: Throwable) : RuntimeException(cause)
class ThrownFromEvaluatedCodeException(val exception: ObjectValue): RuntimeException() {
class ThrownFromEvaluatedCodeException(val exception: ObjectValue) : RuntimeException() {
override fun toString(): String = "Thrown from evaluated code: $exception"
}
fun interpreterLoop(
m: MethodNode,
initialState: Frame<Value>,
eval: Eval,
handler: InterpretationEventHandler = InterpretationEventHandler.NONE
m: MethodNode,
initialState: Frame<Value>,
eval: Eval,
handler: InterpretationEventHandler = InterpretationEventHandler.NONE
): InterpreterResult {
val firstInsn = m.instructions.first
if (firstInsn == null) throw IllegalArgumentException("Empty method")
@@ -93,7 +93,7 @@ fun interpreterLoop(
val frame = Frame(initialState)
val handlers = computeHandlers(m)
class ResultException(val result: InterpreterResult): RuntimeException()
class ResultException(val result: InterpreterResult) : RuntimeException()
fun exceptionCaught(exceptionValue: Value, instanceOf: (Type) -> Boolean): Boolean {
val catchBlocks = handlers[m.instructions.indexOf(currentInsn)] ?: listOf()
@@ -114,23 +114,21 @@ fun interpreterLoop(
return false
}
fun exceptionCaught(exceptionValue: Value): Boolean = exceptionCaught(exceptionValue) {
exceptionType -> eval.isInstanceOf(exceptionValue, exceptionType)
fun exceptionCaught(exceptionValue: Value): Boolean = exceptionCaught(exceptionValue) { exceptionType ->
eval.isInstanceOf(exceptionValue, exceptionType)
}
fun exceptionFromEvalCaught(exception: Throwable, exceptionValue: Value): Boolean {
return exceptionCaught(exceptionValue) {
exceptionType ->
return exceptionCaught(exceptionValue) { exceptionType ->
try {
val exceptionClass = exception::class.java
val _class = Class.forName(
exceptionType.internalName.replace('/', '.'),
true,
exceptionClass.classLoader
exceptionType.internalName.replace('/', '.'),
true,
exceptionClass.classLoader
)
_class.isAssignableFrom(exceptionClass)
}
catch (e: ClassNotFoundException) {
} catch (e: ClassNotFoundException) {
// If the class is not available in this VM, it can not be a superclass of an exception trown in it
false
}
@@ -164,16 +162,16 @@ fun interpreterLoop(
}
// TODO: switch
LOOKUPSWITCH -> UnsupportedByteCodeException("LOOKUPSWITCH is not supported yet")
TABLESWITCH -> UnsupportedByteCodeException("TABLESWITCH is not supported yet")
LOOKUPSWITCH -> throw UnsupportedByteCodeException("LOOKUPSWITCH is not supported yet")
TABLESWITCH -> throw UnsupportedByteCodeException("TABLESWITCH is not supported yet")
IRETURN, LRETURN, FRETURN, DRETURN, ARETURN -> {
val value = frame.getStackTop()
val expectedType = Type.getReturnType(m.desc)
if (expectedType.sort == Type.OBJECT || expectedType.sort == Type.ARRAY) {
val coerced = if (value != NULL_VALUE && value.asmType != expectedType)
ObjectValue(value.obj(), expectedType)
else value
ObjectValue(value.obj(), expectedType)
else value
return ValueReturned(coerced)
}
if (value.asmType != expectedType) {
@@ -216,24 +214,25 @@ fun interpreterLoop(
}
// Workaround for a bug in Kotlin: NoPatterMatched exception is thrown otherwise!
else -> {}
else -> {
}
}
try {
frame.execute(currentInsn, interpreter)
}
catch (e: ThrownFromEvalExceptionBase) {
} catch (e: ThrownFromEvalExceptionBase) {
val exception = e.cause!!
val exceptionValue = ObjectValue(exception, Type.getType(exception::class.java))
val handled = handler.exceptionThrown(frame, currentInsn,
exceptionValue)
val handled = handler.exceptionThrown(
frame, currentInsn,
exceptionValue
)
if (handled != null) return handled
if (exceptionFromEvalCaught(exception, exceptionValue)) continue@loop
val exceptionType = if (e is BrokenCode) ExceptionKind.BROKEN_CODE else ExceptionKind.FROM_EVALUATOR
return ExceptionThrown(exceptionValue, exceptionType)
}
catch (e: ThrownFromEvaluatedCodeException) {
} catch (e: ThrownFromEvaluatedCodeException) {
val handled = handler.exceptionThrown(frame, currentInsn, e.exception)
if (handled != null) return handled
if (exceptionCaught(e.exception)) continue@loop
@@ -247,23 +246,24 @@ fun interpreterLoop(
goto(currentInsn.next)
}
}
catch(e: ResultException) {
} catch (e: ResultException) {
return e.result
}
}
private fun <T: Value> Frame<T>.getStackTop(i: Int = 0) = this.getStack(this.stackSize - 1 - i) ?: throwBrokenCodeException(IllegalArgumentException("Couldn't get value with index = $i from top of stack"))
private fun <T : Value> Frame<T>.getStackTop(i: Int = 0) = this.getStack(this.stackSize - 1 - i) ?: throwBrokenCodeException(
IllegalArgumentException("Couldn't get value with index = $i from top of stack")
)
// Copied from org.jetbrains.org.objectweb.asm.tree.analysis.Analyzer.analyze()
fun computeHandlers(m: MethodNode): Array<out List<TryCatchBlockNode>?> {
val insns = m.instructions
val handlers = Array<MutableList<TryCatchBlockNode>?>(insns.size()) {null}
val handlers = Array<MutableList<TryCatchBlockNode>?>(insns.size()) { null }
for (tcb in m.tryCatchBlocks) {
val begin = insns.indexOf(tcb.start)
val end = insns.indexOf(tcb.end)
for (i in begin..end - 1) {
val insnHandlers = handlers[i] ?: ArrayList<TryCatchBlockNode>()
for (i in begin until end) {
val insnHandlers = handlers[i] ?: ArrayList()
handlers[i] = insnHandlers
insnHandlers.add(tcb)
@@ -32,21 +32,21 @@ private val OBJECT = Type.getType(Any::class.java)
private val BOOTSTRAP_CLASS_DESCRIPTORS = setOf("Ljava/lang/String;", "Ljava/lang/ClassLoader;", "Ljava/lang/Class;")
class JDIEval(
private val vm: VirtualMachine,
private val defaultClassLoader: ClassLoaderReference?,
private val thread: ThreadReference,
private val invokePolicy: Int
private val vm: VirtualMachine,
private val defaultClassLoader: ClassLoaderReference?,
private val thread: ThreadReference,
private val invokePolicy: Int
) : Eval {
private val primitiveTypes = mapOf(
Type.BOOLEAN_TYPE.className to vm.mirrorOf(true).type(),
Type.BYTE_TYPE.className to vm.mirrorOf(1.toByte()).type(),
Type.SHORT_TYPE.className to vm.mirrorOf(1.toShort()).type(),
Type.INT_TYPE.className to vm.mirrorOf(1).type(),
Type.CHAR_TYPE.className to vm.mirrorOf('1').type(),
Type.LONG_TYPE.className to vm.mirrorOf(1L).type(),
Type.FLOAT_TYPE.className to vm.mirrorOf(1.0f).type(),
Type.DOUBLE_TYPE.className to vm.mirrorOf(1.0).type()
Type.BOOLEAN_TYPE.className to vm.mirrorOf(true).type(),
Type.BYTE_TYPE.className to vm.mirrorOf(1.toByte()).type(),
Type.SHORT_TYPE.className to vm.mirrorOf(1.toShort()).type(),
Type.INT_TYPE.className to vm.mirrorOf(1).type(),
Type.CHAR_TYPE.className to vm.mirrorOf('1').type(),
Type.LONG_TYPE.className to vm.mirrorOf(1L).type(),
Type.FLOAT_TYPE.className to vm.mirrorOf(1.0f).type(),
Type.DOUBLE_TYPE.className to vm.mirrorOf(1.0).type()
)
private val isJava8OrLater = StringUtil.compareVersionNumbers(vm.version(), "1.8") >= 0
@@ -55,9 +55,9 @@ class JDIEval(
return loadClass(classType, defaultClassLoader)
}
fun loadClass(classType: Type, classLoader: ClassLoaderReference?): Value {
private fun loadClass(classType: Type, classLoader: ClassLoaderReference?): Value {
val loadedClasses = vm.classesByName(classType.internalName)
if (!loadedClasses.isEmpty()) {
if (loadedClasses.isNotEmpty()) {
for (loadedClass in loadedClasses) {
if (loadedClass.isPrepared && (classType.descriptor in BOOTSTRAP_CLASS_DESCRIPTORS || loadedClass.classLoader() == classLoader)) {
return loadedClass.classObject().asValue()
@@ -66,33 +66,32 @@ class JDIEval(
}
if (classLoader == null) {
return invokeStaticMethod(
MethodDescription(
CLASS.internalName,
"forName",
"(Ljava/lang/String;)Ljava/lang/Class;",
true
),
listOf(vm.mirrorOf(classType.internalName.replace('/', '.')).asValue())
MethodDescription(
CLASS.internalName,
"forName",
"(Ljava/lang/String;)Ljava/lang/Class;",
true
),
listOf(vm.mirrorOf(classType.internalName.replace('/', '.')).asValue())
)
}
else {
} else {
return invokeStaticMethod(
MethodDescription(
CLASS.internalName,
"forName",
"(Ljava/lang/String;ZLjava/lang/ClassLoader;)Ljava/lang/Class;",
true
),
listOf(
vm.mirrorOf(classType.internalName.replace('/', '.')).asValue(),
boolean(true),
classLoader.asValue()
)
MethodDescription(
CLASS.internalName,
"forName",
"(Ljava/lang/String;ZLjava/lang/ClassLoader;)Ljava/lang/Class;",
true
),
listOf(
vm.mirrorOf(classType.internalName.replace('/', '.')).asValue(),
boolean(true),
classLoader.asValue()
)
)
}
}
fun loadClassByName(name: String, classLoader: ClassLoaderReference): jdi_Type {
private fun loadClassByName(name: String, classLoader: ClassLoaderReference): jdi_Type {
val dimensions = name.count { it == '[' }
val baseTypeName = if (dimensions > 0) name.substring(0, name.indexOf('[')) else name
@@ -115,20 +114,24 @@ class JDIEval(
"Can't check isInstanceOf() for non-object type $targetType"
}
val _class = loadClass(targetType)
val clazz = loadClass(targetType)
return invokeMethod(
_class,
MethodDescription(
CLASS.internalName,
"isInstance",
"(Ljava/lang/Object;)Z",
false
),
listOf(value)).boolean
clazz,
MethodDescription(
CLASS.internalName,
"isInstance",
"(Ljava/lang/Object;)Z",
false
),
listOf(value)
).boolean
}
fun Type.asReferenceType(classLoader: ClassLoaderReference? = this@JDIEval.defaultClassLoader): ReferenceType = loadClass(this, classLoader).jdiClass!!.reflectedType()
fun Type.asArrayType(classLoader: ClassLoaderReference? = this@JDIEval.defaultClassLoader): ArrayType = asReferenceType(classLoader) as ArrayType
private fun Type.asReferenceType(classLoader: ClassLoaderReference? = this@JDIEval.defaultClassLoader): ReferenceType =
loadClass(this, classLoader).jdiClass!!.reflectedType()
private fun Type.asArrayType(classLoader: ClassLoaderReference? = this@JDIEval.defaultClassLoader): ArrayType =
asReferenceType(classLoader) as ArrayType
override fun newArray(arrayType: Type, size: Int): Value {
val jdiArrayType = arrayType.asArrayType()
@@ -143,11 +146,11 @@ class JDIEval(
private fun fillArray(elementType: Type, size: Int, nestedSizes: List<Int>): Value {
val arr = newArray(Type.getType("[" + elementType.descriptor), size)
if (!nestedSizes.isEmpty()) {
if (nestedSizes.isNotEmpty()) {
val nestedElementType = elementType.arrayElementType
val nestedSize = nestedSizes[0]
val tail = nestedSizes.drop(1)
for (i in 0..size - 1) {
for (i in 0 until size) {
setArrayElement(arr, int(i), fillArray(nestedElementType, nestedSize, tail))
}
}
@@ -167,8 +170,7 @@ class JDIEval(
override fun getArrayElement(array: Value, index: Value): Value {
try {
return array.array().getValue(index.int).asValue()
}
catch (e: IndexOutOfBoundsException) {
} catch (e: IndexOutOfBoundsException) {
throwInterpretingException(ArrayIndexOutOfBoundsException(e.message))
}
}
@@ -176,8 +178,7 @@ class JDIEval(
override fun setArrayElement(array: Value, index: Value, newValue: Value) {
try {
return array.array().setValue(index.int, newValue.asJdiValue(vm, array.asmType.arrayElementType))
}
catch (e: IndexOutOfBoundsException) {
} catch (e: IndexOutOfBoundsException) {
throwInterpretingException(ArrayIndexOutOfBoundsException(e.message))
}
}
@@ -210,13 +211,11 @@ class JDIEval(
throwBrokenCodeException(NoSuchFieldError("Can't modify a final field: $field"))
}
val _class = field.declaringType()
if (_class !is ClassType) {
throwBrokenCodeException(NoSuchFieldError("Can't a field in a non-class: $field"))
}
val clazz = field.declaringType() as? ClassType
?: throwBrokenCodeException(NoSuchFieldError("Can't a field in a non-class: $field"))
val jdiValue = newValue.asJdiValue(vm, field.type().asType())
mayThrow { _class.setValue(field, jdiValue) }.ifFail(field)
mayThrow { clazz.setValue(field, jdiValue) }.ifFail(field)
}
private fun findMethod(methodDesc: MethodDescription, clazz: ReferenceType = methodDesc.ownerType.asReferenceType()): Method {
@@ -260,9 +259,9 @@ class JDIEval(
name.startsWith(internalNameWithoutSuffix) && canBeMangledInternalName(name) && it.signature() == methodDesc.desc
}
if (!internalMethods.isEmpty()) {
return internalMethods.singleOrNull() ?:
throwBrokenCodeException(IllegalArgumentException("Several internal methods found for $methodDesc"))
if (internalMethods.isNotEmpty()) {
return internalMethods.singleOrNull()
?: throwBrokenCodeException(IllegalArgumentException("Several internal methods found for $methodDesc"))
}
}
@@ -313,9 +312,11 @@ class JDIEval(
try {
receiver.getValue(field)
} catch (e: IllegalArgumentException) {
throw IllegalArgumentException("Possibly incompatible types: " +
"field declaring type = ${field.declaringType()}, " +
"instance type = ${receiver.referenceType()}")
throw IllegalArgumentException(
"Possibly incompatible types: " +
"field declaring type = ${field.declaringType()}, " +
"instance type = ${receiver.referenceType()}"
)
}
}.ifFail(field, receiver).asValue()
}
@@ -328,7 +329,7 @@ class JDIEval(
mayThrow { receiver.setValue(field, jdiValue) }
}
fun unboxType(boxedValue: Value, type: Type): Value {
private fun unboxType(boxedValue: Value, type: Type): Value {
val method = when (type) {
Type.INT_TYPE -> MethodDescription("java/lang/Integer", "intValue", "()I", false)
Type.BOOLEAN_TYPE -> MethodDescription("java/lang/Boolean", "booleanValue", "()Z", false)
@@ -343,29 +344,14 @@ class JDIEval(
return invokeMethod(boxedValue, method, listOf(), true)
}
fun boxType(value: Value): Value {
val method = when (value.asmType) {
Type.INT_TYPE -> MethodDescription("java/lang/Integer", "valueOf", "(I)Ljava/lang/Integer;", false)
Type.BYTE_TYPE -> MethodDescription("java/lang/Byte", "valueOf", "(B)Ljava/lang/Byte;", false)
Type.SHORT_TYPE -> MethodDescription("java/lang/Short", "valueOf", "(S)Ljava/lang/Short;", false)
Type.LONG_TYPE -> MethodDescription("java/lang/Long", "valueOf", "(J)Ljava/lang/Long;", false)
Type.BOOLEAN_TYPE -> MethodDescription("java/lang/Boolean", "valueOf", "(Z)Ljava/lang/Boolean;", false)
Type.CHAR_TYPE -> MethodDescription("java/lang/Character", "valueOf", "(C)Ljava/lang/Character;", false)
Type.FLOAT_TYPE -> MethodDescription("java/lang/Float", "valueOf", "(F)Ljava/lang/Float;", false)
Type.DOUBLE_TYPE -> MethodDescription("java/lang/Double", "valueOf", "(D)Ljava/lang/Double;", false)
else -> throw UnsupportedOperationException("Couldn't box non-primitive type ${value.asmType.internalName}")
}
return invokeStaticMethod(method, listOf(value))
}
override fun invokeMethod(instance: Value, methodDesc: MethodDescription, arguments: List<Value>, invokespecial: Boolean): Value {
if (invokespecial && methodDesc.name == "<init>") {
// Constructor call
val ctor = findMethod(methodDesc)
val _class = (instance as NewObjectValue).asmType.asReferenceType() as ClassType
val clazz = (instance as NewObjectValue).asmType.asReferenceType() as ClassType
val args = mapArguments(arguments, ctor.safeArgumentTypes())
args.disableCollection()
val result = mayThrow { _class.newInstance(thread, ctor, args, invokePolicy) }.ifFail(ctor)
val result = mayThrow { clazz.newInstance(thread, ctor, args, invokePolicy) }.ifFail(ctor)
args.enableCollection()
instance.value = result
return result.asValue()
@@ -388,8 +374,7 @@ class JDIEval(
return if (invokespecial) {
val method = findMethod(methodDesc)
doInvokeMethod(obj, method, invokePolicy or ObjectReference.INVOKE_NONVIRTUAL)
}
else {
} else {
val method = findMethod(methodDesc, obj.referenceType() ?: methodDesc.ownerType.asReferenceType())
doInvokeMethod(obj, method, invokePolicy)
}
@@ -415,36 +400,36 @@ class JDIEval(
private fun invokeMethodWithReflection(ownerType: Type, instance: Value, args: List<jdi_Value?>, methodDesc: MethodDescription): Value {
val methodToInvoke = invokeMethod(
loadClass(ownerType),
MethodDescription(
CLASS.internalName,
"getDeclaredMethod",
"(Ljava/lang/String;[L${CLASS.internalName};)Ljava/lang/reflect/Method;",
true
),
listOf(vm.mirrorOf(methodDesc.name).asValue(), *methodDesc.parameterTypes.map { loadClass(it) }.toTypedArray())
loadClass(ownerType),
MethodDescription(
CLASS.internalName,
"getDeclaredMethod",
"(Ljava/lang/String;[L${CLASS.internalName};)Ljava/lang/reflect/Method;",
true
),
listOf(vm.mirrorOf(methodDesc.name).asValue(), *methodDesc.parameterTypes.map { loadClass(it) }.toTypedArray())
)
invokeMethod(
methodToInvoke,
MethodDescription(
Type.getType(AccessibleObject::class.java).internalName,
"setAccessible",
"(Z)V",
true
),
listOf(vm.mirrorOf(true).asValue())
methodToInvoke,
MethodDescription(
Type.getType(AccessibleObject::class.java).internalName,
"setAccessible",
"(Z)V",
true
),
listOf(vm.mirrorOf(true).asValue())
)
val invocationResult = invokeMethod(
methodToInvoke,
MethodDescription(
methodToInvoke.asmType.internalName,
"invoke",
"(L${OBJECT.internalName};[L${OBJECT.internalName};)L${OBJECT.internalName};",
true
),
listOf(instance, mirrorOfArgs(args))
methodToInvoke,
MethodDescription(
methodToInvoke.asmType.internalName,
"invoke",
"(L${OBJECT.internalName};[L${OBJECT.internalName};)L${OBJECT.internalName};",
true
),
listOf(instance, mirrorOfArgs(args))
)
if (methodDesc.returnType.sort != Type.OBJECT && methodDesc.returnType.sort != Type.ARRAY && methodDesc.returnType.sort != Type.VOID) {
@@ -501,7 +486,7 @@ class JDIEval(
"float" -> primitiveTypes.getValue(Type.FLOAT_TYPE.className)
"double" -> primitiveTypes.getValue(Type.DOUBLE_TYPE.className)
else -> virtualMachine().classesByName(name).firstOrNull()
?: throw IllegalStateException("Unknown class $name")
?: throw IllegalStateException("Unknown class $name")
}
}
}
@@ -510,18 +495,16 @@ class JDIEval(
@Suppress("unused")
private sealed class JdiOperationResult<T> {
class Fail<T>(val cause: Exception): JdiOperationResult<T>()
class OK<T>(val value: T): JdiOperationResult<T>()
class Fail<T>(val cause: Exception) : JdiOperationResult<T>()
class OK<T>(val value: T) : JdiOperationResult<T>()
}
private fun <T> mayThrow(f: () -> T): JdiOperationResult<T> {
try {
return JdiOperationResult.OK(f())
}
catch (e: IllegalArgumentException) {
return JdiOperationResult.Fail<T>(e)
}
catch (e: InvocationException) {
return try {
JdiOperationResult.OK(f())
} catch (e: IllegalArgumentException) {
JdiOperationResult.Fail(e)
} catch (e: InvocationException) {
throw ThrownFromEvaluatedCodeException(e.exception().asValue())
}
}
@@ -535,13 +518,12 @@ private fun <T> JdiOperationResult<T>.ifFail(member: TypeComponent, thisObj: Obj
}
private fun <T> JdiOperationResult<T>.ifFail(lazyMessage: () -> String): T {
return when(this) {
return when (this) {
is JdiOperationResult.OK -> this.value
is JdiOperationResult.Fail -> {
if (cause is IllegalArgumentException) {
throwBrokenCodeException(IllegalArgumentException(lazyMessage(), this.cause))
}
else {
} else {
throwBrokenCodeException(IllegalStateException(lazyMessage(), this.cause))
}
}
@@ -62,7 +62,7 @@ fun makeInitialFrame(methodNode: MethodNode, arguments: List<Value>): Frame<Valu
return frame
}
class JDIFailureException(message: String?, cause: Throwable? = null): RuntimeException(message, cause)
class JDIFailureException(message: String?, cause: Throwable? = null) : RuntimeException(message, cause)
fun jdi_ObjectReference?.asValue(): ObjectValue {
return when (this) {
@@ -22,10 +22,10 @@ import org.jetbrains.org.objectweb.asm.tree.FieldInsnNode
import org.jetbrains.org.objectweb.asm.tree.MethodInsnNode
open class MemberDescription protected constructor(
val ownerInternalName: String,
val name: String,
val desc: String,
val isStatic: Boolean
val ownerInternalName: String,
val name: String,
val desc: String,
val isStatic: Boolean
) {
override fun equals(other: Any?): Boolean {
if (this === other) return true
@@ -34,7 +34,7 @@ open class MemberDescription protected constructor(
&& name == other.name
&& desc == other.desc
&& isStatic == other.isStatic
)
)
}
override fun hashCode(): Int {
@@ -53,19 +53,13 @@ val MemberDescription.ownerType: Type
get() = Type.getObjectType(ownerInternalName)
class MethodDescription(
ownerInternalName: String,
name: String,
desc: String,
isStatic: Boolean
) : MemberDescription(ownerInternalName, name, desc, isStatic)
fun MethodDescription(insn: MethodInsnNode): MethodDescription =
MethodDescription(
insn.owner,
insn.name,
insn.desc,
insn.opcode == INVOKESTATIC
)
ownerInternalName: String,
name: String,
desc: String,
isStatic: Boolean
) : MemberDescription(ownerInternalName, name, desc, isStatic) {
constructor(insn: MethodInsnNode) : this(insn.owner, insn.name, insn.desc, insn.opcode == INVOKESTATIC)
}
val MethodDescription.returnType: Type
get() = Type.getReturnType(desc)
@@ -75,19 +69,13 @@ val MethodDescription.parameterTypes: List<Type>
class FieldDescription(
ownerInternalName: String,
name: String,
desc: String,
isStatic: Boolean
) : MemberDescription(ownerInternalName, name, desc, isStatic)
fun FieldDescription(insn: FieldInsnNode): FieldDescription =
FieldDescription(
insn.owner,
insn.name,
insn.desc,
insn.opcode in setOf(GETSTATIC, PUTSTATIC)
)
ownerInternalName: String,
name: String,
desc: String,
isStatic: Boolean
) : MemberDescription(ownerInternalName, name, desc, isStatic) {
constructor(insn: FieldInsnNode) : this(insn.owner, insn.name, insn.desc, insn.opcode in setOf(GETSTATIC, PUTSTATIC))
}
val FieldDescription.fieldType: Type
get() = Type.getType(desc)
@@ -27,7 +27,8 @@ interface Value : org.jetbrains.org.objectweb.asm.tree.analysis.Value {
override fun toString(): String
}
object NOT_A_VALUE: Value {
@Suppress("ClassName")
object NOT_A_VALUE : Value {
override val asmType = Type.getObjectType("<invalid>")
override val valid = false
override fun getSize(): Int = 1
@@ -35,7 +36,8 @@ object NOT_A_VALUE: Value {
override fun toString() = "NOT_A_VALUE"
}
object VOID_VALUE: Value {
@Suppress("ClassName")
object VOID_VALUE : Value {
override val asmType: Type = Type.VOID_TYPE
override val valid: Boolean = false
override fun toString() = "VOID_VALUE"
@@ -48,13 +50,13 @@ fun makeNotInitializedValue(t: Type): Value? {
}
}
class NotInitialized(override val asmType: Type): Value {
class NotInitialized(override val asmType: Type) : Value {
override val valid = false
override fun toString() = "NotInitialized: $asmType"
}
abstract class AbstractValueBase<out V>(
override val asmType: Type
override val asmType: Type
) : Value {
override val valid = true
abstract val value: V
@@ -72,24 +74,22 @@ abstract class AbstractValueBase<out V>(
}
}
abstract class AbstractValue<V>(
override val value: V,
asmType: Type
) : AbstractValueBase<V>(asmType)
abstract class AbstractValue<V>(override val value: V, asmType: Type) : AbstractValueBase<V>(asmType)
class IntValue(value: Int, asmType: Type): AbstractValue<Int>(value, asmType)
class LongValue(value: Long): AbstractValue<Long>(value, Type.LONG_TYPE)
class FloatValue(value: Float): AbstractValue<Float>(value, Type.FLOAT_TYPE)
class DoubleValue(value: Double): AbstractValue<Double>(value, Type.DOUBLE_TYPE)
open class ObjectValue(value: Any?, asmType: Type): AbstractValue<Any?>(value, asmType)
class NewObjectValue(asmType: Type): ObjectValue(null, asmType) {
class IntValue(value: Int, asmType: Type) : AbstractValue<Int>(value, asmType)
class LongValue(value: Long) : AbstractValue<Long>(value, Type.LONG_TYPE)
class FloatValue(value: Float) : AbstractValue<Float>(value, Type.FLOAT_TYPE)
class DoubleValue(value: Double) : AbstractValue<Double>(value, Type.DOUBLE_TYPE)
open class ObjectValue(value: Any?, asmType: Type) : AbstractValue<Any?>(value, asmType)
class NewObjectValue(asmType: Type) : ObjectValue(null, asmType) {
override var value: Any? = null
get(): Any? {
return field ?: throw IllegalStateException("Trying to access an unitialized object: $this")
}
}
class LabelValue(value: LabelNode): AbstractValue<LabelNode>(value, Type.VOID_TYPE)
class LabelValue(value: LabelNode) : AbstractValue<LabelNode>(value, Type.VOID_TYPE)
fun boolean(v: Boolean) = IntValue(if (v) 1 else 0, Type.BOOLEAN_TYPE)
fun byte(v: Byte) = IntValue(v.toInt(), Type.BYTE_TYPE)
@@ -99,7 +99,6 @@ fun int(v: Int) = IntValue(v, Type.INT_TYPE)
fun long(v: Long) = LongValue(v)
fun float(v: Float) = FloatValue(v)
fun double(v: Double) = DoubleValue(v)
//fun <T> obj(v: T, t: Type = if (v != null) Type.getType(v.javaClass) else Type.getType(Any::class.java)) = ObjectValue(v, t)
val NULL_VALUE = ObjectValue(null, Type.getObjectType("null"))
@@ -108,12 +107,13 @@ val Value.int: Int get() = (this as IntValue).value
val Value.long: Long get() = (this as LongValue).value
val Value.float: Float get() = (this as FloatValue).value
val Value.double: Double get() = (this as DoubleValue).value
fun Value.obj(expectedType: Type = asmType): Any? {
return when {
expectedType == Type.BOOLEAN_TYPE -> this.boolean
expectedType == Type.SHORT_TYPE -> (this as IntValue).int.toShort()
expectedType == Type.BYTE_TYPE -> (this as IntValue).int.toByte()
expectedType == Type.CHAR_TYPE -> (this as IntValue).int.toChar()
return when (expectedType) {
Type.BOOLEAN_TYPE -> this.boolean
Type.SHORT_TYPE -> (this as IntValue).int.toShort()
Type.BYTE_TYPE -> (this as IntValue).int.toByte()
Type.CHAR_TYPE -> (this as IntValue).int.toChar()
else -> (this as AbstractValue<*>).value
}
}