Johannes Düsing
Johannes Düsing
The [lastet sync](https://github.com/bconnorwhite/all-package-names/blob/743629ac299a4f37c75daac1967cf4dd8b16dfa3/data) of `all.json.gz` seems to me seems broken. When opened with 7ZIP it reports an CRC-Error, when programatically decompressing it in Java i get ``` java.util.zip.ZipException: Corrupt GZIP...
# Problem Statement As discussed in our recent OPAL meeting, we want to understand what operations are performed (eagerly) when initializing a `Project` instance, and their respective impact on the...
During the current iteration of our project course on static program analysis, one of our students discovered what i believe is a bug in abstract interpretation. The students were working...
This PR resulted from issues discussed in #230, in particular the fact that calls to `System.out.println` are not found by OPAL with multiple CG algorithms when the `RTJar` is loaded...
**Problem** In #229 we found that calls to `java/io/PrintStream.println` are not found for CG-Algorithms besides CHA **when loading the JDK as interfaces**. The reason is that the type iterator will...
**The Problem** Currently (even with #229 in place), OPAL will not detect the call to `run` for the following example. I want to point out that i'm not trying to...
As discussed in #229, we might want to handle some cases of `INVOKEDYNAMIC` in CG construction when we load class files without rewriting them. In that specific instance, a call...
I've encountered an issue with the "Flush Type Cache" functionality introduced in #73 - this is closely related to what we found when we initially added that feature (see #75)....
**Describe the Problem** Java 21 has introduced new types of bootstrap methods for switch statements. There is at least the [`java/lang/runtime/SwitchBootstraps`](https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/lang/runtime/SwitchBootstraps.html) class that is currently not supported by the `InvokeDynamicRewriting`...
Currently, the `VirtualFormalParameters` are computed once and are then final. They depend on the number of `DeclaredMethod`s that have a single defined method upon initialization. Since the set of declared...