This error came up while analyzing the ComboBoxDemo Swing Tutorial. It didn't crash the tool, and it was able to analyze most of the code.
null
Error
Fri Nov 18 20:45:14 EST 2011
CriticAL framework encountered a problem while analyzing:
[Class: test.ComboBoxDemo]
[Method: <test.comboboxdemo: void="" updatelabel(java.lang.string)="">]</test.comboboxdemo:>
[Line Number: 89]
java.lang.ClassCastException: soot.NullType cannot be cast to soot.RefType
at edu.clarkson.serl.critic.interpreter.Interpreter.shouldInline(Interpreter.java:604)
at edu.clarkson.serl.critic.interpreter.Interpreter.processContext(Interpreter.java:344)
at edu.clarkson.serl.critic.interpreter.Interpreter.execute(Interpreter.java:284)
at edu.clarkson.serl.critic.jobs.internal.CriticMainJob.run(CriticMainJob.java:86)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)
Anonymous