Automated Audit Examples
As the auditing tools page explained there are several packages available within the Debian archive which may be used to automatically audit source code.
Each of the following tools is tested against the same piece of bug-ridden code. This allows the output of the tools to be directly compared.
The code has been analysed with three tools: