java.lang.RuntimeException

There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

    • java.lang.RuntimeException: couldn't find method <init>([int]) in JayArray_JayArray_int at soot.SootClass.getMethod(SootClass.java:509) at soottocfg.soot.transformers.ArrayTransformer.applyTransformation(ArrayTransformer.java:225) at soottocfg.soot.SootToCfg.performAbstractionTransformations(SootToCfg.java:307) at soottocfg.soot.SootToCfg.run(SootToCfg.java:137) at jayhorn.Main.safetyAnalysis(Main.java:43) at jayhorn.Main.main(Main.java:73)
    No Bugmate found.