MALPAS Claim

The MALPAS toolset consists of a number of analysers which focus on different aspects of software correctness and integrity. These analysers work with a MALPAS Intermediate Language (IL) representation of the software program which is being analysed.

IL is a universal sequential programming language into which programs written in C, Ada, etc. are translated (via automatic or manual means). The benefit of this process is that the MALPAS analysers need only know about IL, but the analysis results are relevant to the original C (or Ada, etc.) program. Therefore, the MALPAS analysers are essentially universal.