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

Question

我想答案是no。然而，我想知道是否有人对这个话题有一些洞察力。

BLAS和LAPACK库是否符合MISRA标准？MISRA标准(MISRA C:1998，MISRA C:2004，MISRA C:2012)要求极高，我认为BLAS和LAPACK图书馆没有遵守它。因此，如果我的软件项目要求符合MISRA的要求，我就不应该使用这样的库。

如对此问题有任何见解，我们将不胜感激:)

Answer 1

除非该库被积极宣传为符合MISRA-C标准，否则可以很安全地假设它不是。

基本上有不同程度的严格程度，你可以申请到你的项目。要么你做一些“米斯拉之光”，你自己的应用程序满足米斯拉，但库没有。或者您要求每个库，包括标准库，都应该符合MISRA标准。

前者是可以的，如果你只是使用米斯拉作为一个杀虫标准。但是，如果您使用MISRA是出于安全要求，那么所有库都必须遵守--包括编译器的标准库(如果使用的话)。

Answer 2

让我向您指出米斯拉遵守情况:2016年，它更详细地处理棘手的问题，实现米斯拉依从-并可以修改到任何米斯拉语言指南。

关于采用代码的部分应该帮助回答您的问题--简单地说，除非库附带了适当的法规摘要，否则答案是No。

您是否应该在生产代码中使用这样的库取决于您(和您的项目)--适当的文档(以及额外的V&V可能足够)--这将影响您自己的法规。

{请注意免责声明简介}