org.evomaster.client.java.instrumentation.coverage.methodreplacement.classes

Class InetAddressClassReplacement

java.lang.Object

org.evomaster.client.java.instrumentation.coverage.methodreplacement.classes.InetAddressClassReplacement

All Implemented Interfaces:

MethodReplacementClass

public class InetAddressClassReplacement
extends Object
implements MethodReplacementClass

InetAddress could be called directly, or indirectly from other JDK classes like Socket and URl.openConnection. Recall that we do not instrument JDK classes, as those loaded by bootstrap classloader.

with socket connection, it will first do host lookup with java.net.InetAddress#getByName if it does not exist, UnknownHostException will be thrown, then the `socket.connect` cannot be reached. in order to make it connected, we could do replacement for 1) collecting host info 2) providing an ip address

Field Summary

Fields inherited from interface org.evomaster.client.java.instrumentation.coverage.methodreplacement.MethodReplacementClass

CONSUME_INSTANCE_METHOD_NAME

Constructor Summary

Constructors

Constructor and Description
InetAddressClassReplacement()

Method Summary

Modifier and Type	Method and Description
static InetAddress[]	getAllByName(String host)
static InetAddress	getByName(String host)
Class<?>	getTargetClass()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.evomaster.client.java.instrumentation.coverage.methodreplacement.MethodReplacementClass

getTargetClass, getTargetClassName, isAvailable

Constructor Detail

InetAddressClassReplacement

public InetAddressClassReplacement()

Method Detail

getTargetClass

public Class<?> getTargetClass()

Specified by:

getTargetClass in interface MethodReplacementClass

getByName

public static InetAddress getByName(String host)
                             throws UnknownHostException

Throws:

UnknownHostException

getAllByName

public static InetAddress[] getAllByName(String host)
                                  throws UnknownHostException

Throws:

UnknownHostException