Lukas Lazarek Seong-Heon Jung Vagos Lamprou Zekai Li Anirudh Narsipur Eric Zhao Michael Greenberg Konstantinos Kallas Konstantinos Mamouras Nikos Vasilakis 2025 6 6 https://mustardfox.org/lazarek-et-al-2025/ lazarek-et-al-2025 /lazarek-et-al-2025/ From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs reference 10.1145/3713082.3730395 HotOS XX Lukas Lazarek Seong-Heon Jung Vagos Lamprou Zekai Li Anirudh Narsipur Eric Zhao Michael Greenberg Konstantinos Kallas Konstantinos Mamouras Nikos Vasilakis 2025 6 6 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? References Context Backlinks Eric Zhao 2025 5 https://mustardfox.org/zzhaoe-0037/ zzhaoe-0037 /zzhaoe-0037/ at HotOS XX news I will be at HotOS XX this month 13-16. Our very own Lukas Lazarek will be presenting our paper on semantics-driven static analysis for shell programs. Related 2025 5 13 2025 5 16 https://mustardfox.org/hotos-2025/ hotos-2025 /hotos-2025/ HotOS XX venue https://sigops.org/s/conferences/hotos/2025/index.html Banff, Alberta, Canada Contributions