The C and C++ Programming Languages
C and C++ are the most widely used programming languages for building high-performance and embedded applications. Whether used standalone or in combination with other languages, we have you covered with a suite of tools catered towards the most demanding usage of the language.
Key Advantages of C and C++
Installed Developer Base
Systems have been developed with C/C++ over half a century, making it the most widespread language in the embedded industry. It is the foundational language for the vast majority of embedded developers, making expertise widely available.
Portability
C and C++ are widely supported by many compiler toolchains across a variety of platforms. This broad support ensures that well-written C and C++ code will be portable to new toolchains and new platforms with minimal effort, freeing developers to pick the toolchain that offers the best support for their needs.
Existing Libraries
C and C++ have a vast ecosystem of well-established libraries across various domains. These libraries provide reusable, tested components that can accelerate development and integration, regardless of the programming language used. Existing tools provide automatic generation of bindings, making it easier to use these libraries from safer languages.
Our C/C++ Technology
GNAT Pro for C/C++
GNAT Pro for C/C++ supports C89 through C18 and C++98 through C++20. GNAT Pro offers both GCC- and LLVM-based toolchains.
CodeSonar
CodeSonar provides deep static analysis, coding standards and security checks for C/C++, including MISRA C/C++. Find errors before testing begins.
GNAT Dynamic Analysis Suite
GNAT Dynamic Analysis Suite is our robust testing suite that offers powerful analysis and coverage testing at both the object code (instruction and branch coverage) and C/C++ language source code levels.
Our C/C++ Services
AdaCore’s expert services support every stage of your C and C++ development, from certification and mentorship to custom ports. Our goal is to help your team build and maintain safety-critical systems with confidence.
Certification Support
Library & runtime certification and tool qualification are available for DO-178, EN-50128, ISO 26262, ECSS-E-ST-40C / ECSS-Q-ST-80C, and IEC 61508.
Mentorship
AdaCore offers a unique mentorship program that helps your team get up and running with our languages and tools. Our goal is for your team to be fully autonomous at the conclusion of the mentorship, ready to write high-integrity embedded software.
Novel and custom ports
AdaCore has extensive experience building ports to new or custom environments (hardware architectures and real-time operating systems).
Ready to Strengthen Your C/C++ Projects?
Discover how AdaCore’s tools and services can modernise legacy C and C++ systems while ensuring safety, reliability, and certification readiness.
Why use a Commercially Supported C/C++ Toolchain?
C/C++ toolchains are included in various environments which may be great to start developing code but may not be setup to answer to industrial requirements. Learn about what to expect from a commercially supported toolchain.
