ECLAIR

ECLAIR é uma ferramenta comercial de análise estática de código desenvolvida pela BUGSENG, LLC para análise, verificação, teste e transformação automáticos de programas em C e C++. Capacidades ECLAIR é uma reengenharia completa de uma série de protótipos desenvolvidos no Laboratório de Métodos Formais Aplicados da Universidade de Parma. Ele utiliza técnicas de análise estática de código baseadas em métodos formais, como interpretação abstrata e verificação de modelos combinadas com técnicas de satisfação de restrições para detectar ou provar a ausência de certos erros em tempo de execução no código-fonte, e fornece suporte para análise e verificação de programas, geração de testes de programas e transformação de programas. Com relação à análise e verificação de programas, ECLAIR pode detectar estaticamente ou provar a ausência de anomalias em tempo de execução, bem como verificar automaticamente a conformidade com vários padrões de codificação, como MISRA C, MISRA C++, CERT C Secure Coding Standard, CERT C++ Secure Coding Standard, High-Integrity C++, NASA/JPL C, ESA/BSSC C/C++, JSF C++, EC--, Netrino Embedded C, The Power of Ten (C), Industrial Strength C++.