虽然存在经过认证的C ++工具链（编译器等），但我没有找到任何经过认证的C ++标准库（STL）。
有人知道有人提供这个吗？
认证要求严格遵循ISO26262和ASPICE标准，这意味着将所有文档从系统级写到单元级，并在所有级别上进行测试，并与文档并行（请参阅ISO26262中的V模型）。同样，这将要求STL的安全性案例是“上下文无关的安全要素”，这将要求发明所有图书馆零件使用的假设，并为用户创建安全手册，而用户仅以预期方式使用图书馆。这将使开发成本增加一个数量级，然后将不复存在，因为使用它需要编写自定义内存管理器，该管理器将从静态分配的空间中分配内存，然后分析完整的应用程序以证明它将更新需要更多的内存，然后由市长执行此预分配的数量。