Tag: static-analysis

MISRA C constrained the freedom of the C language so automotive and other high-integrity teams could write code that was more analyzable, portable and predictable.

Patrick and Radhia Cousot gave static analysis a mathematical foundation in which program behavior is safely approximated in abstract domains, making automated proofs possible without enumerating every execution.

Stephen C. Johnson's lint separated deep diagnostic checking from fast C compilation, making static analysis a practical Unix tool for finding suspicious, nonportable and inconsistent code before execution.