Subscribe to our monthly blog
Expert perspectives and opinions from our team
While the dream of fully autonomous driving appears to have taken a back seat, other automotive applications of Artificial Intelligence (AI) have become...
The GCC and LLVM communities continually perform a remarkable feat by implementing compiler behavior in accordance with the complexities of the C++ Standard....
As compiler and library testers, we often find ourselves between the demands of developers and those of the functional safety industry. On the...
Code coverage analysis… what is it and why is it vital when qualifying libraries? And why have Solid Sands and Rapita Systems got...
Due to the high demand for C++ Standard Library qualification, we are actively developing tests, test specifications, and requirements for the C++ standard...
We are often asked what differentiates SuperTest from open-source test suites for C and C++. If you are using the LLVM or GCC...
The most safety-critical software tool in your application development process is the compiler. It generates virtually all the code in the application binary....
Telling the compiler which version of the language you are using is essential because it improves the portability of your code at very...
In the last blog of our trilogy about test generators, we’ll explain Tempest2. You might have seen it mentioned in a previous blog...
Compilers are highly complex machines with two areas that deserve extra scrutiny. They are the register allocator and the calling convention. While register...
The size of integers and other primitive types is not fixed by the C/C++ programming language specifications. It is implementation-defined. Unlike unspecified and...
The traditional industrial robot consists of an arm with multiple degrees of freedom and a specialized gripper. To prevent accidental injury to humans,...
As we pointed out in the previous blog, before we qualify a compiler for a safety-critical project, it’s essential we know all the...
Compilers comprise a complex pipeline of analysis and transformation stages. Changes in one stage are frequently amplified by subsequent stages. It makes compilers...
CEA List and Solid Sands entered into a partner agreement to make SuperTest available to the Frama-C team. Frama-C is a platform for...
Home / Blog / Page 2