search

cuplv / TraceRunner

Tool for generating dynamic traces of android applications.
3 stars 0 forks source link

Instrumentation failed on AntennaPod #27

Closed sllam closed 7 years ago

sllam commented 7 years ago

Tried it on https://github.com/cuplv/callback-verification/tree/tests/tests/realApplications/AntennaPod/bug

This is the exception:

Warning: me.zhanghai.android.materialprogressbar.IndeterminateHorizontalProgressDrawable is a phantom class! Warning: me.zhanghai.android.materialprogressbar.IndeterminateProgressDrawable is a phantom class! Warning: org.codehaus.mojo.animal_sniffer.IgnoreJRERequirement is a phantom class! [error] (run-main-0) scala.NotImplementedError: an implementation is missing scala.NotImplementedError: an implementation is missing at scala.Predef$.$qmark$qmark$qmark(Predef.scala:230) at edu.colorado.OverrideAllMethods$$anonfun$internalTransform$1$$anonfun$1.apply(OverrideAllMethods.scala:48) at edu.colorado.OverrideAllMethods$$anonfun$internalTransform$1$$anonfun$1.apply(OverrideAllMethods.scala:33) at scala.collection.TraversableOnce$$anonfun$foldLeft$1.apply(TraversableOnce.scala:157) at scala.collection.TraversableOnce$$anonfun$foldLeft$1.apply(TraversableOnce.scala:157) at scala.collection.immutable.HashSet$HashSet1.foreach(HashSet.scala:316) at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:972) at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:972) at scala.collection.TraversableOnce$class.foldLeft(TraversableOnce.scala:157) at scala.collection.AbstractTraversable.foldLeft(Traversable.scala:104) at edu.colorado.OverrideAllMethods$$anonfun$internalTransform$1.apply(OverrideAllMethods.scala:33) at edu.colorado.OverrideAllMethods$$anonfun$internalTransform$1.apply(OverrideAllMethods.scala:29) at scala.collection.Iterator$class.foreach(Iterator.scala:893) at scala.collection.AbstractIterator.foreach(Iterator.scala:1336) at edu.colorado.OverrideAllMethods.internalTransform(OverrideAllMethods.scala:29) at soot.SceneTransformer.transform(SceneTransformer.java:39) at soot.Transform.apply(Transform.java:90) at soot.ScenePack.internalApply(ScenePack.java:40) at soot.Pack.apply(Pack.java:118) at soot.PackManager.runWholeProgramPacks(PackManager.java:579) at soot.PackManager.runPacksNormally(PackManager.java:469) at soot.PackManager.runPacks(PackManager.java:398) at soot.Main.run(Main.java:271) at soot.Main.main(Main.java:147) at edu.colorad.cs.TraceRunner.TraceRunner$.main(TraceRunner.scala:118) at edu.colorad.cs.TraceRunner.TraceRunner.main(TraceRunner.scala) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) [trace] Stack trace suppressed: run last compile:run for the full output.

ftc commented 7 years ago

Second issue with antennapod is the following:

org.jf.util.ExceptionWithContext: Unsigned short value out of range: 65900
    at org.jf.dexlib2.writer.DexDataWriter.writeUshort(DexDataWriter.java:116)
    at org.jf.dexlib2.writer.InstructionWriter.write(InstructionWriter.java:329)
    at org.jf.dexlib2.writer.DexWriter.writeCodeItem(DexWriter.java:1027)
    at org.jf.dexlib2.writer.DexWriter.writeDebugAndCodeItems(DexWriter.java:803)
    at org.jf.dexlib2.writer.DexWriter.writeTo(DexWriter.java:252)
    at org.jf.dexlib2.writer.DexWriter.writeTo(DexWriter.java:230)
    at soot.toDex.DexPrinter.writeTo(DexPrinter.java:251)
    at soot.toDex.DexPrinter.printApk(DexPrinter.java:192)
    at soot.toDex.DexPrinter.print(DexPrinter.java:1571)
    at soot.PackManager.writeOutput(PackManager.java:540)
    at soot.Main.run(Main.java:273)
    at soot.Main.main(Main.java:147)
    at edu.colorad.cs.TraceRunner.TraceRunner$.main(TraceRunner.scala:118)
    at edu.colorad.cs.TraceRunner.TraceRunner.main(TraceRunner.scala)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:498)
    at com.intellij.rt.execution.application.AppMain.main(AppMain.java:147)

This is due to there being too many methods in the resulting APK. Since the override all methods adds a large number of methods this was probably bound to happen at some point.

https://github.com/JesusFreke/smali/issues/301 (unsigned short out of range is result of too many methods in single dex file)

https://github.com/Sable/soot/issues/614 (Soot does not yet support multidex output)

ftc commented 7 years ago

Update: dx (the dex compiler that the android system uses) supports multidex so the following path is possible:

I have not tested this yet but it should work.

ftc commented 7 years ago

Multi dex is difficult due to bad interaction with jimple ->jaf conversion and exception instrumenter. Next strategy is to exclude classes from override to get below method limit.

[Thread-11] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: value may not be null
java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
[Thread-15] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: value may not be null
java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
java.util.concurrent.RejectedExecutionException: Task soot.PackManager$1@5d2c6e2e rejected from heros.solver.CountingThreadPoolExecutor@6d413c7f[Shutting down, pool size = 7, active threads = 7, queued tasks = 0, completed tasks = 1]
    at java.util.concurrent.ThreadPoolExecutor$AbortPolicy.rejectedExecution(ThreadPoolExecutor.java:2047)
    at java.util.concurrent.ThreadPoolExecutor.reject(ThreadPoolExecutor.java:823)
    at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1369)
    at heros.solver.CountingThreadPoolExecutor.execute(CountingThreadPoolExecutor.java:51)
    at soot.PackManager.runBodyPacks(PackManager.java:629)
    at soot.PackManager.runBodyPacks(PackManager.java:520)
    at soot.PackManager.runPacksNormally(PackManager.java:497)
    at soot.PackManager.runPacks(PackManager.java:398)
    at soot.Main.run(Main.java:271)
    at soot.Main.main(Main.java:147)
    at edu.colorad.cs.TraceRunner.TraceRunner$.main(TraceRunner.scala:126)
    at edu.colorad.cs.TraceRunner.TraceRunner.main(TraceRunner.scala)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:498)
    at com.intellij.rt.execution.application.AppMain.main(AppMain.java:147)
Exception in thread "Thread-11" Exception in thread "Thread-15" java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
[Thread-14] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: value may not be null
java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
Exception in thread "Thread-14" java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)$r1 := @parameter0: android.os.Handler
$i0 := @parameter1: int
$l1 := @parameter2: long

    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
[Thread-10] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: value may not be null
java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
Exception in thread "Thread-10" java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
[Thread-12] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: value may not be null
java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
Exception in thread "Thread-12" java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
[Thread-13] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: value may not be null
java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
Exception in thread "Thread-13" java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)

Ouuups... something went wrong! Sorry about that.
Follow these steps to fix the problem:
1.) Are you sure you used the right command line?
    Click here to double-check:
    https://ssebuild.cased.de/nightly/soot/doc/soot_options.htm

2.) Not sure whether it's a bug? Feel free to discuss
    the issue on the Soot mailing list:
    https://github.com/Sable/soot/wiki/Getting-help

3.) Sure it's a bug? Click this link to report it.
    https://github.com/Sable/soot/issues/new?title=java.util.concurrent.RejectedExecutionException+when+...&body=Steps+to+reproduce%3A%0A1.%29+...%0A%0AFiles+used+to+reproduce%3A+%0A...%0A%0ASoot+version%3A+%3Cpre%3Etrunk%3C%2Fpre%3E%0A%0ACommand+line%3A%0A%3Cpre%3E-w%3C%2Fpre%3E%0A%0AMax+Memory%3A%0A%3Cpre%3E3527MB%3C%2Fpre%3E%0A%0AStack+trace%3A%0A%3Cpre%3Ejava.util.concurrent.RejectedExecutionException%3A+Task+soot.PackManager%241%405d2c6e2e+rejected+from+heros.solver.CountingThreadPoolExecutor%406d413c7f%5BShutting+down%2C+pool+size+%3D+7%2C+active+threads+%3D+7%2C+queued+tasks+%3D+0%2C+completed+tasks+%3D+1%5D%0A%09at+java.util.concurrent.ThreadPoolExecutor%24AbortPolicy.rejectedExecution%28ThreadPoolExecutor.java%3A2047%29%0A%09at+java.util.concurrent.ThreadPoolExecutor.reject%28ThreadPoolExecutor.java%3A823%29%0A%09at+java.util.concurrent.ThreadPoolExecutor.execute%28ThreadPoolExecutor.java%3A1369%29%0A%09at+heros.solver.CountingThreadPoolExecutor.execute%28CountingThreadPoolExecutor.java%3A51%29%0A%09at+soot.PackManager.runBodyPacks%28PackManager.java%3A629%29%0A%09at+soot.PackManager.runBodyPacks%28PackManager.java%3A520%29%0A%09at+soot.PackManager.runPacksNormally%28PackManager.java%3A497%29%0A%09at+soot.PackManager.runPacks%28PackManager.java%3A398%29%0A%09at+soot.Main.run%28Main.java%3A271%29%0A%09at+soot.Main.main%28Main.java%3A147%29%0A%09at+edu.colorad.cs.TraceRunner.TraceRunner%24.main%28TraceRunner.scala%3A126%29%0A%09at+edu.colorad.cs.TraceRunner.TraceRunner.main%28TraceRunner.scala%29%0A%09at+sun.reflect.NativeMethodAccessorImpl.invoke0%28Native+Method%29%0A%09at+sun.reflect.NativeMethodAccessorImpl.invoke%28NativeMethodAccessorImpl.java%3A62%29%0A%09at+sun.reflect.DelegatingMethodAccessorImpl.invoke%28DelegatingMethodAccessorImpl.java%3A43%29%0A%09at+java.lang.reflect.Method.invoke%28Method.java%3A498%29%0A%09at+com.intellij.rt.execution.application.AppMain.main%28AppMain.java%3A147%29%0A%3C%2Fpre%3E
    Please be as precise as possible when giving us
    information on how to reproduce the problem. Thanks!
[Thread-9] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: value may not be null
java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
Exception in thread "Thread-9" java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
$r1 := @parameter0: java.lang.Class
$r2 := @parameter1: java.lang.Class
$r3 := @parameter2: java.lang.String
[Thread-16] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: value may not be null
java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
Exception in thread "Thread-16" java.lang.IllegalArgumentException: value may not be null
    at soot.AbstractValueBox.setValue(AbstractValueBox.java:40)
    at soot.Body.importBodyContentsFrom(Body.java:222)
    at soot.jimple.JimpleBody.clone(JimpleBody.java:98)
    at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:1042)
    at soot.PackManager.runBodyPacks(PackManager.java:1004)
    at soot.PackManager.access$000(PackManager.java:138)
    at soot.PackManager$1.run(PackManager.java:633)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
    at java.lang.Thread.run(Thread.java:745)
ftc commented 7 years ago

09c19a15543ac63296330c6659372cea49c09c7f fixes the last of this issue.