#15 MID5808898 NullPointerException Open Array Problem

[Chandan Rupakheti]

Some of the swing components were initialized and assigned to a member array field in a method after which a JFrame was created in another method. Since the symbolic execution started in the method where the JFrame was created, CriticAL could not reason about the elements in the array, thus, resulting in a NullPointerException when the components in the array were used with JFrame.

Sun Mar 25 16:16:54 EDT 2012
CriticAL framework encountered a problem while analyzing:
[Class: layout.MID5808898$GridBagLayoutRB]
[Method: <layout.mid5808898$gridbaglayoutrb: void="" addcomponentstopane(java.awt.container)="">]</layout.mid5808898$gridbaglayoutrb:>
[Line Number: 87]

java.lang.NullPointerException
at edu.clarkson.serl.critic.interpreter.internal.StackFrame.put(StackFrame.java:281)
at edu.clarkson.serl.critic.interpreter.model.StmtAssign.executeStmt(StmtAssign.java:90)
at edu.clarkson.serl.critic.interpreter.model.StmtAbstract.execute(StmtAbstract.java:111)
at edu.clarkson.serl.critic.interpreter.Interpreter.processContext(Interpreter.java:364)
at edu.clarkson.serl.critic.interpreter.Interpreter.execute(Interpreter.java:292)
at edu.clarkson.serl.critic.jobs.internal.CriticMainJob.run(CriticMainJob.java:86)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)