averroes icon indicating copy to clipboard operation
averroes copied to clipboard

Java bytecode generator for sound and precise partial program analysis

Results 5 averroes issues
Sort by recently updated
recently updated
newest added

I ran Averroes on the NJR dataset, and it crashes for approximately 60 of 293 benchmarks. **Here is a sample Jar file for which it crashes.** https://drive.google.com/file/d/1-YaqC0epGlt8pDF2yrqMW78SI2WFfC6s/view?usp=sharing **Here is the...

Inner classes and methods seem to be skipped in the generation of the organized-app jar. Here is one such benchmark https://drive.google.com/file/d/1Kh745K4TITZ0LSsEeTb98ydEw8tqw5Jd/view?usp=sharing Here is the corresponding organized app-jar https://drive.google.com/file/d/1BcnwufB2pjjHB4BFYzKrQDZyDSQZjqxQ/view?usp=sharing This inner...

Consider the following example ``` import java.util.*; public class C{ public static class B implements Comparable{ @Override public int compareTo(B st){ return 0; } } public static void main(String[] args){...

Averroes currently only accepts jar/zip archives. It should additionally accept class files and directories containing class files and or jar/zip archives.

enhancement

Hi Karim, We have to analyze several programs that have multiple main classes, say a program has U.V.Bar.main() and X.Y.Foo.main(). We want to find a way to specify all these...

enhancement