Artifact for: Automated Debugging of Datalog Programs

Welcome to the official artifact of "Automated Debugging of Datalog Programs." This artifact is designed to reproduce the automated fault localization method for Datalog programs proposed in the paper, and to support subsequent researchers in reusing its benchmark suite, instrumentation framework, and fault localization scripts. We provide two ways to run this artifact: Docker and pure source build. The core contributions of this artifact are as follows: 1. Datalog Bug Benchmark Suite: The artifact contains 96 Datalog bug instances extracted and constructed from historical versions of Doop, covering three pointer analysis configurations. Each instance includes the buggy/fixed Datalog program, input fact files, metadata, pre-generated outputs, and fault localization results. 2. Modified Soufflé Engine: The artifact provides a modified version based on Soufflé 1.5.1, capable of recording tuple generation and exporting symbol tables in its compiled mode. 3. Fault Localization and Statistics Scripts: The artifact contains a comprehensive suite of scripts for ground-truth generation, C++ instrumentation, symbol table remapping, the fault localization algorithm, noise sampling experiments, and result statistics. 4. Pre-generated Experimental Results: We also provide our pre-run experimental outputs and statistics, facilitating comparison with the paper's results when reproducing experiments.