[Soot-list] Exception in thread "main" java.lang.NoSuchMethodError: org.jf.dexlib2.dexbacked.raw.HeaderItem.verifyMagic([BI)Z

[rajat swarup]

The code is located here:
http://pastebin.com/8ZdL9uiK

And I keep getting the error:

[main] INFO soot.jimple.infoflow.android.SetupApplication - ARSC file parsing took 0.090424572 seconds
Using '/home/user/Documents/android-sdk-linux/platforms/android-19/android.jar' as android.jar
Exception in thread "main" java.lang.NoSuchMethodError: org.jf.dexlib2.dexbacked.raw.HeaderItem.verifyMagic([BI)Z
	at org.jf.dexlib2.dexbacked.DexBackedDexFile.verifyMagicAndByteOrder(DexBackedDexFile.java:146)
	at org.jf.dexlib2.dexbacked.DexBackedDexFile.<init>(DexBackedDexFile.java:70)
	at org.jf.dexlib2.dexbacked.DexBackedDexFile.<init>(DexBackedDexFile.java:96)
	at org.jf.dexlib2.DexFileFactory.loadDexFile(DexFileFactory.java:84)
	at org.jf.dexlib2.DexFileFactory.loadDexFile(DexFileFactory.java:54)
	at soot.DexClassProvider.classesOfDex(DexClassProvider.java:121)
	at soot.DexClassProvider.readDexFile(DexClassProvider.java:97)
	at soot.DexClassProvider.buildDexIndex(DexClassProvider.java:88)
	at soot.DexClassProvider.find(DexClassProvider.java:56)
	at soot.SourceLocator.getClassSource(SourceLocator.java:75)
	at soot.SootResolver.bringToHierarchy(SootResolver.java:198)
	at soot.SootResolver.bringToSignatures(SootResolver.java:252)
	at soot.SootResolver.bringToBodies(SootResolver.java:288)
	at soot.SootResolver.processResolveWorklist(SootResolver.java:162)
	at soot.SootResolver.resolveClass(SootResolver.java:130)
	at soot.Scene.tryLoadClass(Scene.java:662)
	at soot.Scene.loadBasicClasses(Scene.java:1258)
	at soot.Scene.loadNecessaryClasses(Scene.java:1337)
	at soot.jimple.infoflow.android.SetupApplication.initializeSoot(Unknown Source)
	at soot.jimple.infoflow.android.SetupApplication.calculateCallbackMethods(Unknown Source)
	at soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(Unknown Source)
	at soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(Unknown Source)
	at CFG.main(CFG.java:21)

I've included the smali-2.0.5.jar file into the project.  Based on this 
https://github.com/JesusFreke/smali/blob/0d8418ff1f253471dc5f579ec5b4976c08649a09/dexlib2/src/main/java/org/jf/dexlib2/dexbacked/raw/HeaderItem.java, 
it seems that the method is also present.  Trying to understand what could 
be going wrong here.


Any help would be greatly appreciated.  

Thanks,
Rajat.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150302/ee7147fa/attachment.html