> Almost any static analysis suite Yet not the most important static analysis suite, which is included in the compiler, and enforced on all code: the type chec

> Almost any static analysis suite Yet not the most important static analysis suite, which is included in the compiler, and enforced on all code: the type checker ;)