The Linux toolchain has many qualities of a program checker: the compiler can flag potential errors in the code