BLAS和LAPACK库是否符合MISRA标准？

我猜答案是否定的 。 但是，我想知道是否有人对此话题有所了解。

BLAS和LAPACK库是否符合MISRA标准？ MISRA标准（MISRA C：1998，MISRA C：2004，MISRA C：2012）极其苛刻，我相信BLAS和LAPACK库不符合它。 因此，如果我的软件项目要求MISRA合规，我不应该使用这样的库。

对这个问题的任何见解都将受到极大的赞赏:)

Answer 1

除非图书馆被广泛宣传为MISRA-C兼容，否则可以非常安全地假设它不是。

您可以对项目应用基本上不同级别的严格性。 要么你做了一些“MISRA light”你自己的应用程序满足MISRA，但库没有。 或者您要求每个库（包括标准库）都符合MISRA标准。

如果你只是使用MISRA作为一个杀虫标准，前者是好的。 但是如果由于安全要求而使用MISRA，则所有库都必须遵守 – 包括某种程度上编译器的标准库（如果使用）。

Answer 2

让我指出MISRA Compliance：2016 ，它更详细地讨论了实现MISRA合规性的棘手问题 – 并且可以改装到任何MISRA语言指南上。

关于采用代码的部分应该有助于回答您的问题 – 简单来说，除非图书馆附带适当的合规性摘要，否则答案为否。

您是否应该在生产代码中使用此类库是您（和您的项目）的问题 – 适当的文档（以及额外的V＆V可能就足够了） – 这将影响您自己的合规性。

{请注意免责声明的个人资料}