Artifact for Analysing installation scenarios of Debian Packages

This is the artifact presented with the article "Analysing installation scenarios of Debian Packages". This article has been accepted at TACAS 2020 and the artifact passed the artifact evaluation. The artifact contains mostly software developped during the CoLiS (Correctness of Linux Scripts) ANR project. This software can be found at the address https://github.com/colis-anr/. The archive also contains a dataset extracted from Debian's repositories, and a README. The abstract of the article follows. The Debian distribution includes more than 28 thousand maintainer scripts, almost all of them are written in Posix shell. These scripts are executed with root privileges at installation, update, and removal of a package, which make them critical for system maintenance. While Debian policy provides guidance for package maintainers producing the scripts, few tools exist to check the compliance of a script to it. We report on the application of a formal verification approach based on symbolic execution to find violations of some non-trivial properties required by Debian policy in maintainer scripts. We present our methodology and give an overview of our toolchain. We obtained promising results: our toolchain is effective in analysing a large set of Debian maintainer scripts and it pointed out over 150 policy violations that lead to reports (more than half already fixed) on the Debian Bug Tracking system