opal

opal copied to clipboard

In the README.markdown, we prominently display a test badge. This is updated by the Build and Execute Tests workflow. The latter is run on any pull request, so the badge...

errt

Use string analysis results for `Class.forName` reflective calls

1

Uses the results generated in #1 by: - Integrating them into the `ClassForName` reflective call analysis - Adding a string analysis demo along with a demo package showcasing the ability...

maximilianruesch

Performance of eager computations in Project initialization

3

# 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...

johannesduesing

Improve interface of reachable method analysis and related states to prevent misuse

3

During development on #1 a triggered analysis that is based on the `ReachableMethodAnalysis` trait got an eager scheduler. Turns out the `ReachableMethodAnalysis` trait implicitly expects to only implement triggered analyses...

maximilianruesch

Fix default interface methods

4

Fixes two problems where methods were not computed correctly for some inheritance hierarchies w.r.t. interface default methods. The additional checks are rather costly, but I didn't evaluate the actual performance...

errt

Search in CallGraph

1

Hi Team, Thank you for this amazing project! I was able to generate a call graph with the dependencies' calls as mentioned. I wanted to check if this project includes...

rohitcoder