@inproceedings{lazarekAheadofJustinTimeBack2025,
title = {From {{Ahead-of-}} to {{Just-in-Time}} and {{Back Again}}: {{Static Analysis}} for {{Unix Shell Programs}}},
shorttitle = {From {{Ahead-of-}} to {{Just-in-Time}} and {{Back Again}}},
booktitle = {Proceedings of the 2025 {{Workshop}} on {{Hot Topics}} in {{Operating Systems}}},
author = {Lazarek, Lukas and Jung, Seong-Heon and Lamprou, Evangelos and Li, Zekai and Narsipur, Anirudh and Zhao, Eric and Greenberg, Michael and Kallas, Konstantinos and Mamouras, Konstantinos and Vasilakis, Nikos},
year = 2025,
month = jun,
series = {{{HotOS}} '25},
pages = {88--95},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
doi = {10.1145/3713082.3730395},
abstract = {Shell programming is as prevalent as ever. It is also quite complex, due to the structure of shell programs, their use of opaque software components, and their complex interactions with the broader environment. As a result, even when exercising an abundance of care, shell developers discover devastating bugs in their programs only at runtime: at best, shell programs going wrong crash the execution of a long-running task; at worst, they silently corrupt the broader environment in which they execute---affecting user data, modifying system files, and rendering entire systems unusable. Could the shell's users enjoy the benefits of semantics-driven static analysis before their programs' execution---as offered by most other production languages?},
isbn = {979-8-4007-1475-7}
}