It is well known that the greatest benefits from adopting MISRA coding standards are achieved when compliance is enforced from the very beginning of a project. But in reality, many developments start from existing codebases, often of high quality, but not MISRA-compliant.
In such cases, the key to success lies in tailoring. MISRA allows for justified deviations and tailoring of guidelines, particularly where violations involve implementation-defined behavior or well-understood legacy idioms. This reduces effort while maintaining the standard’s intent.
We help organizations:
Identify what rules must be enforced strictly (e.g., those related to undefined behavior)
Tailor others responsibly (e.g., bitwise operations on signed integers)
Configure tools accordingly to enforce these decisions
However, tailoring is only effective if the static analysis tool supports it. This is why ECLAIR plays such a critical role. Unlike other tools, ECLAIR offers:
Full support for MISRA deviations and guidelines, including directives
High configurability to match project-specific tailoring
Accurate modeling of compilers, macros, and conditional compilation
Built-in tracking and cross-unit analysis for precise rule enforcement
Our team provides expert consulting to help you tailor MISRA adoption to your specific context—be it for a new development or an extensive codebase under reuse—while ensuring compliance remains robust and audit-proof.
Schedule a MISRA strategy call
Without ECLAIR’s fine-grained configurability and powerful analysis engine, achieving MISRA compliance for Xen would have been nearly impossible. BUGSENG’s technology and expertise transformed what seemed like an insurmountable challenge into a success story. We couldn’t be prouder of this achievement. It’s a testament to what’s possible when industry leaders come together to push the boundaries of innovation. — long-time Xen contributor, Maintainer, and member of the Xen Project leadership team
Modern software projects seldom start from scratch: most incorporate pre-existing components: libraries, frameworks, or internal code reused from earlier developments. This legacy software can be of high quality and offer significant benefits in terms of cost and time savings. However, in safety- and security-critical domains, such components must be carefully assessed, qualified, and documented, especially when standard compliance is required.
Our team supports you in evaluating and qualifying third-party and legacy code according to applicable functional safety standards (e.g., ISO 26262, IEC 61508, DO-178C). One of the key challenges in this domain is determining exactly which parts of a library are actually used by your system, so that the qualification effort can be tightly scoped. This is particularly critical in C++ projects where heavy use of templates may result in massive code expansion, often unintentionally.
Using our proprietary tools such as ECLAIR Code Scout, we can precisely trace dependencies and measure the actual usage of code down to the logical source lines. For instance, in one case study involving a function relying on Boost’s QVM library to perform quaternion-based rotations, over 2800 source lines were pulled into the build, but only 137 lines were truly used, representing a potential 95% reduction in qualification scope.
By identifying and isolating the used portions of legacy code, we help you minimize qualification costs and focus your efforts where they are truly needed, while ensuring that all the requirements of safety standards are met. Talk to our experts about qualifying legacy software in your project.
Schedule an introductory call
Whether you are building a safety-critical system from the ground up or evolving an existing codebase, BUGSENG supports your team with expert guidance across all development phases. Our engineers can assist with the design and implementation of coding guidelines tailored to your domain, the formalization of development and verification plans aligned with standards such as ISO 26262 and IEC 61508, and the integration of static analysis results with other V&V activities. We provide in-depth reviews of static analysis findings, help define deviation policies, and assist in interpreting coding standards in the specific context of your architecture and requirements. With BUGSENG, you gain more than compliance: you build better, more robust software.
Competence and availability at the highest level. I have rarely found an equally remarkable combination of unquestionable and proven competence, availability and courtesy.” — Senior Firmware Engineer at leading European manufacturer of lawn mowers and powered garden equipment
Modern software development demands automation, traceability, and reproducibility. BUGSENG helps you integrate verification activities seamlessly into your CI/CD pipeline, reducing manual steps and minimizing the risk of regressions. We offer hands-on support for configuring ECLAIR in server-based environments, integrating reports with build dashboards, and setting up automated compliance checks that fit your branching model and release cadence. Our consulting includes best practices for parallel builds, containerized deployments, and secure artifact handling. The result is a verification process that is efficient, scalable, and aligned with your team’s workflow, ready for audit and certification.
31/05/2024
07/03/2025
09/05/2022
07/11/2023
30/05/2024
