【发布时间】：2018-04-23 15:52:25
【问题描述】：
我猜答案是否。但是，我想知道是否有人对此主题有一些见解。
BLAS 和 LAPACK 库是否符合 MISRA 标准？ MISRA 标准（MISRA C:1998、MISRA C:2004、MISRA C:2012）要求极高，我认为 BLAS 和 LAPACK 库不符合它。因此，如果我的软件项目要求符合 MISRA，我不应该使用此类库。
对这个问题的任何见解都会非常感激:)
【问题讨论】：
【发布时间】：2018-04-23 15:52:25
【问题描述】：
除非该库被积极宣传为符合 MISRA-C，否则可以假设它不符合。
基本上，您可以将不同级别的严格性应用于您的项目。要么你做一些“MISRA 灯”，你自己的应用程序满足 MISRA，但库没有。或者您要求每个库（包括标准库）都符合 MISRA。
如果您只是将 MISRA 用作消除错误的标准，则前者是可以的。但是如果您因为安全要求而使用 MISRA，那么所有库都必须遵守 - 在某种程度上包括编译器的标准库（如果使用）。
【讨论】：
让我指出MISRA Compliance:2016，它更详细地处理了实现 MISRA 合规性的棘手问题 - 并且可以修改为任何 MISRA 语言指南。
采用的代码部分应该有助于回答您的问题 - 简而言之，除非库附带适当的合规摘要，否则答案是否定的。
您是否应该在生产代码中使用此类库是您（和您的项目）的事情 - 适当的文档（以及额外的 V&V 可能就足够了） - 这将影响您自己的合规性。
{请注意免责声明}
【讨论】：