Constraint Based Program Repair for Persistent Memory Bugs

Artifact Evaluation for ICSE 24 paper "Constraint Based Program Repair for Persistent Memory Bugs" Zunchen Huang and Chao Wang.

The most valuable information is in the summary txt, from the beginning, it shows target files and variables. Then the traces are shown with variables with program counters (PCs) and their dynamic addresses. After the trace, a set of logical constraints on PCs are shown. After each iteration, the user can observe how the (added/reordered) variables evolve with their PCs. At the end, the variables' current order is shown (reordered variables). Users can input their own new traces in our format and their order constraints and observe how it can be fixed if there is any constraint violation (bugs found).