Analysing installation scenarios of Debian packages

Autor: Mihaela Sighireanu, Nicolas Jeannerod, Claude Marché, Ralf Treinen, Yann Régis-Gianas, Benedikt Becker

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030452360
TACAS (2)
Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2020-26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2020-26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, The conference took place on-line, because it couldn't be held in Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83781a0aa95ff8ec80f03f0f0b2d4b88
https://doi.org/10.1007/978-3-030-45237-7_14

Morbig: A Static Parser for POSIX Shell

Autor: Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen

Publikováno v: SLE 2018-ACM SIGPLAN International Conference on Software Language Engineering
SLE 2018-ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
SLE

The POSIX shell language defies conventional wisdom of compiler construction on several levels: The shell language was not designed for static parsing, but with an intertwining of syntactic analysis and execution by expansion in mind. Token recogniti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5ac6b56f05d097adfea38a4cec1792c
https://hal.archives-ouvertes.fr/hal-01890044

A Formally Verified Interpreter for a Shell-Like Programming Language

Autor: Claude Marché, Nicolas Jeannerod, Ralf Treinen

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319723075
VSTTE

The shell language is widely used for various system administration tasks on UNIX machines, as for instance as part of the installation process of software packages in FOSS distributions. Our mid-term goal is to analyze these scripts as part of an on

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b3f1b2b69ff54cc2c80ef37f201c5f1e
https://doi.org/10.1007/978-3-319-72308-2_1