BUGSENG

BUGSENG is a leading provider of static code analysis solutions, and services. Our verification platform, ECLAIR, has been designed to help engineers develop higher-quality software, effectively, by changing the traditional rules of the game. Software verification is a highly complex task that requires deep specialization, and BUGSENG has designed a new generation of tools, based on very sophisticated program verifiers, able to handle the complexity of the task in a transparent way, to effectively support the software engineering community in a continuous improvement process leading to truly reliable and practical mission and safety critical systems. Our products are based on a solid understanding of the modern software industry needs and requirements in which solid theoretical work has been coupled with the best software engineering practices. In BUGSENG, we believe that high-quality software requires high-quality verification tools, and that's why that our motto is: "no shortcuts, no compromises, no excuses: software verification done right." BUGSENG is a privately held company with headquarters in Parma, Italy. BUGSENG's main product is ECLAIR, a flexible and extensible framework for the analysis of C and C++ source code. ECLAIR is firmly based on the results of the best research in mathematics and computer science. Among the many applications of ECLAIR we have: automatic detection of violations of coding rules, either defined by the user or included in various coding standards (like MISRA C/C++, NASA/JPL C, ESA/BSSC C/C++, High-Integrity C++, CERT C/C++, JSF C++, Netrino Embedded C, plus a number of proprietary coding standards); automatic generation of test-cases; code simplification/obfuscation ; computation of code metrics. The extreme flexibility of ECLAIR allows its users to tailor it to any software verification problem and to any software development process.