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 core components of Columba. It would be great if you could analyze and fix those issues.
Missing condition on Iterator.hasNext() before invoking Iterator.next() method. If the next() method is invoked, it could result in NoSuchElementException.
Method: search, Line: 45
Method: getPreferredEmail Line: 154
Method: showAllResults Line: 512
Method: parseMbox, Line: 41
Method:removeDoubleEntries Line: 297
Method:search Line: 86
Method: initHeader, Line: 86
Log in to post a comment.