...
- Violation of the coding practice will is likely to result in a security flaw that may result in an exploitable vulnerability.
- There is a denumerable set of conditions for which violating the coding practice is necessary to ensure correct behavior.
- Conformance to the coding practice can be determined through automated analysis, formal methods, or manual inspection techniques.
...
Implementation of the secure coding rules defined in this standard are necessary helpful (but not sufficient) to ensure the security of software systems developed in the C programming language.
...