BLAS 和 LAPACK 库是否符合 MISRA 标准？
Do BLAS and LAPACK libraries comply with MISRA standard?
我想答案是否。不过，我想知道是否有人对这个话题有所了解。
BLAS 和 LAPACK 库是否符合 MISRA 标准？ MISRA 标准（MISRA C:1998、MISRA C:2004、MISRA C:2012）要求极高，我相信 BLAS 和 LAPACK 库不符合它。因此，如果我的软件项目需要 MISRA 合规性，我不应该使用此类库。
任何对这个问题的见解都会非常赞赏:)
除非该库被积极宣传为符合 MISRA-C，否则可以很安全地假设它不是。
基本上，您可以对项目应用不同级别的严格性。要么你做一些 "MISRA light" ，你自己的应用程序满足 MISRA 但图书馆没有。或者您要求每个库（包括标准库）都符合 MISRA。
如果您只是将 MISRA 用作除错标准，前者是可以的。但如果您出于安全要求而使用 MISRA，则所有库都必须符合 - 在某种程度上包括编译器的标准库（如果使用）。
让我向您指出 MISRA Compliance:2016，它更详细地处理了实现 MISRA 合规性的棘手问题 - 并且可以根据任何 MISRA 语言指南进行改造。
采用的代码部分应该有助于回答您的问题 - 简单来说，除非图书馆附带适当的合规性摘要，否则答案为否。
您是否应该在生产代码中使用此类库取决于您（和您的项目）- 适当的文档（和额外的 V&V 可能就足够了）- 这将影响您自己的合规性。
{请注意个人资料免责声明}
我想答案是否。不过，我想知道是否有人对这个话题有所了解。
BLAS 和 LAPACK 库是否符合 MISRA 标准？ MISRA 标准（MISRA C:1998、MISRA C:2004、MISRA C:2012）要求极高，我相信 BLAS 和 LAPACK 库不符合它。因此，如果我的软件项目需要 MISRA 合规性，我不应该使用此类库。
任何对这个问题的见解都会非常赞赏:)
除非该库被积极宣传为符合 MISRA-C，否则可以很安全地假设它不是。
基本上，您可以对项目应用不同级别的严格性。要么你做一些 "MISRA light" ，你自己的应用程序满足 MISRA 但图书馆没有。或者您要求每个库（包括标准库）都符合 MISRA。
如果您只是将 MISRA 用作除错标准，前者是可以的。但如果您出于安全要求而使用 MISRA，则所有库都必须符合 - 在某种程度上包括编译器的标准库（如果使用）。
让我向您指出 MISRA Compliance:2016，它更详细地处理了实现 MISRA 合规性的棘手问题 - 并且可以根据任何 MISRA 语言指南进行改造。
采用的代码部分应该有助于回答您的问题 - 简单来说，除非图书馆附带适当的合规性摘要，否则答案为否。
您是否应该在生产代码中使用此类库取决于您（和您的项目）- 适当的文档（和额外的 V&V 可能就足够了）- 这将影响您自己的合规性。
{请注意个人资料免责声明}