Release 6.0.0

Author: Dominik Helm

UsingOPAL.html

@@ -96,39 +96,44 @@ <h2 id="sub-projects">Sub Projects</h2>
 <p>OPAL consists of multiple sub projects and tools which are described in the following.</p>
 <h3 id="framework">Framework</h3>
 <p>Combines all of OPAL's subproject for ease of use.</p>
-<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;framework_2.13&quot; % &quot;5.0.0&quot;
+<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;framework_2.13&quot; % &quot;6.0.0&quot;
 </code></pre>
 <h3 id="common">Common</h3>
 <p>Contains general data structures and algorithms particular useful in the context of static analysis. E.g., graph algorithms, such as
 an implementation of Tarjan's algorithm for finding strongly connected components. The implementations are designed with scalability in mind and should be able to process millions of nodes.</p>
-<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;common_2.13&quot; % &quot;5.0.0&quot;
+<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;common_2.13&quot; % &quot;6.0.0&quot;
 </code></pre>
 <h3 id="static-analysis-framework">Static Analysis Framework</h3>
 <p>The static analysis framework is a generally useful framework for developing static analyses. The framework has wide ranging support for very different types of static analyses and automatically parallels their execution. The framework only depends on <code>Common</code> and can be flexibly combined with other static analyses frameworks (e.g., BCEL, SOOT, Wala, ASM,... )</p>
-<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;static-analysis-infrastructure_2.13&quot; % &quot;5.0.0&quot;
+<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;static-analysis-infrastructure_2.13&quot; % &quot;6.0.0&quot;
 </code></pre>
 <h3 id="bytecode-representation">Bytecode Representation</h3>
 <p>The bytecode toolkit implements a generic infrastructure for parsing Java class files. Additionally,
 it provides a default representation for Java bytecode that can be used to analyze class files. That
 representation provides extensive support for pattern matching on Java bytecode to facilitate writing
 basic analyses.</p>
-<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;bytecode-representation_2.13&quot; % &quot;5.0.0&quot;
+<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;bytecode-representation_2.13&quot; % &quot;6.0.0&quot;
+</code></pre>
+<h3 id="bytecode-assembler">Bytecode Assembler</h3>
+<p>The Bytecode Assembler provides an embedded DSL for assembling Java class files. It handles tasks like
+stack map table generation, exception table generation, and bytecode generation.</p>
+<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;bytecode-assembler_2.13&quot; % &quot;6.0.0&quot;
 </code></pre>
 <h3 id="abstract-interpretation-framework">Abstract Interpretation Framework</h3>
 <p>The abstract interpretation framework is a highly-customizable framework for the lightweight abstract interpretation of the Java bytecode. The framework was designed with ease of use and customizability in mind.</p>
-<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;abstract-interpretation-framework_2.13&quot; % &quot;5.0.0&quot;
+<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;abstract-interpretation-framework_2.13&quot; % &quot;6.0.0&quot;
 </code></pre>
 <h3 id="three-address-code">Three-Address Code</h3>
 <p>The three-address-code toolkit provides a more human readable representation of the bytecode that includes additional information derived by the abstract interpretation framework.</p>
-<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;three-address-code_2.13&quot; % &quot;5.0.0&quot;
+<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;three-address-code_2.13&quot; % &quot;6.0.0&quot;
 </code></pre>
 <h3 id="architecture-validation-framework">Architecture Validation Framework</h3>
 <p>The architecture validation framework facilitates the development of tools for specifying and validating software architectures.</p>
-<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;architecture-validation_2.13&quot; % &quot;5.0.0&quot;
+<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;architecture-validation_2.13&quot; % &quot;6.0.0&quot;
 </code></pre>
 <h3 id="apk">APK</h3>
 <p>Provides support for the analyis of APKs, with automatic conversion from dalvik to java byte code.</p>
-<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;apk_2.13&quot; % &quot;5.0.0&quot;
+<pre><code>libraryDependencies += &quot;de.opal-project&quot; % &quot;apk_2.13&quot; % &quot;6.0.0&quot;
 </code></pre>
 
                     </div>

artifacts/OPALDisassembler.jar

@@ -91,8 +91,8 @@ <h1 id="opal">OPAL</h1>
 It does so by hosting a wide and extensible collection of modular analyses modules that can be automatically composed in a case-by-case manner to collaboratively reason about a particular software at hand.
 OPAL manages the execution of analysis modules and adjusts it as needed for scalability.<center><iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/-V25yQDXPqg" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe></center></p>
 <p>OPAL can be used for Java bytecode processing, engineering, manipulation and analysis.
-It is written in Scala 2.13.x and supports Java 19 Bytecode; OPAL in particular provides support to facilitate the analysis of Java 8 lambda expressions (<em>Invokedynamic</em> instructions) and Java 15 dynamic constants.</p>
-<p>The latest release is <em>5.0.0</em>, the latest snapshot version is <em>5.0.1-SNAPSHOT</em>.
+It is written in Scala 2.13.x and supports Java 25 Bytecode; OPAL in particular provides support to facilitate the analysis of Java 8 lambda expressions (<em>Invokedynamic</em> instructions) and Java 15 dynamic constants.</p>
+<p>The latest release is <em>6.0.0</em>, the latest snapshot version is <em>6.0.1-SNAPSHOT</em>.
 Both versions are found on <a href="https://search.maven.org/#search%7Cga%7C1%7Cde.opal-project">Maven Central</a>.
 Look <a href="/UsingOPAL.html">here</a> for information on how to use OPAL in your project.</p>
 <p>In-depth tutorials on developing static analyses with OPAL can be found in the navigation menu on the left, in particular starting with an introduction to <a href="/tutorial/FixedPointAnalyses.html">writing fixed-point analyses</a>.</p>