Why Malpas

Not language-specific

MALPAS can be applied to all sequential programming languages and provides automatic translation from programs written in widely-used languages (e.g. C, Ada and various Assembler languages). The analyst can also perform a manual translation from the small programs written in obscure languages into the intermediate language used by MALPAS.

COTS and legacy software

MALPAS does not require that the program code be developed in a particular manner, or even that it conforms to a particular subset of the program language. It is, therefore, applicable to Commercial Off The Shelf (COTS) code and legacy code (as long as the source code is made available).

Completeness of analysis

MALPAS analysis is exhaustive – it analyses all paths through the program and provides proof of correctness for all possible inputs.


The depth and range of MALPAS analysis can be tailored to meet your particular assessment and verification criteria.


MALPAS does not require the production of expensive test rigs or the collection of test datasets. Any individual module of code can be analysed as soon as it is completed, with the result that any quality problems will be uncovered early in the lifecycle.


MALPAS has a 25 year pedigree and has been used on some of the most complex and critical software systems. It is developed using best practise techniques in an ISO9001:2008 TickIT environment and is supported by a full DO-178C style qualification pack.