Artifact for the paper "Generalized Program Sketching by Abstract Interpretation and Logical Abduction'"
Aleksandar S. Dimovski · Zenodo (CERN European Organization for Nuclear Research) · 2023
In this work, we describe the installation, usage, and evaluation results of the tool, denoted GenSketching, introduced by the paper ``Generalized Program Sketching by Abstract Interpretation and Logical Abduction''. We provide step-by-step instructions on how to download, run, and compare the tool's outputs to outputs described in the paper. The tool is a research prototype program sketcher for resolving numerical program sketches in C using abstract interpretation and logical abduction. It uses a combination of forward and backward numerical analyses based on abstract interpretation to generate constraints that are solved by using the logical abduction technique.