org.evosuite.symbolic.instrument

Class ConcolicBytecodeInstrumentation

java.lang.Object

org.evosuite.symbolic.instrument.ConcolicBytecodeInstrumentation

public class ConcolicBytecodeInstrumentation
extends Object

This class performns the bytecode transformation. It adds new bytecode for registering the constraints during execution.

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
ConcolicBytecodeInstrumentation()

Method Summary

Modifier and Type	Method and Description
byte[]	transformBytes(String className, org.objectweb.asm.ClassReader reader) Applies DscClassAdapter to the className in the argument

Methods inherited from class java.lang.Object

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

Constructor Detail

ConcolicBytecodeInstrumentation

public ConcolicBytecodeInstrumentation()

Method Detail

transformBytes

public byte[] transformBytes(String className,
                             org.objectweb.asm.ClassReader reader)

Applies DscClassAdapter to the className in the argument