IC3 returns NullPointerException on a simple app

[HammadMahmoud]

Hello,

I am trying to use IC3 on a simple app. Here is the command that I am using to run IC3 analysis: java -jar ./ic3-0.2.0-full.jar -apkormanifest ./testic3.apk -input ../dare_output/testIC3/retargeted/ -cp ./android.jar Rather than getting the expected output, I am getting a NullPointerException:

Exception in thread "main" java.lang.NullPointerException at edu.psu.cse.siis.ic3.Ic3Analysis.processResults(Ic3Analysis.java:278) at edu.psu.cse.siis.ic3.Ic3Analysis.processResults(Ic3Analysis.java:65) at edu.psu.cse.siis.coal.Analysis.performAnalysis(Analysis.java:70) at edu.psu.cse.siis.ic3.Main.main(Main.java:14)**

***** More Information ****

• testIC3 is a simple app with only two activities, MainActivity sends an Intent to SecondActivity.
• Dare was able to generate the .class files using this command (dare -d ../dare_output/testIC3 ../ic3-0.2.0/testic3.apk)
• Attached is the full stack trace

runIC3.txt

Any help on how to solve this problem is appreciated.

Thanks, Mahmoud