Patch but no diff #6

jose · 2019-07-29T18:46:04Z

Hi,

I have just noticed there is not a diff for every single patch. For example, the following result.json does not include a diff (as others result.json files do, e.g., here or here)

$ cat results/Bugs.jar/Accumulo/72fd6bec/Cardumen/0/result.json

{
  "repair_end": "2019-01-02 23:46:13.040020",
  "repair_begin": "2019-01-02 23:29:29.554319",
  "patches": [
    {
      "patchhunks": [
        {
          "MODIFIED_FILE_PATH": "\\/tmp\\/Cardumen_Bug_dot_jar_Accumulo_72fd6bec\\/.\\/output_astor\\/AstorMain-Accumulo-72fd6bec\\/\\/src\\/\\/variant-242\\/org\\/apache\\/accumulo\\/minicluster\\/MiniAccumuloCluster.java",
          "ORIGINAL_CODE": "builder.environment().put(\\\"ACCUMULO_HOME\\\", config.getDir().getAbsolutePath())",
          "INGREDIENT_SCOPE": "-",
          "PATCH_HUNK_CODE": "(org.apache.accumulo.minicluster.MiniAccumuloCluster.INSTANCE_NAME) + (java.io.File.separator)",
          "INGREDIENT_PARENT": "(_String_0 + (java.io.File.separator))",
          "LOCATION": "org.apache.accumulo.minicluster.MiniAccumuloCluster",
          "BUGGY_CODE_TYPE": "CtInvocationImpl|CtBlockImpl",
          "OPERATOR": "ExpressionReplaceOperator",
          "PATH": "\\/tmp\\/Cardumen_Bug_dot_jar_Accumulo_72fd6bec\\/minicluster\\/src\\/main\\/java\\/org\\/apache\\/accumulo\\/minicluster\\/MiniAccumuloCluster.java",
          "LINE": "157",
          "MP_RANKING": "23",
          "SUSPICIOUNESS": "0.577",
          "PATCH_HUNK_TYPE": "CtBinaryOperatorImpl|CtBlockImpl"
        }
      ],
      "GENERATION": "121",
      "VARIANT_ID": "242",
      "TIME": "942",
      "VALIDATION": "|true|0|6|[]|",
      "FOLDER_SOLUTION_CODE": "\\/tmp\\/Cardumen_Bug_dot_jar_Accumulo_72fd6bec\\/.\\/output_astor\\/AstorMain-Accumulo-72fd6bec\\/\\/bin\\/\\/variant-242"
    }
  ]
}

However, there are two diffs in the repair.log file: here and here. Do you by any chance know which one fixes the bug?

--
Best,
Jose

The text was updated successfully, but these errors were encountered:

jose · 2019-07-29T19:27:24Z

Here are a few more cases (all from Kali):

The common error is IOError: [Errno 2] No such file or directory: u'/tmp/Kali_Defects4J_Closure_133/patches_hcqe/Patch_6/diff'. Any idea whether this error could be due to a bug in the repair tool or a bug in the RepairThemAll infrastructure?

tdurieux · 2019-07-30T09:44:58Z

Thanks for the issue.

That are tricky questions since they are related to repair tools that I don't perfectly know.

For Cardumen, I will let @martinezmatias answer the question :)

For Kali, I know that the implementation of the result is different for Kali in Arja and maybe I miss a specific case. I will run those bug locally to see what is happening.
What is happening is that the RepairThemAll is expecting a file to be present in the folder and the file does not exist and I don't know what is the reason.

jose · 2019-07-30T18:58:24Z

Hi @tdurieux,

I will run those bug locally to see what is happening.
What is happening is that the RepairThemAll is expecting a file to be present in the folder and the file does not exist and I don't know what is the reason.

I've just ran the 6 cases I pointed out and here are my findings. (Long story short, I did not manage to reproduce the issue)

Bugs.jar/Accumulo/72fd6bec/Cardumen

$ python script/repair.py Cardumen --benchmark Bugs.jar --id Accumulo-72fd6bec
1 Running, 0 Waiting, 0/1 Finished, 0 Patched, 0 Error
Running:
1. Cardumen Bugs.jar_Accumulo_72fd6bec 0:00:36
Patched bug:


1 Finished, 0 Patched, 1 Error

Patched bug:
Check the results and logs in /tmp/RepairThemAllFramework/results/

No log file in /tmp/RepairThemAllFramework/results/.