Having Fun With 31.521 Shell Scripts - Laboratoire Preuves, Programmes et Systèmes
Pré-Publication, Document De Travail Année : 2017

Having Fun With 31.521 Shell Scripts

Résumé

Statically parsing shell scripts is, due to various peculiarities of the shell language, a challenge. One of the difficulties is that the shell language is designed to be executed by intertwining reading chunks of syntax with semantic actions. We have analyzed a corpus of 31.521 POSIX shell scripts occurring as maintainer scripts in the Debian GNU/Linux distribution. Our parser, which makes use of recent developments in parser generation technology, succeeds on 99.9% of the corpus. The architecture of our tool allows us to easily plug in various statistical analyzers on the syntax trees constructed from the shell scripts. The statistics obtained by our tool are the basis for the definition of a model which we plan to use in the future for the formal verification of scripts.
Fichier principal
Vignette du fichier
main.pdf (172.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01513750 , version 1 (25-04-2017)

Identifiants

  • HAL Id : hal-01513750 , version 1

Citer

Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen. Having Fun With 31.521 Shell Scripts. 2017. ⟨hal-01513750⟩
592 Consultations
1005 Téléchargements

Partager

More