Use semicolon seperator on windows

angr · Jan 9, 2024 · eee78de · eee78de
1 parent a87c719
commit eee78de
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/pysoot/lifter.py b/pysoot/lifter.py
@@ -42,10 +42,11 @@ def __init__(self, input_file=None, input_format="jar", ir_format="shimple", add
                             absolute_path = os.path.realpath(os.path.join(jar_root, jar_name))
                             if absolute_path not in absolute_library_jars:
                                 absolute_library_jars.add(absolute_path)
-            bad_jars = [p for p in absolute_library_jars if ":" in p]
+            seperator = ";" if os.name == "nt" else ":"
+            bad_jars = [p for p in absolute_library_jars if seperator in p]
             if len(bad_jars) > 0:
                 raise ParameterError("these jars have a semicolon in their name: " + repr(bad_jars))
-            self.soot_classpath = ":".join(absolute_library_jars)
+            self.soot_classpath = seperator.join(absolute_library_jars)
 
         elif input_format == "apk":
             if android_sdk is None: