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

GitHub | martinschaef | 7 months ago
tip
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  1. 0

    JayHorn crashes when running on itself

    GitHub | 7 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