org.evosuite.assertion

Class CheapPurityAnalyzer

java.lang.Object

org.evosuite.assertion.CheapPurityAnalyzer

public class CheapPurityAnalyzer
extends Object

This class performs a very cheap purity analysis by under-approximating the set of pure methods. It does not use any kind of escape-analysis. The purity analysis is solely based on already collected bytecode instructions during class loading. A method is cheap-pure if and only if:

• The method is listed in the JdkPureMethodList
• There is no declared overriding method that is not cheap-pure
• All invoked classes are loaded in the inheritance tree
• Has no PUTSTATIC nor PUTFIELD instructions
• All static invocations (INVOKESTATIC) are made to cheap-pure static methods
• All special invocations (INVOKESPECIAL) are also made to cheap-pure methods
• All interface invocations (INVOKEINTERFACE) are also made to cheap-pure methods

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
CheapPurityAnalyzer()

Method Summary

Modifier and Type	Method and Description
void	addInterfaceCall(String sourceClassName, String sourceMethodName, String sourceDescriptor, String targetClassName, String targetMethodName, String targetDescriptor)
void	addInterfaceMethod(String className, String methodName, String methodDescriptor)
void	addMethod(String className, String methodName, String methodDescriptor)
void	addMethodWithBody(String className, String methodName, String methodDescriptor)
void	addSpecialCall(String sourceClassName, String sourceMethodName, String sourceDescriptor, String targetClassName, String targetMethodName, String targetDescriptor)
void	addStaticCall(String sourceClassName, String sourceMethodName, String sourceDescriptor, String targetClassName, String targetMethodName, String targetDescriptor)
void	addUpdatesFieldMethod(String className, String methodName, String descriptor)
void	addVirtualCall(String sourceClassName, String sourceMethodName, String sourceDescriptor, String targetClassName, String targetMethodName, String targetDescriptor)
static CheapPurityAnalyzer	getInstance()
List<String>	getPureMethods(String className)
boolean	isPure(Method method) Returns if a Method is cheap-pure
boolean	isPure(String className, String methodName, String descriptor) Returns if the method is cheap-pure.

Methods inherited from class java.lang.Object

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

Constructor Detail

CheapPurityAnalyzer

public CheapPurityAnalyzer()

Method Detail

getInstance

public static CheapPurityAnalyzer getInstance()

getPureMethods

public List<String> getPureMethods(String className)

isPure

public boolean isPure(String className,
                      String methodName,
                      String descriptor)

Returns if the method is cheap-pure.

Parameters:

className - The declaring class name

methodName - The method name

descriptor - The method descriptor

Returns:

true if the method is cheap-pure, false otherwise

isPure

public boolean isPure(Method method)

Returns if a Method is cheap-pure

Parameters:

method -

Returns:

true if the method is cheap-pure, otherwise false.

addMethod

public void addMethod(String className,
                      String methodName,
                      String methodDescriptor)

addUpdatesFieldMethod

public void addUpdatesFieldMethod(String className,
                                  String methodName,
                                  String descriptor)

addStaticCall

public void addStaticCall(String sourceClassName,
                          String sourceMethodName,
                          String sourceDescriptor,
                          String targetClassName,
                          String targetMethodName,
                          String targetDescriptor)

addVirtualCall

public void addVirtualCall(String sourceClassName,
                           String sourceMethodName,
                           String sourceDescriptor,
                           String targetClassName,
                           String targetMethodName,
                           String targetDescriptor)

addInterfaceCall

public void addInterfaceCall(String sourceClassName,
                             String sourceMethodName,
                             String sourceDescriptor,
                             String targetClassName,
                             String targetMethodName,
                             String targetDescriptor)

addSpecialCall

public void addSpecialCall(String sourceClassName,
                           String sourceMethodName,
                           String sourceDescriptor,
                           String targetClassName,
                           String targetMethodName,
                           String targetDescriptor)

addInterfaceMethod

public void addInterfaceMethod(String className,
                               String methodName,
                               String methodDescriptor)

addMethodWithBody

public void addMethodWithBody(String className,
                              String methodName,
                              String methodDescriptor)