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