RATS (not to be confused with RATs, or Remote
Administration Trojans) is a set of tools to analyze C and C++ source
code for potential security flaws, such as insecure function calls. The tool
has not yet reached a state in which it can fix security problems in any
automated fashion, but it provides a very good starting point for manual
Buffer Overflows; Languages.