SA-11(1) - Developer Testing and Evaluation | Static Code Analysis

Require the developer of the system, system component, or system service to employ static code analysis tools to identify common flaws and document the results of the analysis.


ID: SA-11(1)
Enhancement of : SA-11

Space Segment Guidance

Static analysis and code-quality checks should fit embedded and flight contexts, e.g., MISRA/CERT rules, memory-safety scans, undefined-behavior and concurrency checks, limited dynamic allocation. Extend analogous rigor to firmware/FPGA (linting, clock-domain crossing, reset/initialization analyses) and to ground toolchains. Track waivers with rationale tied to risk acceptance, and baseline findings so regressions are detectable as code and tools evolve.