We list below the following artifacts for some of the experiment in our evaluation section of the paper; the developer patch
from the donor, the generated patch by our tool for the target, F1X generated patch and Prophet generated patch for comparison purposes.
Id | Program | Error Type | Donor Patch | Transplanted Patch | F1X Patch | Prophet Patch |
---|---|---|---|---|---|---|
1 | OpenJPEG | Divide by Zero | Patch | Patch | Patch | Patch |
2 | Jasper | Divide by Zero | Patch | Patch | Patch | Patch |
3 | OpenJPEG | Signed Integer Overflow | Patch | Patch | Patch | Patch |
4 | Jasper | Signed Integer Overflow | Patch | Patch | Patch | Patch |
5 | OpenJPEG | Null Pointer Dereference | Patch | N/A | Patch | N/A |
6 | Jasper | Null Pointer Dereference | Patch | Patch | Patch | Patch |
7 | OpenJPEG | Divide by Zero | Patch | Patch | N/A | Patch |
8 | Jasper | Divide by Zero | Patch | Patch | Patch | Patch |
9 | OpenJPEG | Unsigned Integer Overflow | Patch | Patch | Patch | N/A |
10 | Jasper | Unsigned Integer Overflow | Patch | Patch | Patch | N/A |
11 | LibWebP | Signed Integer Overflow | Patch | Patch | N/A | Patch |
12 | LibWebP | Shift Overflow | Patch | Patch | Patch | N/A |
13 | Jasper | Shift Overflow | Patch | Patch | Patch | N/A |
14 | OpenJPEG | Heap Overflow | Patch | N/A | N/A | N/A |
15 | Jasper | Heap Overflow | Patch | N/A | N/A | N/A |
16 | OpenJPEG | Unsigned Integer Overflow | Patch | Patch | Patch | N/A |
17 | Jasper | Memory Write Error | Patch | Patch | Patch | N/A |
18 | WavPack | Shift Overflow | Patch | N/A | N/A | N/A |
19 | Jasper | Signed Integer Overflow | Patch | Patch | Patch | Patch |
20 | LibMing | Divide by Zero | Patch | Patch | Patch | Patch |
21 | LibMing | Negative Shift | Patch | Patch | Patch | N/A |
22 | Libtiff | Heap Buffer Overflow | Patch | Patch | Patch | N/A |
23 | Libsndfile | Buffer Overflow | Patch | Patch | Patch | N/A |
24 | LibZIP | Buffer Overflow | Patch | Patch | N/A | N/A |