This is the user manual and online help of the Static Analysis Framework Toolset (SAFe Toolset).



The SAFe Toolset is a set of open source tools, packaged in easily reusable form (currently, an Ubuntu Virtual Machine), that can be used to perform Software Verification and Validation; its purpose is to facilitate and promote these activities.


The development of the SAFe Toolset was funded by the European Space Agency Contract # RFP/3-15558/18/NL/FE/as.