FixBench

A benchmark for example-based program transformation with bug-fixing code changes.

• All: All code changes (i.e., complete benchmark).
• WithinSingleMethod: All code changes within single method.

Example

An Example Code Change for Fixing Null Pointer Dereference in FixBench [Original GitHub]

diff --git a/core/src/main/java/com/orientechnologies/orient/core/db/document/ODatabaseDocumentTx.java b/core/src/main/java/com/orientechnologies/orient/core/db/document/ODatabaseDocumentTx.java
index c9ff80d..8b733ad 100755
--- a/core/src/main/java/com/orientechnologies/orient/core/db/document/ODatabaseDocumentTx.java
+++ b/core/src/main/java/com/orientechnologies/orient/core/db/document/ODatabaseDocumentTx.java
@@ -251 +251 @@ public class ODatabaseDocumentTx extends OListenerManger<ODatabaseListener> impl
-        if (!name.equals(iUserName)) {
+        if (name== null || !name.equals(iUserName)) {

Statistic

Id	Bug Type	Bug Description	# Code Changes
1	Null Pointer Dereference	A dereference-after-store error occurs when a program explicitly sets a pointer to null and dereferences it later.	454
2	Out Of Bounds	Accessing an array with an illegal index that is either negative or greater than or equal to the size of the array.	119
3	DM_DEFAULT_ENCODING	A conversion from a byte to String (or String to byte) is using the platform's default encoding. An encoding should be specified instead	67
4	URF_UNREAD_FIELD	Declared a field but never read/used which implies the code is incomplete. Harmful to code quality and maintenance.	36
5	SE_NO_SERIALVERSIONID	A class implements the Serializable interface, but does not define a serialVersionUID field.	84
6	DM_CONVERT_CASE	A String is being converted to upper or lowercase, using the platform's default charset. A charset should be specified instead, otherwise it results in improper conversions.	141
7	MS_SHOULD_BE_FINAL	A static field is set to be public but not final, and could be changed by malicious code or by accident from another package.	62
		Total	1,023

Label

• Guideline