QualDivine already found hundreds of bugs in open source projects. Here are some of our success stories.
Analyzed Files
3,024
Analysis time
5.576s
Issue: Wrong Incrementer
windowtester/com.windowtester.swt.runtime/src/com/windowtester/runtime/swt/internal/finder/eclipse/views/ViewExplorer.java
53 for (int i = 0; i < categories.length; i++) {
54 IViewCategory category = categories[i];
55 IViewDescriptor[] views = category.getViews();
56 for (int j = 0; j < views.length; j++) {
- 57 IViewDescriptor candidateView = views[i];
+ 57 IViewDescriptor candidateView = views[j];
58 if (view == candidateView)
59 return category.getLabel();
60 }
61 }
54 IViewCategory category = categories[i];
55 IViewDescriptor[] views = category.getViews();
56 for (int j = 0; j < views.length; j++) {
- 57 IViewDescriptor candidateView = views[i];
+ 57 IViewDescriptor candidateView = views[j];
58 if (view == candidateView)
59 return category.getLabel();
60 }
61 }
Reported and fixed: https://github.com/google/windowtester/issues/33
Europa
Analyzed Files
157
Analysis time
12.475s
Issue: Wrong Else Branch With Same Condition
europa/src/Java/JavaUI/source/org/ops/ui/editor/swing/ash/InputHandler.java
422 if(console.getCaretPosition() < console.getCommandStart())
423 console.setCaretPosition(console.getDocumentLength());
- 424 else if(console.getCaretPosition() < console.getCommandStart()) {
+ 424 else if(console.getCaretPosition() == console.getCommandStart()) {
425 console.getToolkit().beep();
426 return; }
423 console.setCaretPosition(console.getDocumentLength());
- 424 else if(console.getCaretPosition() < console.getCommandStart()) {
+ 424 else if(console.getCaretPosition() == console.getCommandStart()) {
425 console.getToolkit().beep();
426 return; }
Reported and fixed: https://github.com/nasa/europa/issues/182
MULE
Analyzed Files
4,090
Analysis time
4.632s
Issue: Same Object Equals
core/src/main/java/org/mule/runtime/core/util/queue/objectstore/QueueConfiguration.java
54 QueueConfiguration other = (QueueConfiguration) obj;
55 if (capacity != other.capacity) {
56 return false;
57 }
- 58 if (!objectStore.equals(objectStore)) {
+ 58 if (!objectStore.equals(other)) {
59 return false;
60
55 if (capacity != other.capacity) {
56 return false;
57 }
- 58 if (!objectStore.equals(objectStore)) {
+ 58 if (!objectStore.equals(other)) {
59 return false;
60
Reported and fixed: https://www.mulesoft.org/jira/browse/MULE-12236