minor addition

WebFuzzing · Oct 26, 2023 · 04aedf6 · 04aedf6
1 parent 65056c1
commit 04aedf6
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/...ster/client/java/instrumentation/coverage/methodreplacement/ExternalServiceInfoUtils.java b/...ster/client/java/instrumentation/coverage/methodreplacement/ExternalServiceInfoUtils.java
@@ -5,6 +5,9 @@
 import org.evomaster.client.java.instrumentation.shared.ExternalServiceSharedUtils;
 import org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer;
 
+import java.net.InetAddress;
+import java.net.UnknownHostException;
+
 public class ExternalServiceInfoUtils {
 
     /**
@@ -23,7 +26,13 @@ public static String[] collectExternalServiceInfo(ExternalServiceInfo remoteHost
         // data structure of the external service mapping inside ExecutionTracer
 
         // TODO: Experiment
-//        ExecutionTracer.addHostnameInfo(new HostnameResolutionInfo(remoteHostInfo.getHostname(), true));
+
+        try {
+            InetAddress.getByName(remoteHostInfo.getHostname());
+            ExecutionTracer.addHostnameInfo(new HostnameResolutionInfo(remoteHostInfo.getHostname(), true));
+        } catch (UnknownHostException e) {
+            ExecutionTracer.addHostnameInfo(new HostnameResolutionInfo(remoteHostInfo.getHostname(), false));
+        }
 
         ExecutionTracer.addExternalServiceHost(remoteHostInfo);
         String signature = remoteHostInfo.signature();