[Sub-Issue] Implement C/C++ MISRA Structural Signatures & Liability Floor
Epic: #75
Target: gitgalaxy/standards/language_standards.py & gitgalaxy/analyzers/signal_processor.py
Context & Strategic Value
While Ada paved the way, modern avionics—including the Joint Strike Fighter (JSF) and commercial flight management systems—run heavily on C and C++. To achieve DO-178C certification, these languages must be severely restricted using standards like MISRA C/C++ or JSF++ to prevent undefined behavior.
GitGalaxy must natively identify non-conformant MISRA signatures (like dynamic memory allocation or unstructured jumps) and mathematically bind them to a strict liability floor to track architectural safety.
Implementation Tasks
Validation
Run a scan against the NASA Core Flight System (nasa/cFS). The engine should successfully map the C files and generate a perfectly flat 33.3% misra_exposure floor, validating a true memory-safe architecture.
[Sub-Issue] Implement C/C++ MISRA Structural Signatures & Liability Floor
Epic: #75
Target:
gitgalaxy/standards/language_standards.py&gitgalaxy/analyzers/signal_processor.pyContext & Strategic Value
While Ada paved the way, modern avionics—including the Joint Strike Fighter (JSF) and commercial flight management systems—run heavily on C and C++. To achieve DO-178C certification, these languages must be severely restricted using standards like MISRA C/C++ or JSF++ to prevent undefined behavior.
GitGalaxy must natively identify non-conformant MISRA signatures (like dynamic memory allocation or unstructured jumps) and mathematically bind them to a strict liability floor to track architectural safety.
Implementation Tasks
candcppdictionaries insideLANGUAGE_DEFINITIONS.misra_non_conformancerule to isolate banned functions:re.compile(r"\b(strcpy|strcat|sprintf|gets|malloc|calloc|realloc|free|longjmp|setjmp|goto)\b|\b(int|long|short|char|unsigned\s+int)\b\s+[a-zA-Z_]").misra_non_conformancetoRECORDING_SCHEMAS["SIGNAL_SCHEMA"]inanalysis_lens.py.misra_exposuretoRECORDING_SCHEMAS["RISK_SCHEMA"].signal_processor.py, implement_calc_misra_exposure(self, loc, raw_signals, lang_id, mp).final_score = max(score, 33.3).exposure_vectordictionary.Validation
Run a scan against the NASA Core Flight System (
nasa/cFS). The engine should successfully map the C files and generate a perfectly flat 33.3%misra_exposurefloor, validating a true memory-safe architecture.