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.

BUGSENG

Org chart

Teams

Offices