GNAT Pro for C/C++
Take Your C/C++ to the Next Level.
GNAT Pro for C/C++ is an industrial-grade development environment tailored for creating reliable, secure, and efficient software in C/C++. With advanced compilers, robust debugging tools, dynamic analysis, and expert support, GNAT Pro for C/C++ helps developers meet the most rigorous safety and security standards.
Contact UsGNAT Pro for C/C++ Solves
Language Support
C and C++ are constantly evolving languages. Projects need to have the choice of either freezing the version they select for the long haul, or have the ability to benefit from the latest features that are made available by the standard.
Industrial Readiness
Toolchains in industrial contexts must be usable in commercial and export-controlled environments, provide evidence of cybersecurity monitoring and SBOMS, and, when required, demonstrate compliance with safety and security regulations.
Portability
With many different interpretations and undefined behaviors of the C/C++ semantics and a large span of language versions to support, porting code from one environment to another one may lead to unexpected changes in behavior or introduce new errors.
Long Lifecycles
Development may last years, maintenance may last decades. Projects need to ensure availability of the technology they chose through the entire life of the software, while ensuring active support when necessary.
GNAT Pro for C/C++ Enables
GNAT Pro for C/C++ provides industrial-grade C/C++ toolchain support.
Supported Versions
GNAT Pro for C/C++ provides robust support for a wide range of language standards, covering C (from C89 to C18) and C++ (from C++98 to C++20). This ensures compatibility with modern and legacy codebases alike, catering to diverse project requirements.
Comprehensive Platform Coverage
GNAT Pro for C/C++ supports an extensive array of platforms, offering both native and cross-compilation options. With targets ranging from commercial real-time operating systems (RTOS) to bare-metal environments, it ensures portability across diverse system landscapes.
Safety Certification
GNAT Pro for C/C++ has been used in projects certified under standards such as DO-178C, ISO 26262, EN 50128, and IEC 61508. Qualification material is available to support certification processes.
Long Term Support
The GNAT Pro for C/C++ versions that we provide can be supported for years, provided with targeted bug fixes and known problem monitoring, allowing to select a given version and keep it as long as necessary.
Speak to an Expert
Discover the advantages that GNAT Pro for C/C++ can bring to your high-integrity systems.
GNAT Pro for C/C++ Brings
Development
DevOps
All tools provided for developers are DevOps-ready and can be integrated into off-the-shelf or custom pipelines.
GCC and LLVM Toolchains
Decades of proven stability and performance, trusted across safety-critical and mission-critical systems worldwide.
IDE Integration
GNAT Pro for C/C++ is integrated with GNAT Studio, and VS Code.
Multi-Language
Compiler
GNAT Pro is providing a coherent compilation model and run-time library support across Rust, Ada and C/C++, in order to support building an application by linking together binaries from different languages.
Builder
GPRbuild is the project manager at the heart of the GNAT toolchain, designed to sequence complex build processes involving multiple languages.
Debugger
The GNAT Pro debugger, GDB, provides an integrated experience through debugging multi-language applications including Rust, C/C++ and Ada.
Compliance
Software Bill of Material
AdaCore produces Software Bills of Materials (SBOMs) for all AdaCore products supplied in the industry-standard SPDX format, allowing automated incorporation into customers’ vulnerability management and reporting systems.
Vulnerability / CVE Reporting & Assessment
GNAT Pro for C/C++ is being monitored for potential security vulnerabilities, allowing customers to keep up-to-date information of any potential issue with the technology used in production.
Export Control
AdaCore software is classified as low-risk commercial technology under U.S. and EU export regulations and can generally be exported without a license within North America and Europe, subject only to narrow restrictions.
Support
GNAT Pro is supported by AdaCore’s expert engineers, offering direct access to the team that develops and maintains the product. We guarantee a response within 2 business days, ensuring rapid issue resolution, tailored advice, and guidance on complex development challenges. Our support helps teams stay productive, meet deadlines, and navigate high-integrity system development with confidence.
Powering Native and Embedded Platforms
We support over one hundred off-the-shelf and custom platforms across the industry.
GNAT Pro for C/C++ Includes
GCC and LLVM
The most common open-source compilers for the C/C++ programming languages used and supported by a large established eco-system.
Runtime Libraries
Full native libraries for hosted C/C++ as well as dedicated embedded run-time libraries such as newlib or libsupc++.
gdb
The GNU debugger, ready for use with C/C++ and able to debug multi-language code also including Ada and Rust.
gprbuild
The GNAT Pro multi-language builder allowing seamless hybrid-language project builds with a single command without sacrificing guarantees.
GNATstack
GNATstack is a multi-language stack analysis tools able to compute statically maximum usage of stack consumption.
GNAT Studio
AdaCore flagship IDE GNAT Studio support comprehensive Ada editing features, including syntax highlighting, semantic code navigation and completion, refactoring and quick fixes. It's integrated with the rest of the toolchain.
Get More from GNAT Pro for C/C++
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 offers coverage testing and fuzzing for C/C++ source source code.
Certification Services
C/C++ toolchain and run-time libraries can be safety-certified according to a number of industry standards.
Since most systems these days are written in multiple languages, including C for a variety of functions, it made sense to qualify the C compiler in GNAT Pro at the same T3 classification as the Ada compiler. With both compilers now qualified under the most demanding tool qualification requirements of EN 50128, Alstom can have full confidence in the quality of the code that is generated, and in knowing that we will continue to provide top-tier support in response to any questions or issues.
Build C/C++ Systems You Can Rely On
Discover how GNAT Pro for C/C++ can help you deliver secure, reliable, and certifiable software for safety-critical systems. Speak with our experts today.
