There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

  • JayHorn crashes on trivial program
    via GitHub by pruemmer
    • java.lang.ArrayIndexOutOfBoundsException: 0 at soottocfg.soot.memory_model.PushIdentifierAdder.addToPushesAndPulls( at soottocfg.soot.memory_model.PushIdentifierAdder.addIDs(
    No Bugmate found.