Skip to content

Instantly share code, notes, and snippets.

@monperrus

monperrus/patches.json

Created November 3, 2024 21:16
Show Gist options
  • Save monperrus/39c63e2fc4680a2d079833d7e223a2a4 to your computer and use it in GitHub Desktop.
Save monperrus/39c63e2fc4680a2d079833d7e223a2a4 to your computer and use it in GitHub Desktop.
Download ZIP
npefix output for pdfbox_2965
Raw
patches.json
{
"end" : 1730668188593,
"endInit" : 1730668177201,
"executions" : [
{
"decisions" : [
{
"decisionType" : "NEW",
"epsilon" : 0,
"location" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
},
"nbUse" : 1,
"strategy" : "Strat2A",
"used" : true,
"value" : {
"class" : "org.apache.pdfbox.cos.COSArray",
"instanceType" : "New"
}
}
],
"diff" : "--- a/home/martin/martin-no-backup/npe-dataset/pdfbox_2965/src/main/java/org/apache/pdfbox/pdmodel/interactive/form/PDAcroForm.java\n+++ b/home/martin/martin-no-backup/npe-dataset/pdfbox_2965/src/main/java/org/apache/pdfbox/pdmodel/interactive/form/PDAcroForm.java\n@@ -250,31 +250,69 @@\n \n- for (int i = 0; i < fields.size() && retval == null; i++)\n- {\n- COSDictionary element = (COSDictionary) fields.getObject(i);\n- if (element != null)\n- {\n- COSString fieldName =\n+ } else {\n+ if (fields == null) {\n+ for (int i = 0; i < new COSArray().size() && retval == null; i++)\n+ {\n+ COSDictionary element = (COSDictionary) fields.getObject(i);\n+ if (element != null)\n+ {\n+ COSString fieldName =\n (COSString)element.getDictionaryObject(COSName.T);\n- if (fieldName.getString().equals(fullyQualifiedName) ||\n+ if (fieldName.getString().equals(fullyQualifiedName) ||\n fieldName.getString().equals(nameSubSection[0]))\n+ {\n+ PDField root = PDField.fromDictionary(this, element, null);\n+ if (root != null)\n+ {\n+ if (nameSubSection.length > 1)\n+ {\n+ PDField kid = root.findKid(nameSubSection, 1);\n+ if (kid != null)\n+ {\n+ retval = kid;\n+ }\n+ else\n+ {\n+ retval = root;\n+ }\n+ }\n+ else\n+ {\n+ retval = root;\n+ }\n+ }\n+ }\n+ }\n+ }\n+ } else {\n+ for (int i = 0; i < fields.size() && retval == null; i++)\n {\n- PDField root = PDField.fromDictionary(this, element, null);\n- if (root != null)\n+ COSDictionary element = (COSDictionary) fields.getObject(i);\n+ if (element != null)\n {\n- if (nameSubSection.length > 1)\n+ COSString fieldName =\n+ (COSString)element.getDictionaryObject(COSName.T);\n+ if (fieldName.getString().equals(fullyQualifiedName) ||\n+ fieldName.getString().equals(nameSubSection[0]))\n {\n- PDField kid = root.findKid(nameSubSection, 1);\n- if (kid != null)\n+ PDField root = PDField.fromDictionary(this, element, null);\n+ if (root != null)\n {\n- retval = kid;\n+ if (nameSubSection.length > 1)\n+ {\n+ PDField kid = root.findKid(nameSubSection, 1);\n+ if (kid != null)\n+ {\n+ retval = kid;\n+ }\n+ else\n+ {\n+ retval = root;\n+ }\n+ }\n+ else\n+ {\n+ retval = root;\n+ }\n }\n- else\n- {\n- retval = root;\n- }\n }\n- else\n- {\n- retval = root;\n- }\n }\n",
"endDate" : 1730668187341,
"locations" : [
{
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"executionCount" : 0,
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
}
],
"metadata" : {
"seed" : 10,
"strategy_selection" : "exploration"
},
"result" : {
"success" : true,
"type" : "test"
},
"startDate" : 1730668187132,
"test" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroFormTest",
"name" : "testFieldsEntry"
}
},
{
"decisions" : [
{
"decisionType" : "NEW",
"epsilon" : 0,
"location" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
},
"nbUse" : 1,
"strategy" : "Strat2B",
"used" : true,
"value" : {
"class" : "org.apache.pdfbox.cos.COSArray",
"instanceType" : "New"
}
}
],
"diff" : "--- a/home/martin/martin-no-backup/npe-dataset/pdfbox_2965/src/main/java/org/apache/pdfbox/pdmodel/interactive/form/PDAcroForm.java\n+++ b/home/martin/martin-no-backup/npe-dataset/pdfbox_2965/src/main/java/org/apache/pdfbox/pdmodel/interactive/form/PDAcroForm.java\n@@ -250,3 +250,7 @@\n \n- for (int i = 0; i < fields.size() && retval == null; i++)\n+ } else {\n+ if (fields == null) {\n+ fields = new COSArray();\n+ }\n+ for (int i = 0; i < fields.size() && retval == null; i++)\n {\n@@ -283,2 +287,3 @@\n }\n+ }\n }\n",
"endDate" : 1730668187491,
"locations" : [
{
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"executionCount" : 0,
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
}
],
"metadata" : {
"seed" : 10,
"strategy_selection" : "exploration"
},
"result" : {
"success" : true,
"type" : "test"
},
"startDate" : 1730668187345,
"test" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroFormTest",
"name" : "testFieldsEntry"
}
},
{
"decisions" : [
{
"decisionType" : "NEW",
"epsilon" : 0,
"location" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
},
"nbUse" : 0,
"strategy" : "Strat3",
"used" : true,
"value" : {
"class" : "class java.lang.Boolean",
"instanceType" : "Primitive",
"value" : false
}
}
],
"diff" : "--- a/home/martin/martin-no-backup/npe-dataset/pdfbox_2965/src/main/java/org/apache/pdfbox/pdmodel/interactive/form/PDAcroForm.java\n+++ b/home/martin/martin-no-backup/npe-dataset/pdfbox_2965/src/main/java/org/apache/pdfbox/pdmodel/interactive/form/PDAcroForm.java\n@@ -250,31 +250,35 @@\n \n- for (int i = 0; i < fields.size() && retval == null; i++)\n- {\n- COSDictionary element = (COSDictionary) fields.getObject(i);\n- if (element != null)\n- {\n- COSString fieldName =\n- (COSString)element.getDictionaryObject(COSName.T);\n- if (fieldName.getString().equals(fullyQualifiedName) ||\n- fieldName.getString().equals(nameSubSection[0]))\n+ } else {\n+ if (fields != null) {\n+ for (int i = 0; i < fields.size() && retval == null; i++)\n {\n- PDField root = PDField.fromDictionary(this, element, null);\n- if (root != null)\n+ COSDictionary element = (COSDictionary) fields.getObject(i);\n+ if (element != null)\n {\n- if (nameSubSection.length > 1)\n+ COSString fieldName =\n+ (COSString)element.getDictionaryObject(COSName.T);\n+ if (fieldName.getString().equals(fullyQualifiedName) ||\n+ fieldName.getString().equals(nameSubSection[0]))\n {\n- PDField kid = root.findKid(nameSubSection, 1);\n- if (kid != null)\n+ PDField root = PDField.fromDictionary(this, element, null);\n+ if (root != null)\n {\n- retval = kid;\n+ if (nameSubSection.length > 1)\n+ {\n+ PDField kid = root.findKid(nameSubSection, 1);\n+ if (kid != null)\n+ {\n+ retval = kid;\n+ }\n+ else\n+ {\n+ retval = root;\n+ }\n+ }\n+ else\n+ {\n+ retval = root;\n+ }\n }\n- else\n- {\n- retval = root;\n- }\n }\n- else\n- {\n- retval = root;\n- }\n }\n",
"endDate" : 1730668187675,
"metadata" : {
"seed" : 10,
"strategy_selection" : "exploration"
},
"result" : {
"error" : "testFieldsEntry(org.apache.pdfbox.pdmodel.interactive.form.PDAcroFormTest): Cannot invoke \"org.apache.pdfbox.cos.COSArray.size()\" because the return value of \"fr.inria.spirals.npefix.resi.CallChecker.isCalled(Object, java.lang.Class, int, int, int)\" is null\nclass java.lang.NullPointerException: Cannot invoke \"org.apache.pdfbox.cos.COSArray.size()\" because the return value of \"fr.inria.spirals.npefix.resi.CallChecker.isCalled(Object, java.lang.Class, int, int, int)\" is null\n at org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm.getField(PDAcroForm.java:343)\n at org.apache.pdfbox.pdmodel.interactive.form.PDAcroFormTest.testFieldsEntry(PDAcroFormTest.java:68)\n at jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(NativeMethodAccessorImpl.java:-2)\n at jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)\n at jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)\n at java.lang.reflect.Method.invoke(Method.java:569)\n at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:59)\n at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)\n at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:56)\n at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)\n at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26)\n at org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:27)\n at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)\n at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)\n at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)\n at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)\n at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)\n at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)\n at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)\n at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)\n at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)\n at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)\n at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)\n at org.junit.runners.ParentRunner.run(ParentRunner.java:413)\n at org.junit.runner.JUnitCore.run(JUnitCore.java:137)\n\n\n",
"success" : false,
"type" : "test"
},
"startDate" : 1730668187492,
"test" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroFormTest",
"name" : "testFieldsEntry"
}
},
{
"decisions" : [
{
"decisionType" : "NEW",
"epsilon" : 0,
"location" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
},
"nbUse" : 1,
"strategy" : "Strat4 NULL",
"used" : true,
"value" : {
"class" : "null",
"instanceType" : "Primitive",
"value" : "null"
}
}
],
"diff" : "--- a/home/martin/martin-no-backup/npe-dataset/pdfbox_2965/src/main/java/org/apache/pdfbox/pdmodel/interactive/form/PDAcroForm.java\n+++ b/home/martin/martin-no-backup/npe-dataset/pdfbox_2965/src/main/java/org/apache/pdfbox/pdmodel/interactive/form/PDAcroForm.java\n@@ -250,3 +250,7 @@\n \n- for (int i = 0; i < fields.size() && retval == null; i++)\n+ } else {\n+ if (fields == null) {\n+ return null;\n+ }\n+ for (int i = 0; i < fields.size() && retval == null; i++)\n {\n@@ -283,2 +287,3 @@\n }\n+ }\n }\n",
"endDate" : 1730668187808,
"locations" : [
{
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"executionCount" : 0,
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
}
],
"metadata" : {
"seed" : 10,
"strategy_selection" : "exploration"
},
"result" : {
"success" : true,
"type" : "test"
},
"startDate" : 1730668187676,
"test" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroFormTest",
"name" : "testFieldsEntry"
}
}
],
"searchSpace" : [
{
"decisionType" : "NEW",
"epsilon" : 0,
"location" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
},
"nbUse" : 1,
"strategy" : "Strat2A",
"used" : true,
"value" : {
"class" : "org.apache.pdfbox.cos.COSArray",
"instanceType" : "New"
}
},
{
"decisionType" : "RANDOM",
"epsilon" : 0,
"location" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
},
"nbUse" : 0,
"strategy" : "Strat2B",
"used" : false,
"value" : {
"class" : "org.apache.pdfbox.cos.COSArray",
"instanceType" : "New"
}
},
{
"decisionType" : "RANDOM",
"epsilon" : 0,
"location" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
},
"nbUse" : 0,
"strategy" : "Strat3",
"used" : false,
"value" : {
"class" : "class java.lang.Boolean",
"instanceType" : "Primitive",
"value" : false
}
},
{
"decisionType" : "RANDOM",
"epsilon" : 0,
"location" : {
"class" : "org.apache.pdfbox.pdmodel.interactive.form.PDAcroForm",
"line" : 251,
"sourceEnd" : 8019,
"sourceStart" : 8014
},
"nbUse" : 0,
"strategy" : "Strat4 NULL",
"used" : false,
"value" : {
"class" : "null",
"instanceType" : "Primitive",
"value" : "null"
}
}
],
"start" : 1730668187131
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment