Embedded devices are increasingly ubiquitous in our society. Firmware updates are one of
the primary mechanisms to mitigate vulnerabilities in embedded systems. However, the …

Localization of the root causes for unreproducible builds during software maintenance is an
important yet challenging task, primarily due to limited runtime traces from build processes …

The POSIX shell is a widely deployed, powerful tool for managing computer systems. The
shell is the expert's control panel, a necessary tool for configuring, compiling, installing …

Recent shell-script parallelization systems enjoy mostly automated parallel speedups by
compiling scripts ahead-of-time. Unfortunately, such static parallelization is hampered by the …

A new parsing method based on the semi-Thue system is described. Similar to, but with
more efficient implementation than Markov normal algorithms, it can be used for parsing any …

The software packages of the Debian distribution include more than twenty-seven thousand
maintainer scripts in total, almost all of them being written in the Posix shell language. These …

The limitations of traditional parsing architecture are well known. Even when paired with
parsing methods that accept all context-free grammars (CFGs), the resulting combination for …

The Debian distribution includes more than 28 thousand maintainer scripts, almost all of
them are written in P osix shell. These scripts are executed with root privileges at installation …

Continuous Integration (CI) and Continuous Deployment (CD) are widely adopted in
software engineering practice. In reality, the CI/CD pipeline execution is not yet reliably …

This thesis aims at applying techniques from deductive program verification and analysis of
tree transformations to the problem of analysing Shell scripts. In particular, we aim at …