Library code is part of your safety critical application

Writing code for your safety-critical application requires a great deal of care and attention. But above all it requires highly effective verification. That not only applies to the code you write. It also applies to any standard libraries you use, because standard...

Webinar: Language subsetting and compiler qualification

In this blog, we promote the joint webinar we are running with BUGSENG. The webinar topic is: “Language Subsetting and Compiler Qualification in the Development of Software for Safety-Critical Systems”. It will run on Thursday, 17 September at 11:00-12:00 CEST...

Don’t forget the ‘hidden library’ in C and C++

Writing code is hard. Reimplementing common tasks is prone to error. That’s why software developers rely heavily on the functions in the standard library. It makes the job easier for developers, and the generated code more reliable. But are you aware that compilers...

Functions in the standard library are usually taken for granted

The standard library is a fundamental part of most embedded systems and their software; embedded systems would not run without it. However, functions in the standard library are usually taken for granted and are not tested properly. The C and C++ language standards...

“What a scary world your engineers live in!”

Compiler Explorer is an extremely useful interactive web-site created by Matt Godbolt. You can paste in any C or C++ source code (or one of the other 19 supported languages), select a compiler from a long list of choices, run it and study the generated assembly code....