С MISRA пока нет. Но мы морально готовимся и уже заранее купили этот стандарт. С CERT будет согласовано начиная со следующей версии. Мы уже добавляем соответствие наших диагностик их пунктам. Пример:
https://wiki.sei.c …eference+null+pointers (в табличке "Automated Detection" появился PVS-Studio).