akshayutture

Arraylist task queue

3

Arraylist task queue Description ----------- Gives an array-back implementation of lists. The new implementation does not modify the list interface. Test Steps ----------- Runs with CBMC proofs. Have not tried...

Runtime Exception because Soot could not find a method

6

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 are skipped in the creation of the organized-app jar

2

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

Callbacks to Inner-classes are skipped in the generated averroes-lib-class.jar

1

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){...