Advanced static code analysis tool

With this integration, Green Hills Software endeavours to increase both developer productivity and code quality, while enabling better management and control of code complexity and the overall coding process. This technology may be of relevance to medical and industrial device development where advanced software development processes are the norm. Green Hills Software argues that application complexity has become the most significant challenge for embedded software developers who need to develop reliable, safe, and secure applications while meeting time-to-market windows. The DoubleCheck static analysis tool therefore has a development and design strategy that aims to cope with today's sophisticated code bases. It can be used as an integrated tool with Multi to perform compilation, as well as full program defect analysis. DoubleCheck has been engineered to be up to five times faster than other commercial analysers due to design efficiencies. It is designed to be fast enough to be used continuously in a rapid iterative development environment by all developers. DoubleCheck automatically uses the same code configuration as is used during the final build process. This is intended to enable developers to ensure that the executed code is the same as the code that was 'double-checked'. The static analysis tool helps automate the enforcement of coding standards by measuring and optionally limiting software component complexity by using standardised metrics such as McCabe. A range of configuration options add a number of controls to the DoubleCheck tool's bug finding capabilities, including a number of MISRA compliance checks and enforcement of optional language standards.