Reports various issues defined by the MISRA C 2012 and MISRA C++ 2008 guidelines.
The list of currently supported checks is
here
.