Software systems can be validated as conforming to the CERT C Secure Coding Standard. Source code analysis tools, including compilers and static analysis tools, can be certified as able to validate that source code conforms to this standard.
...
Software systems can be validated as conforming to the CERT C Secure Coding Standard. Source code analysis tools, including compilers and static analysis tools, can be certified as able to validate that source code conforms to this standard.
...