add NullPointerMain

Author: ShuMengZhang00

src/main/java/pascal/taie/analysis/bugfinder/pathsensnullpointer/NullPointerMain.java

@@ -10,22 +10,19 @@
 
 public class NullPointerMain {
     private static final Logger logger = LogManager.getLogger(NullPointerMain.class);
-
     /**
-     * 运行空指针分析的主方法
+     * 运行空指针分析的简化方法（使用默认Java 8）
      * @param classPath 类路径
      * @param mainClass 主类名
-     * @param javaVersion Java版本（默认为8）
      */
-    public static void run(String classPath, String mainClass, String javaVersion) {
-        List<String> argList = new ArrayList<>();
-        logger.info("Running null pointer analysis for {}", mainClass);
+    public static void run(String classPath, String mainClass) {
+        main(new String[]{"-cp", classPath, "-m", mainClass});
+    }
 
+    public static void main(String[] args) {
+        List<String> argList = new ArrayList<>();
         // 添加基本参数
-        Collections.addAll(argList, "-cp", classPath);
-        Collections.addAll(argList, "-m", mainClass);
-        Collections.addAll(argList, "-java", javaVersion);
-        Collections.addAll(argList, "-scope", "APP");
+        Collections.addAll(argList, args);
 
         // 添加必要的分析
         Collections.addAll(argList, "-a", "must-alias");
@@ -45,26 +42,4 @@ public static void run(String classPath, String mainClass, String javaVersion) {
 
         Main.main(argList.toArray(new String[0]));
     }
-
-    /**
-     * 运行空指针分析的简化方法（使用默认Java 8）
-     * @param classPath 类路径
-     * @param mainClass 主类名
-     */
-    public static void run(String classPath, String mainClass) {
-        run(classPath, mainClass, "8");
-    }
-
-    public static void main(String[] args) {
-        if (args.length < 2) {
-            logger.error("Usage: java NullPointerMain <classpath> <main-class> [java-version]");
-            System.exit(1);
-        }
-
-        String classPath = args[0];
-        String mainClass = args[1];
-        String javaVersion = args.length > 2 ? args[2] : "8";
-
-        run(classPath, mainClass, javaVersion);
-    }
 }