java.lang.ArrayIndexOutOfBoundsException: 0

GitHub | pruemmer | 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 on trivial program

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