Shanal homepage

The aim of this work is to create framework for static analysis of Unix shell scripts. Based on researech, Bourne-again shell is chosen as the primary subject of interest. Framework includes plug-in management, means of interaction, handling outputs and input setting.

Some basic plugins are available. Most important of them is propably the parser, but also plugins for keeping track of environment, translating entities from abstract syntax tree into structures more suitable for analysis, plugin looking for some common mistakes and more can be found here.

All parts of the system are implemented in C++ and the system is being developed under Linux.

More information will be added later, this site is under construction.