Comment by chidochidochido

Do you use any static analysis tool to verify these rules? For example, in the company that I work for we use MISRA C along with PC-lint (with some MISRA add-ons)