What BUGSENG does

BUGSENG srl is an Italian privately held software company, founded on December 16, 2010 in Parma by Roberto Bagnara (CTO), Abramo Bagnara, and Dr. Patricia Hill, emerging from a University of Parma software-verification research group. The company designs, develops, and supports the ECLAIR Software Verification Platform, a proprietary static-analysis and formal-verification toolset for C and C++ programs, with dedicated support for MISRA C and MISRA C++ compliance, bug finding, independence checking, requirements traceability, and compiler/library qualification (via add-ons such as CerTran for SuperTest and ECLAIR Code Scout). BUGSENG also offers C-rusted, a formally verifiable dialect of C targeting safe-and-secure systems.

BUGSENG serves safety-critical embedded-software developers in automotive (ISO 26262), railway (EN 50128/50657/50716), aerospace (DO-178C/DO-330, ECSS-Q-ST-80C), medical (IEC 62304, IEC 81001-5-1, FDA), industrial (IEC 61508, ISO 19014), and agriculture/forestry (ISO 25119), with ECLAIR certified by TÜV SÜD for use up to SIL 4 / ASIL D. Revenue is generated from software licenses (ECLAIR Base/MC/MP/MCP packages, subscription and perpetual), consulting services (MISRA onboarding, compliance, legacy code, development/verification, CI/CD integration), professional training (Effective MISRA C/C++, MISRA Compliance), qualification services and kits, and a SaaS delivery option via eclairit.com. Distribution is direct enterprise sales supplemented by a self-serve evaluation funnel (7-day and 30-day free trials) and regional resellers (e.g., Hitex in Germany), with community-led and event-driven go-to-market motions around open-source projects (Zephyr, Xen, TrustedFirmware.org) and conferences such as Embedded World and Open Source Summit Europe.

Name

BUGSENG

Legal name

BUGSENG srl

Website

https://bugseng.com

Company type

Private

Founded year

2010

Operating status

Operating

Headcount range

11–50 employees

Short description

BUGSENG is an Italian software company providing the ECLAIR static-analysis platform for C and C++, serving safety-critical embedded-software developers in automotive, aerospace, railway, medical, and industrial sectors through licensing, consulting, training, and qualification services.

Ownership category

akta.pro rank

Headquarters

HQ city

Parma

HQ country

Italy

HQ region

Europe

Offices2 records

Markets served

GTM type

B2B

Offering type

Software

Cost components

Personnel, Technology or R&D, Operations, Marketing or Sales, Infrastructure

Revenue model

1. Software Licenses (ECLAIR): ECLAIR is available in multiple packages (Base, MC, MP, MCP) with different feature sets. Licenses are available for single user, site, multisite, and enterprise configurations. The tool supports various licensing models including subscription and perpetual options.
2. Consulting Services: Expert consulting services for MISRA compliance, functional safety, legacy code verification, integration in CI/CD, and tool qualification. Includes MISRA Onboarding, MISRA Compliance, Legacy code, Development and verification, and Integration services.
3. Training Services: Professional training on MISRA C/C++, MISRA Compliance, and ECLAIR usage. Course offerings include Effective MISRA C, Effective MISRA C++, MISRA Compliance for Project Managers, and tailored ECLAIR training.
4. Qualification Services: ECLAIR Qualification Service where BUGSENG engineers perform verification tests and produce qualification reports. Also includes Qualification Kits for customers who prefer to conduct qualification in-house.
5. SaaS/Cloud Service (eclairit.com): ECLAIR-based static analysis delivered as SaaS with shared or dedicated servers. Provides on-demand access without installation or updates required on customer premises.

Pricing tiers

Go-to-market motion3 records

Distribution channels4 records

Marketing channels8 records

Core offering

BUGSENG develops and sells the ECLAIR Software Verification Platform, a suite of static analysis tools for automatic analysis and verification of C and C++ programs. The platform enforces MISRA C and MISRA C++ coding standards, detects bugs and undefined behavior, supports functional safety qualification (ISO 26262, IEC 61508, DO-178C, EN 50128, IEC 62304), and includes add-ons for compiler and library qualification. The company also provides professional consulting, training, and qualification services around the tool.

Product overview

BUGSENG offers the ECLAIR Software Verification Platform, a comprehensive suite of static analysis tools for C and C++ programs. The core ECLAIR platform is augmented by specialized packages including ECLAIR MCP (combining MISRA C and C++ coverage with bug detection and metrics), ECLAIR MP (MISRA C++), ECLAIR B (BARR-C entry-level package), and ECLAIR FuSa Pack (functional safety entry package). Additional add-ons include CerTran for SuperTest (compiler qualification automation) and ECLAIR Code Scout (library qualification). Services include professional MISRA training courses and expert consulting services for MISRA compliance, legacy code verification, and CI/CD integration.

Differentiator

Problem solved

Functional benefit

Brands

• ECLAIR Software Verification Platform: BUGSENG's flagship static analysis and software verification platform for C and C++ programs, designed for MISRA compliance and functional safety certification across regulated industries.

Products and services

• ECLAIR Software Verification Platform State-of-the-art static analysis suite for the automatic analysis and verification of C and C++ programs. Supports MISRA C and MISRA C++ compliance (100% guideline coverage), bug detection (undefined behavior, crashes, vulnerabilities), 53 source code metrics, independence checking, and bidirectional requirements traceability. Used by engineering and safety teams developing safety-critical embedded software in regulated industries.
• CerTran for SuperTest Extension for automated compiler qualification that detects all compiler use cases across complex build systems, auto-generates SuperTest configurations for each detected use case, and enables continuous compiler qualification in CI/CD pipelines. Targets engineering teams needing compiler qualification under functional safety standards.
• ECLAIR Code Scout Library qualification tool that pinpoints the exact portions of C/C++ libraries actually used by the application code. Reduces qualification scope by eliminating unused library components from the safety case. Targeted at safety-critical projects needing auditable library qualification.
• C-rusted A formally verifiable flavor of C for developing safe and secure systems. Allows C programs to be annotated for ownership, exclusivity, and shareability of resources, with formal verification through static analysis. Targeted at teams building high-assurance C-based embedded software.
• ECLAIR Consulting Services Expert consulting engagements covering MISRA onboarding, MISRA compliance implementation, legacy code verification, development and verification support, and integration of ECLAIR into CI/CD infrastructures. Delivered to engineering and safety teams in regulated industries.
• Effective MISRA C Training Professional training course on MISRA C coding standards for engineers developing safe and secure embedded software.
• Effective MISRA C++ Training Professional training course on MISRA C++ coding standards for engineers developing high-integrity systems software.
• MISRA Compliance Training Training course on MISRA compliance processes for project managers and teams working on safety-critical software projects.
• ECLAIR Qualification Service Qualification service in which BUGSENG engineers perform verification tests and produce qualification reports supporting use of ECLAIR in safety-critical projects up to SIL 4 / ASIL D.
• ECLAIR Qualification Kits Documentation and test kits that enable customers to perform ECLAIR tool qualification in-house for functional safety projects.

Quantifiable outcome

• Finding one defect early in the development lifecycle could immediately repay the cost of an ECLAIR license
• +2 more outcomes

Named customers8 records

Segments7 records

Ideal customer profiles5 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Integration4 records

Feature8 records

Partnerships

Seven partnerships are on record, tiered core, flagship and regional.

• Xen ProjectcoreStrategic or Co-development Partner · 7 March 2025BUGSENG, AMD, and Xen Project collaboration for breakthrough in MISRA Compliance. Working together to apply MISRA guidelines to the Xen hypervisor for use in safety-critical environments.
• Zephyr ProjectflagshipStrategic or Co-development Partner · 22 June 2022BUGSENG Consulting Services selected to move Zephyr towards MISRA Compliance. BUGSENG helping Zephyr achieve IEC 61508 certification of the kernel. Ongoing collaboration including conference presentations and educational materials.
• TrustedFirmware.orgcoreStrategic or Co-development Partner · 22 June 2022TrustedFirmware.org chose ECLAIR to reinforce Code Verification and Safety. BUGSENG provides static analysis and MISRA compliance support for the open-source trusted firmware project.
• ArmcoreTechnology or Integration · 25 August 2020BUGSENG joined Arm's Functional Safety Partnership Program. ECLAIR provides advanced coding standard checking and bug finding tools optimized for Arm C/C++ compilers (versions 5 and 6), Keil µVision and Arm Development Studio. Integration with Arm toolchains without configuration overhead.
• Solid Sands b.v.coreTechnology or IntegrationStrategic cooperation for compiler qualification. Solid Sands provides SuperTest compiler test suite; BUGSENG's ECLAIR supports all mitigation strategies for compiler defects. CerTran extension automates SuperTest configuration for continuous compiler qualification. Joint Compiler Qualification Service offered.
• AC6coreImplementation/ SI/ Consulting PartnerPartnership with AC6 (training and consulting) for Zephyr-related training and education. Joint presentations at ZiSE 2025 conference on teaching safety-critical embedded software development using Zephyr.
• HitexregionalChannel Partner/ Reseller/ DistributorHitex identified as German distributor for BUGSENG products in the medical sector. Provides local sales and support for ECLAIR and related services in Germany.

Scale indicators4 records

Recent moves6 records

Expansion highlights7 records

Direct peers

• Parasoft: Parasoft offers C/C++ static analysis (C/C++test), MISRA compliance, and unit testing solutions for embedded and safety-critical development in automotive, aerospace, medical, and industrial IoT. Like BUGSENG, it competes in the same MISRA / IEC 61508 / ISO 26262 tool-qualification market with both standalone tools and integrated DevOps workflows.
• LDRA: LDRA provides static analysis, dynamic analysis, and unit testing tools for C, C++, Ada, and Java targeting safety-critical software in aerospace, automotive, medical, and industrial. It is one of the closest direct competitors to BUGSENG in MISRA enforcement and DO-178C / ISO 26262 tool qualification.
• IAR Systems (IAR Embedded Workbench / C-STAT): IAR Systems provides the IAR Embedded Workbench IDE and the C-STAT static analysis add-on for C and C++ code targeting Arm, RISC-V, and other embedded architectures. It is a direct competitor in MISRA C checking for safety-critical embedded, often bundled with the compiler toolchain.
• Solid Sands: Solid Sands provides the SuperTest compiler test and qualification suite, a strategic partner of BUGSENG via the joint Compiler Qualification Service and CerTran integration. While a partner rather than a direct competitor, both companies address overlapping toolchain-qualification needs for C/C++ safety-critical development.
• TrustInSoft: TrustInSoft provides formal verification of C and C++ code via static analysis, with a focus on memory safety, undefined behavior, and security in safety-critical systems. It is an emerging direct peer that, like BUGSENG, targets the same C/C++ verification problem with stronger formal methods positioning.
• Perforce (Axivion Bauhaus): Perforce (after acquiring Axivion) offers Bauhaus and Axivion Suite, static analysis tools for C, C++, Ada, and Java used in automotive (ISO 26262) and other safety-critical domains. It is a direct peer in MISRA checking, architecture analysis, and CI/CD-integrated verification.
• GrammaTech (CodeSecure): GrammaTech (now CodeSecure) sells CodeSonar, a static analysis tool for C, C++, and Java used in safety- and security-critical embedded systems. It competes head-to-head with ECLAIR in MISRA checking, bug finding, and integration with CI/CD for embedded development.
• MathWorks (Polyspace): MathWorks Polyspace provides static analysis and formal verification for C, C++, and Ada code in safety-critical applications across automotive (ISO 26262), aerospace (DO-178C), and industrial (IEC 61508). It is a direct competitor in the embedded static analysis market, bundled into the broader MATLAB/Simulink workflow.

Emerging players

• AbsInt: AbsInt provides static analysis tools (Astrée, aiT, StackAnalyzer) for C and C++ in safety-critical aerospace, automotive, and industrial embedded systems, with strong formal verification credentials. It is an emerging player that competes with BUGSENG in the upper end of the safety-critical verification market.

Broad incumbents

• Synopsys (Coverity / Programming Research): Synopsys covers static analysis (Coverity, acquired from Coverity and Programming Research) for C, C++, and other languages, including MISRA compliance modules, and bundles these into its broader EDA, IP, and software integrity portfolio. It is a broad incumbent that overlaps directly with BUGSENG in MISRA enforcement for safety-critical code, with much larger distribution.

Market position

Strengths4 records

Weaknesses5 records

Competitive moat6 records

Key risks6 records

Key highlights6 records

Customer concentration

• GitHubgithub.com/BUGSENG
• YouTubeyoutube.com/@BUGSENG
• LinkedInlinkedin.com/company/bugseng

Compliance12 records

Revenue estimate

Valuation estimate

Number of profiles

Profiles2 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about BUGSENG