org.evosuite.instrumentation.testability

Class BooleanTestabilityTransformation

java.lang.Object

org.evosuite.instrumentation.testability.BooleanTestabilityTransformation

public class BooleanTestabilityTransformation
extends Object

Transform everything Boolean to ints. This transformation replaces: - TRUE/FALSE with +K/-K - IFEQ/IFNE with IFLE/IFGT - Signatures in fields and calls - Inserts calls to remember distance of last boolean calculation - Inserts calls to recall distance of last boolean calculation when Boolean is used

Author:

Gordon Fraser

Field Summary

Fields

Modifier and Type	Field and Description
ClassLoader	classLoader
String	className
org.objectweb.asm.tree.analysis.Frame[]	currentFrames
static org.slf4j.Logger	logger

Constructor Summary

Constructors

Constructor and Description
BooleanTestabilityTransformation(org.objectweb.asm.tree.ClassNode cn, ClassLoader classLoader) Constructor for BooleanTestabilityTransformation.

Method Summary

Modifier and Type	Method and Description
static String	getOriginalDesc(String className, String methodName, String desc) getOriginalDesc
static String	getOriginalNameDesc(String className, String methodName, String desc) getOriginalNameDesc
static boolean	hasTransformedParameters(String className, String methodName, String desc) hasTransformedParameters
void	insertGet(org.objectweb.asm.tree.AbstractInsnNode position, org.objectweb.asm.tree.InsnList list) Insert a call that takes a boolean from the stack, and returns the appropriate distance
void	insertGetBefore(org.objectweb.asm.tree.AbstractInsnNode position, org.objectweb.asm.tree.InsnList list) Insert a call that takes a boolean from the stack, and returns the appropriate distance
void	insertPush(int opcode, org.objectweb.asm.tree.JumpInsnNode position, org.objectweb.asm.tree.InsnList list) Insert a call to the distance function for unary comparison
void	insertPush2(int opcode, org.objectweb.asm.tree.JumpInsnNode position, org.objectweb.asm.tree.InsnList list) Insert a call to the distance function for binary comparison
void	insertPushEquals(int opcode, org.objectweb.asm.tree.JumpInsnNode position, org.objectweb.asm.tree.InsnList list) Insert a call to the reference equality check helper function
void	insertPushNull(int opcode, org.objectweb.asm.tree.JumpInsnNode position, org.objectweb.asm.tree.InsnList list) Insert a call to the isNull helper function
boolean	isBooleanAssignment(org.objectweb.asm.tree.AbstractInsnNode position, org.objectweb.asm.tree.MethodNode mn) This helper function determines whether the boolean on the stack at the current position will be stored in a Boolean variable
boolean	isBooleanOnStack(org.objectweb.asm.tree.MethodNode mn, org.objectweb.asm.tree.AbstractInsnNode node, int position)
boolean	isBooleanVariable(int var, org.objectweb.asm.tree.MethodNode mn)
static boolean	isTransformedField(String className, String fieldName, String desc) isTransformedField
org.objectweb.asm.tree.ClassNode	transform() Transform all methods and fields
String	transformFieldDescriptor(String owner, String name, String desc) Determine if the signature of the given field needs to be transformed, and transform if necessary
String	transformMethodDescriptor(String owner, String name, String desc) Determine if the signature of the given method needs to be transformed, and transform if necessary

Methods inherited from class java.lang.Object

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

Field Detail

logger

public static final org.slf4j.Logger logger

className

public final String className

currentFrames

public org.objectweb.asm.tree.analysis.Frame[] currentFrames

classLoader

public ClassLoader classLoader

Constructor Detail

BooleanTestabilityTransformation

public BooleanTestabilityTransformation(org.objectweb.asm.tree.ClassNode cn,
                                        ClassLoader classLoader)

Constructor for BooleanTestabilityTransformation.

Parameters:

cn - a ClassNode object.

Method Detail

transform

public org.objectweb.asm.tree.ClassNode transform()

Transform all methods and fields

Returns:

a ClassNode object.

getOriginalNameDesc

public static String getOriginalNameDesc(String className,
                                         String methodName,
                                         String desc)

getOriginalNameDesc

Parameters:

className - a String object.

methodName - a String object.

desc - a String object.

Returns:

a String object.

getOriginalDesc

public static String getOriginalDesc(String className,
                                     String methodName,
                                     String desc)

getOriginalDesc

Parameters:

className - a String object.

methodName - a String object.

desc - a String object.

Returns:

a String object.

hasTransformedParameters

public static boolean hasTransformedParameters(String className,
                                               String methodName,
                                               String desc)

hasTransformedParameters

Parameters:

className - a String object.

methodName - a String object.

desc - a String object.

Returns:

a boolean.

isTransformedField

public static boolean isTransformedField(String className,
                                         String fieldName,
                                         String desc)

isTransformedField

Parameters:

className - a String object.

fieldName - a String object.

desc - a String object.

Returns:

a boolean.

insertPushNull

public void insertPushNull(int opcode,
                           org.objectweb.asm.tree.JumpInsnNode position,
                           org.objectweb.asm.tree.InsnList list)

Insert a call to the isNull helper function

Parameters:

opcode -

position -

list -

insertPushEquals

public void insertPushEquals(int opcode,
                             org.objectweb.asm.tree.JumpInsnNode position,
                             org.objectweb.asm.tree.InsnList list)

Insert a call to the reference equality check helper function

Parameters:

opcode -

position -

list -

insertPush

public void insertPush(int opcode,
                       org.objectweb.asm.tree.JumpInsnNode position,
                       org.objectweb.asm.tree.InsnList list)

Insert a call to the distance function for unary comparison

Parameters:

opcode -

position -

list -

insertPush2

public void insertPush2(int opcode,
                        org.objectweb.asm.tree.JumpInsnNode position,
                        org.objectweb.asm.tree.InsnList list)

Insert a call to the distance function for binary comparison

Parameters:

opcode -

position -

list -

insertGet

public void insertGet(org.objectweb.asm.tree.AbstractInsnNode position,
                      org.objectweb.asm.tree.InsnList list)

Insert a call that takes a boolean from the stack, and returns the appropriate distance

Parameters:

position -

list -

insertGetBefore

public void insertGetBefore(org.objectweb.asm.tree.AbstractInsnNode position,
                            org.objectweb.asm.tree.InsnList list)

Insert a call that takes a boolean from the stack, and returns the appropriate distance

Parameters:

position -

list -

isBooleanOnStack

public boolean isBooleanOnStack(org.objectweb.asm.tree.MethodNode mn,
                                org.objectweb.asm.tree.AbstractInsnNode node,
                                int position)

isBooleanVariable

public boolean isBooleanVariable(int var,
                                 org.objectweb.asm.tree.MethodNode mn)

isBooleanAssignment

public boolean isBooleanAssignment(org.objectweb.asm.tree.AbstractInsnNode position,
                                   org.objectweb.asm.tree.MethodNode mn)

This helper function determines whether the boolean on the stack at the current position will be stored in a Boolean variable

Parameters:

position -

mn -

Returns:

transformMethodDescriptor

public String transformMethodDescriptor(String owner,
                                        String name,
                                        String desc)

Determine if the signature of the given method needs to be transformed, and transform if necessary

Parameters:

owner -

name -

desc -

Returns:

transformFieldDescriptor

public String transformFieldDescriptor(String owner,
                                       String name,
                                       String desc)

Determine if the signature of the given field needs to be transformed, and transform if necessary

Parameters:

owner -

name -

desc -

Returns: