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.

Analysing installation scenarios of Debian packages

ETAPS is a confederation of several conferences, each with its own Programme Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 researchers participate in this event every year. The confederated conferences cover various aspects of software systems, ranging from theoretical foundations to programming language developments, compiler advancements, analysis tools, formal approaches to software engineering, and security.

A gather.town room will be open during the whole conference, which can be found here:

https://gather.town/app/nSgVv0DDYoCkmdkP/ETAPS2021

Password: Luxembourg2021

This can be used to meet in the coffee breaks.

 PDF's of the papers are available on https://etaps.org/2021/programme