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

GitHub | martinschaef | 3 months ago
  1. 0

    JayHorn crashes when running on itself

    GitHub | 3 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 | 4 years ago | JohnnyO
    java.lang.RuntimeException: No method java.util.Random initRNG() in class edu.syr.pcpratts.rootbeer.runtime.remap.java.lang.StrictMath
  3. 0

    Jogl Can't Find libopenal.dylib on OSX

    GitHub | 3 years ago | badlogic
    java.lang.RuntimeException: couldn't find libopenal.dylib in jar file.
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    Jnigen can't have a Class argument

    GitHub | 5 months ago | mdsimmo
    java.lang.RuntimeException: Couldn't find C method for Java method 'MyClass#myNativeMethod'

    Not finding the right solution?
    Take a tour to get the most out of Samebug.

    Tired of useless tips?

    Automated exception search integrated into your IDE

    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