java.lang.RuntimeException: couldn't find method <init>([int]) in JayArray_JayArray_int

GitHub | martinschaef | 6 months ago
tip
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards for you help.
  1. 0

    JayHorn crashes when running on itself

    GitHub | 6 months ago | martinschaef
    java.lang.RuntimeException: couldn't find method <init>([int]) in JayArray_JayArray_int
  2. 0

    Error Running Tests/Examples on a Win7 Machine

    GitHub | 5 years ago | JohnnyO
    java.lang.RuntimeException: No method java.util.Random initRNG() in class edu.syr.pcpratts.rootbeer.runtime.remap.java.lang.StrictMath

    Root Cause Analysis

    1. java.lang.RuntimeException

      couldn't find method <init>([int]) in JayArray_JayArray_int

      at soot.SootClass.getMethod()
    2. RoboVM Compiler
      SootClass.getMethod
      1. soot.SootClass.getMethod(SootClass.java:509)
      1 frame
    3. soottocfg.soot.transformers
      ArrayTransformer.applyTransformation
      1. soottocfg.soot.transformers.ArrayTransformer.applyTransformation(ArrayTransformer.java:225)
      1 frame
    4. soottocfg.soot
      SootToCfg.run
      1. soottocfg.soot.SootToCfg.performAbstractionTransformations(SootToCfg.java:307)
      2. soottocfg.soot.SootToCfg.run(SootToCfg.java:137)
      2 frames
    5. jayhorn
      Main.main
      1. jayhorn.Main.safetyAnalysis(Main.java:43)
      2. jayhorn.Main.main(Main.java:73)
      2 frames