Debian GNU/Linux provides several packages that can be used to audit C/C++ source code. First three search for programming errors that might lead to potential security flaws:
Next two tools find bugs in C and C++ source code by doing a static check too, but their checks are not security-related:
