A GCC-based MISRA-C checker for single-translation-unit-labeled rules. - View it on GitHub