We developed a mining-based approach that recovers specifications for APIs of JavaSDK and uses those specifications to detect defects statically. In our study, we found that at various places, return checks are missing in the Columba. It would be great if you could analyze and fix those issues.
java.util.List,get(int) throws IndexOutOfBoundsException when invoked on a list without any elements. Currently the condition check is missing in the following places:
Class: AttachmentsViewer.java
Method: getSelectedMimePart Line: 266
Class: IMAPServer.java
Method: getLoginMethod Line: 445
Class: POP3Store.java
Method:getLoginMethod Line: 422
Class: StructureValue.java
Method: removeChild Line: 188
Class: VirtualFolder.java
Method: searchMessages Line: 647