BUGSENG is deeply rooted in the open-source software movement: we use open-source software and we always contributed to open-source software. Two of BUGSENG’s co-founders, Abramo and Roberto Bagnara, back in 1987 wrote a port of GCC for the SysV68 Motorola 3300 Delta Series family of computers. While at CERN, the European Laboratory for Particle Physics, Roberto contributed to other ports of GCC. Among many other open-source projects, Abramo contributed to ALSA, the Advanced Linux Sound Architecture (code: general hacker, ESS ES-18xx driver, mixer interface).
The co-founders, and then the company itself, played a key role in the development of the Parma Polyhedra Library (PPL), an open-source library for the manipulation of polyhedra and other numerical abstractions: the papers describing it have more than 300 citations in the scientific literature tracked by Scopus; it is used in dozens of applications, which also go beyond its original scope of application, namely software verification. For instance, it is used in innovative techniques for the placement of drone-sensing devices to protect critical infrastructure from attacks via drones. The PPL is distributed by BUGSENG, which also commercializes the version used in the ECLAIR Software Verification Platform (certified by TÜV SÜD), called the BUGSENG Polyhedra Library (BPL).
BUGSENG acknowledges the importance of the open-source movement and its contribution to global development; ECLAIR and other company products make use of open-source components and, for all of those, BUGSENG is a loyal user contributing back whenever an opportunity arises.
In addition, BUGSENG actively participates in the open-source community, contributing to projects like the Zephyr RTOS, the Xen hypervisor, TrustedFirmware.org, and ELISA. It also engages with the community at events like FOSDEM, the Open Source Summit, Linaro Connect, and Automotive Grade Linux.
BUGSENG offers free analysis services for GitHub projects and non-profit organizations.
Because of the above, and due to some of the peculiar features of ECLAIR, BUGSENG has become the provider of choice for important open-source projects, such as the Xen hypervisor and TrustedFirmware.org. To such projects BUGSENG offers advanced static analysis services thar are able to serve distributed communities counting hundreds of developers, without any significant administration burden (individual developers need not license keys or being identified in any way), and with the analysis results available to the larger community without authentication.
