Implementation of Opal-Scope

.github/workflows/deploy.yml

@@ -59,3 +59,22 @@ jobs:
           gh pr create --draft -B develop -H ${{ env.BRANCH_NAME }} -t "Update to next SNAPSHOT version" -b "Update to next SNAPSHOT version"
         env:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+  release:
+    runs-on: ubuntu-latest
+    needs: deployment
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - name: Get latest tag
+        run: echo "tag=$(git describe --tags --abbrev=0)" >> $GITHUB_OUTPUT
+
+      - name: Create GitHub release
+        run: |
+          gh release create "$TAG"
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          TAG: ${{ steps.get_tag.outputs.tag }}

.github/workflows/maven.yml

@@ -11,6 +11,9 @@ on:
 
 jobs:
   BuildAndTest:
+    strategy:
+      matrix:
+        framework: [Soot, Opal] # TODO Add SootUp when available
     runs-on: ubuntu-latest
     steps:
     - name: Checkout source code
@@ -22,4 +25,4 @@ jobs:
           java-package: jdk
           java-version: 11
     - name: Build with Maven
-      run: mvn -B clean verify
+      run: mvn -B clean verify -DtestSetup=${{ matrix.framework }}

PDS/src/main/java/de/fraunhofer/iem/Empty.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package de.fraunhofer.iem;

PDS/src/main/java/de/fraunhofer/iem/Location.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package de.fraunhofer.iem;

PDS/src/main/java/de/fraunhofer/iem/wildcard/ExclusionWildcard.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package de.fraunhofer.iem.wildcard;

PDS/src/main/java/de/fraunhofer/iem/wildcard/Wildcard.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package de.fraunhofer.iem.wildcard;

README.md

@@ -9,7 +9,7 @@ This repository contains:
 - a Java implementation of [Synchronized Pushdown Systems](https://digital.ub.uni-paderborn.de/hs/content/titleinfo/3030984).
 - [Boomerang](boomerangPDS) to calculate on-demand points-to and dataflow information using a Synchronized Pushdown System.
 - [IDEal](idealPDS), an IDE solver based on a [Weighted Pushdown System](https://www.bodden.de/pubs/sab19context.pdf) that uses Boomerang to compute alias information only when required (i.e. on-demand).
-- Implementation of scopes that allows you to run Boomerang and IDEal with the static analysis frameworks Soot.
+- Implementation of scopes that allows you to run Boomerang and IDEal with the static analysis frameworks Soot and Opal.
 
 ## Examples
 
@@ -38,6 +38,14 @@ The projects are released on [Maven Central](https://central.sonatype.com/artifa
 </dependency>
 ```
 
+## Build and Installation
+If you plan to install Boomerang and IDEal locally, you can use the following commands to build the project:
+
+- `mvn clean install -DskipTests` Install the projects and skip all tests
+- `mvn clean install -DtestSetup=Soot` Install the projects and run the tests with Soot as the underlying framework
+- `mvn clean install -DtestSetup=SootUp` Install the projects and run the tests with SootUp as the underlying framework
+- `mvn clean install -DtestSetup=Opal` Install the projects and run the tests with Opal as the underlying framework
+
 ## Contributing
 
 We hare happy for every contribution from the community! You can simply create a fork and open a pull request. Note that we use the Google style sheet to keep the code clean. To format the code, run the command 

SparseBoomerangCorrectness/src/main/java/aliasing/SparseAliasManager.java

@@ -4,8 +4,8 @@
 import boomerang.Boomerang;
 import boomerang.DefaultBoomerangOptions;
 import boomerang.results.BackwardBoomerangResults;
-import boomerang.scene.*;
-import boomerang.scene.jimple.*;
+import boomerang.scope.*;
+import boomerang.scope.jimple.*;
 import boomerang.sparse.SparsificationStrategy;
 import boomerang.util.AccessPath;
 import com.google.common.base.Stopwatch;

SparseBoomerangCorrectness/src/test/java/test/aliasing/AliasingTestSetUp.java

@@ -3,7 +3,7 @@
 import static org.junit.Assert.assertTrue;
 
 import aliasing.SparseAliasManager;
-import boomerang.scene.jimple.BoomerangPretransformer;
+import boomerang.scope.jimple.BoomerangPretransformer;
 import boomerang.util.AccessPath;
 import com.google.common.base.Predicate;
 import java.io.File;

SynchronizedPDS/src/main/java/sync/pds/solver/CastNormalRule.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package sync.pds.solver;

SynchronizedPDS/src/main/java/sync/pds/solver/EmptyStackWitnessListener.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package sync.pds.solver;

SynchronizedPDS/src/main/java/sync/pds/solver/OneWeightFunctions.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package sync.pds.solver;

SynchronizedPDS/src/main/java/sync/pds/solver/SyncPDSSolver.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package sync.pds.solver;
@@ -16,11 +19,11 @@
 import com.google.common.collect.Lists;
 import com.google.common.collect.Maps;
 import com.google.common.collect.Multimap;
-import com.google.common.collect.Sets;
 import de.fraunhofer.iem.Location;
 import java.util.AbstractMap;
 import java.util.Collection;
 import java.util.HashSet;
+import java.util.LinkedHashSet;
 import java.util.Map;
 import java.util.Map.Entry;
 import java.util.Set;
@@ -70,10 +73,10 @@ public String toString() {
           return "Field " + SyncPDSSolver.this;
         }
       };
-  private final Set<Node<Stmt, Fact>> reachedStates = Sets.newHashSet();
-  private final Set<Node<Stmt, Fact>> callingContextReachable = Sets.newHashSet();
-  private final Set<Node<Stmt, Fact>> fieldContextReachable = Sets.newHashSet();
-  private final Set<SyncPDSUpdateListener<Stmt, Fact>> updateListeners = Sets.newHashSet();
+  private final Set<Node<Stmt, Fact>> reachedStates = new LinkedHashSet<>();
+  private final Set<Node<Stmt, Fact>> callingContextReachable = new LinkedHashSet<>();
+  private final Set<Node<Stmt, Fact>> fieldContextReachable = new LinkedHashSet<>();
+  private final Set<SyncPDSUpdateListener<Stmt, Fact>> updateListeners = new LinkedHashSet<>();
   private final Multimap<Node<Stmt, Fact>, SyncStatePDSUpdateListener<Stmt, Fact>>
       reachedStateUpdateListeners = HashMultimap.create();
   protected final WeightedPAutomaton<Field, INode<Node<Stmt, Fact>>, W> fieldAutomaton;
@@ -594,8 +597,8 @@ private void applyCallSummary(Stmt callSite, Fact factInCallee, Stmt spInCallee)
         });
   }
 
-  Set<Summary> summaries = Sets.newHashSet();
-  Set<OnAddedSummaryListener> summaryListeners = Sets.newHashSet();
+  Set<Summary> summaries = new LinkedHashSet<>();
+  Set<OnAddedSummaryListener> summaryListeners = new LinkedHashSet<>();
 
   public void addApplySummaryListener(OnAddedSummaryListener l) {
     if (summaryListeners.add(l)) {
@@ -794,17 +797,17 @@ public void addGeneratedFieldState(GeneratedState<Node<Stmt, Fact>, Field> state
   public abstract Field fieldWildCard();
 
   public Set<Node<Stmt, Fact>> getReachedStates() {
-    return Sets.newHashSet(reachedStates);
+    return new LinkedHashSet(reachedStates);
   }
 
   public void debugOutput() {
     logger.debug(this.getClass().toString());
     logger.debug("All reachable states");
     prettyPrintSet(getReachedStates());
 
-    HashSet<Node<Stmt, Fact>> notFieldReachable = Sets.newHashSet(callingContextReachable);
+    HashSet<Node<Stmt, Fact>> notFieldReachable = new LinkedHashSet(callingContextReachable);
     notFieldReachable.removeAll(getReachedStates());
-    HashSet<Node<Stmt, Fact>> notCallingContextReachable = Sets.newHashSet(fieldContextReachable);
+    HashSet<Node<Stmt, Fact>> notCallingContextReachable = new LinkedHashSet(fieldContextReachable);
     notCallingContextReachable.removeAll(getReachedStates());
     if (!notFieldReachable.isEmpty()) {
       logger.debug("Calling context reachable");

SynchronizedPDS/src/main/java/sync/pds/solver/SyncPDSUpdateListener.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package sync.pds.solver;

SynchronizedPDS/src/main/java/sync/pds/solver/SyncStatePDSUpdateListener.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package sync.pds.solver;

SynchronizedPDS/src/main/java/sync/pds/solver/WeightFunctions.java

@@ -1,12 +1,15 @@
 /**
  * ***************************************************************************** 
- * Copyright (c) 2025 Fraunhofer IEM, Paderborn, Germany. This program and the
- * accompanying materials are made available under the terms of the Eclipse
- * Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.
- *
- * <p>SPDX-License-Identifier: EPL-2.0
- *
- * <p>Contributors: Johannes Spaeth - initial API and implementation
+ * Copyright (c) 2018 Fraunhofer IEM, Paderborn, Germany
+ * <p>
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License 2.0 which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ * <p>
+ * SPDX-License-Identifier: EPL-2.0
+ * <p>
+ * Contributors:
+ *   Johannes Spaeth - initial API and implementation
  * *****************************************************************************
  */
 package sync.pds.solver;