Update option separators

Author: silverbullettt

src/main/java/pascal/taie/AbstractWorldBuilder.java

@@ -34,6 +34,7 @@
 import java.nio.file.Files;
 import java.nio.file.Path;
 import java.util.List;
+import java.util.stream.Collectors;
 import java.util.stream.Stream;
 
 /**
@@ -59,7 +60,7 @@ public abstract class AbstractWorldBuilder implements WorldBuilder {
             "<java.security.PrivilegedActionException: void <init>(java.lang.Exception)>"
     );
 
-    protected static List<String> getClassPath(Options options) {
+    protected static String getClassPath(Options options) {
         if (options.isPrependJVM()) {
             return options.getClassPath();
         } else { // when prependJVM is not set, we manually specify JRE jars
@@ -77,8 +78,8 @@ protected static List<String> getClassPath(Options options) {
             try (Stream<Path> paths = Files.walk(Path.of(jrePath))) {
                 return Stream.concat(
                                 paths.map(Path::toString).filter(p -> p.endsWith(".jar")),
-                                options.getClassPath().stream())
-                        .toList();
+                                Stream.of(options.getClassPath()))
+                        .collect(Collectors.joining(File.pathSeparator));
             } catch (IOException e) {
                 throw new RuntimeException("Analysis on Java " +
                         options.getJavaVersion() + " library is not supported yet", e);

src/main/java/pascal/taie/config/Options.java

@@ -82,11 +82,10 @@ public void printHelp() {
     // ---------- program options ----------
     @JsonProperty
     @Option(names = {"-cp", "--class-path"},
-            description = "Class path, multiple paths can be split by ';'",
-            split = ";")
-    private List<String> classPath = List.of();
+            description = "Class path. Multiple paths are split by system path separator.")
+    private String classPath;
 
-    public List<String> getClassPath() {
+    public String getClassPath() {
         return classPath;
     }
 
@@ -101,8 +100,8 @@ public String getMainClass() {
     @JsonProperty
     @Option(names = {"--input-classes"},
             description = "The classes should be included in the World of analyzed program" +
-                    " (the classes can be split by ';')",
-            split = ";")
+                    " (the classes can be split by ',')",
+            split = ",")
     private List<String> inputClasses = List.of();
 
     public List<String> getInputClasses() {

src/main/java/pascal/taie/frontend/soot/SootWorldBuilder.java

@@ -70,10 +70,7 @@ public class SootWorldBuilder extends AbstractWorldBuilder {
     @Override
     public void build(Options options, List<AnalysisConfig> plan) {
         initSoot(options, plan, this);
-        runSoot(new String[]{
-                "-cp", String.join(File.pathSeparator, getClassPath(options)),
-                options.getMainClass()
-        });
+        runSoot(new String[]{"-cp", getClassPath(options), options.getMainClass()});
     }
 
     private static void initSoot(Options options, List<AnalysisConfig> plan,