java.lang.ArrayIndexOutOfBoundsException: 0

GitHub | pruemmer | 6 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    JayHorn crashes on trivial program

    GitHub | 6 months ago | pruemmer
    java.lang.ArrayIndexOutOfBoundsException: 0

    Root Cause Analysis

    1. java.lang.ArrayIndexOutOfBoundsException

      0

      at soottocfg.soot.memory_model.PushIdentifierAdder.addToPushesAndPulls()
    2. soottocfg.soot.memory_model
      PushIdentifierAdder.addIDs
      1. soottocfg.soot.memory_model.PushIdentifierAdder.addToPushesAndPulls(PushIdentifierAdder.java:53)
      2. soottocfg.soot.memory_model.PushIdentifierAdder.addIDs(PushIdentifierAdder.java:41)
      2 frames