Source code (security) auditing utilities available in Debian

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: