Static Analysis
Static Analysis — The examination of source code, bytecode, binaries, or other artifacts without executing the target program.
Related technical publications
Publications whose title or summary directly references this concept.
Clean Code and Maintainability Engineering
Engineering notes on code quality beyond naming and formatting, covering maintenance cost, modular decomposition, error contracts, testability, static analysis, concurrency, and change risk.
MISRA C and Static Code Analysis
MISRA C constrains risky and ambiguous uses of C, while static analysis detects violations systematically; neither is a standalone proof of safety or correctness.