java.lang.AssertionError: can't find caller stackframe for: invokevirtual java.lang.String.length()I

Google Groups | Zhenyu Zhou | 1 year ago
  1. 0

    How to import .jar with JPF?

    Google Groups | 1 year ago | Zhenyu Zhou
    java.lang.AssertionError: can't find caller stackframe for: invokevirtual java.lang.String.length()I
  2. 0

    Symbolic Path Finder - test generation for objects

    Google Groups | 2 years ago | grze...@gmail.com
    java.lang.AssertionError: expected HeapChoiceGenerator, got:gov.nasa.jpf.symbc.sequences.SequenceChoiceGenerator[id="?",isCascaded:false,0..0,delta=+1,cur=0]
  3. 0

    Strings in JPF-symbc

    Google Groups | 5 years ago | Pedro Louro
    java.lang.AssertionError
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    Symbc crash reading input - "can't find caller stackframe for invokevirtual java.io.InputStream.read([BII)I"

    Google Groups | 6 years ago | Pedro Louro
    java.lang.AssertionError: can't find caller stackframe for: invokevirtual java.io.InputStream.read([BII)I
  6. 0

    How to import .jar with JPF?

    Google Groups | 1 year ago | Zhenyu Zhou
    java.lang.AssertionError: can't find caller stackframe for: invokevirtual java.lang.String.length()I

    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.AssertionError

      can't find caller stackframe for: invokevirtual java.lang.String.length()I

      at gov.nasa.jpf.jvm.bytecode.JVMInvokeInstruction.getArgumentValues()
    2. gov.nasa.jpf
      JPF.start
      1. gov.nasa.jpf.jvm.bytecode.JVMInvokeInstruction.getArgumentValues(JVMInvokeInstruction.java:167)
      2. gov.nasa.jpf.symbc.SymbolicListener.instructionExecuted(SymbolicListener.java:189)
      3. gov.nasa.jpf.vm.VM.notifyInstructionExecuted(VM.java:808)
      4. gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1922)
      5. gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1859)
      6. gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:765)
      7. gov.nasa.jpf.vm.VM.forward(VM.java:1722)
      8. gov.nasa.jpf.search.Search.forward(Search.java:579)
      9. gov.nasa.jpf.search.DFSearch.search(DFSearch.java:79)
      10. gov.nasa.jpf.JPF.run(JPF.java:613)
      11. gov.nasa.jpf.JPF.start(JPF.java:189)
      11 frames
    3. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:497)
      4 frames
    4. gov.nasa.jpf
      RunJPF.main
      1. gov.nasa.jpf.tool.Run.call(Run.java:80)
      2. gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:116)
      2 frames