NullPath, a NPE static analyzer for Java

Author: ShuMengZhang00

build.gradle.kts

@@ -4,6 +4,10 @@ plugins {
     id("maven-publish.conventions")
 }
 
+repositories {
+    mavenCentral()
+}
+
 group = projectGroupId
 description = projectArtifactId
 version = projectVersion
@@ -30,6 +34,14 @@ dependencies {
     implementation("org.slf4j:slf4j-nop:2.0.7")
     // JSR305, for javax.annotation
     implementation("com.google.code.findbugs:jsr305:3.0.2")
+    // Use asm to read java class file
+    implementation("org.ow2.asm:asm:9.4")
+    implementation("org.ow2.asm:asm-commons:9.5")
+    implementation("org.ow2.asm:asm-tree:9.5")
+    implementation("org.ow2.asm:asm-util:9.5")
+    implementation("org.eclipse.jdt:org.eclipse.jdt.core:3.28.0")
+
+    implementation("org.sat4j:org.sat4j.core:2.3.1")
 
     testImplementation(platform("org.junit:junit-bom:5.10.0"))
     testImplementation("org.junit.jupiter:junit-jupiter")
@@ -53,46 +65,20 @@ task("fatJar", type = Jar::class) {
         }
     )
     from("COPYING", "COPYING.LESSER")
-    destinationDirectory.set(rootProject.layout.buildDirectory)
+    destinationDirectory.set(rootProject.buildDir)
     duplicatesStrategy = DuplicatesStrategy.EXCLUDE
     with(tasks["jar"] as CopySpec)
 }
 
 tasks.jar {
     from("COPYING", "COPYING.LESSER")
-    from(zipTree("lib/sootclasses-modified.jar"))
-    destinationDirectory.set(rootProject.layout.buildDirectory)
+    destinationDirectory.set(rootProject.buildDir)
 }
 
-tasks.withType<Test> {
-    // Uses JUnit5
-    useJUnitPlatform()
+tasks.test {
     // Increases the maximum heap memory of JUnit test process. The default is 512M.
     // (see org.gradle.process.internal.worker.DefaultWorkerProcessBuilder.build)
     maxHeapSize = "2G"
-    // Sets the maximum number of test processes to start in parallel.
-    maxParallelForks = (Runtime.getRuntime().availableProcessors() / 2).takeIf { it > 0 } ?: 1
-    // Sets the default classpath for test execution.
-    // (see https://docs.gradle.org/current/userguide/upgrading_version_8.html#test_task_default_classpath)
-    val test by testing.suites.existing(JvmTestSuite::class)
-    testClassesDirs = files(test.map { it.sources.output.classesDirs })
-    classpath = files(test.map { it.sources.runtimeClasspath })
-}
-
-tasks.test {
-    // Excludes test suites from the default test task
-    // to avoid running some tests multiple times.
-    filter {
-        excludeTestsMatching("*TestSuite")
-    }
-}
-
-task("testTaieTestSuite", type = Test::class) {
-    group = "verification"
-    description = "Runs the Tai-e test suite"
-    filter {
-        includeTestsMatching("TaieTestSuite")
-    }
 }
 
 // Automatically agree the Gradle ToS when running gradle with '--scan' option

src/main/java/pascal/taie/analysis/AnalysisManager.java

@@ -189,7 +189,6 @@ private List<JClass> getClassScope() {
 
     private void runMethodAnalysis(MethodAnalysis<?> analysis) {
         getMethodScope()
-                .parallelStream()
                 .forEach(m -> {
                     IR ir = m.getIR();
                     Object result = analysis.analyze(ir);

src/main/java/pascal/taie/analysis/bugfinder/BugInstance.java

@@ -46,6 +46,19 @@ public BugInstance(@Nonnull BugType type, Severity severity) {
         this.severity = severity;
     }
 
+    public BugInstance(@Nonnull BugType type, Severity severity, JMethod method) {
+        this.type = type;
+        this.severity = severity;
+        this.jMethod = method;
+        this.jClass = method.getDeclaringClass();
+    }
+
+    public BugInstance(@Nonnull BugType type, Severity severity, JClass jClass) {
+        this.type = type;
+        this.severity = severity;
+        this.jClass = jClass;
+    }
+
     public Severity getSeverity() {
         return severity;
     }

src/main/java/pascal/taie/analysis/bugfinder/CompositeFilter.java

@@ -0,0 +1,30 @@
+package pascal.taie.analysis.bugfinder;
+
+import pascal.taie.analysis.pta.core.solver.PointerFlowEdge;
+import pascal.taie.analysis.pta.core.solver.Transfer;
+import pascal.taie.analysis.pta.pts.PointsToSet;
+
+import java.util.ArrayList;
+import java.util.List;
+
+public class CompositeFilter implements Transfer {
+    private final List<Transfer> transfers;
+
+    public CompositeFilter(Transfer... transfers) {
+        this.transfers = new ArrayList<>(transfers.length);
+        this.transfers.addAll(List.of(transfers));
+    }
+
+    public CompositeFilter(List<Transfer> transfers) {
+        this.transfers = new ArrayList<>(transfers);
+    }
+
+    @Override
+    public PointsToSet apply(PointerFlowEdge edge, PointsToSet input) {
+        PointsToSet result = input;
+        for (Transfer transfer : transfers) {
+            result = transfer.apply(edge, result);
+        }
+        return result;
+    }
+}