Top 2 misra open source projects

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems

mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development