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

Question

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

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＆amp; V可能就足够了） - 这将影响您自己的合规性。

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