The C++ compiler and its standard library are two sides of the same coin, to an even greater degree than is the case for C. To use it in safety-critical scenarios, both sides must be carefully ...