clapackblasmisra

Do BLAS and LAPACK libraries comply with MISRA standard?


I guess the answer is no. However, I was wondering if someone has some insight into this topic.

Do BLAS and LAPACK libraries comply with MISRA standards? The MISRA standards (MISRA C:1998, MISRA C:2004, MISRA C:2012) are extremly demanding, and I believe that BLAS and LAPACK libraries do not comply with it. Hence, I should not use such libraries if my software project demands MISRA compliance.

Any insight into this question would be extremly appreciated :)


Solution

  • Unless the library is actively advertised as MISRA-C compliant, it is pretty safe to assume that it isn't.

    There's basically various levels of strictness you can apply to your project. Either you do some "MISRA light" where your own application fulfils MISRA but the libraries do not. Or you demand that every library, including standard libraries, should be MISRA compliant.

    The former is ok if you are just using MISRA as a bug-killing standard. But in case you are using MISRA because of safety requirements, then all libraries must comply - including to some extent the compiler's standard library (if used).