c - 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，那么所有库都必须遵守 - 在某种程度上包括编译器的标准库(如果使用)。