MISRA C compliance for compiled monitors
Issue #19
new
Ideally, the compiled monitors that nfer can output should be MISRA C compliant. At the very least, we should do our best to make sure that they meet all the rules and that we have documented how we are verifying them. This should be possible, although it will take a lot of work.
Comments (2)
-
reporter -
reporter One long standing barrier to solving this has been removed as the merge sort algorithm used to sort pools has been made iterative instead of recursive. This removes the last piece of recursion from compiled monitors.
- Log in to comment
There are a couple of open source checkers for compliance. One that seems okay is included in cppcheck: https://github.com/danmar/cppcheck/blob/main/addons/misra.py