Having Fun With 31.521 Shell Scripts - Inria - Institut national de recherche en sciences et technologies du numérique
Preprints, Working Papers, ... Year : 2017

Having Fun With 31.521 Shell Scripts

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01513750 , version 1

Cite

Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen. Having Fun With 31.521 Shell Scripts. 2017. ⟨hal-01513750⟩
581 View
1004 Download

Share

More