Air vehicle Software Static Code Analysis Lessons Learnt

The United Kingdom Ministry of Defence (MoD) has pioneered the use of software static code analysis (SCA) methodologies, some of the tools and their application. This paper discusses, what is meant by static analysis, reviews some of the tools and considers some of the lessons learnt from the practical application of SCA when used to evaluate military avionics software.