Source Code Audit Tool for Linux

[Luís Miguel Silva <lms () ispgaya pt>]

Hello everyone,

I was wondering if anybody could point me to a source code audit tool 
for Linux.

I want to audit some C/C++ code and would like to know if there is any 
magical tool that will do "run time analysis", test for
race conditions, format strings, sql injection, protocol tests [ie: 
define part of the protocol and let the audit tool try and break the 
application], etc etc etc.

Does such a magical tool exist? :o)

Thanks in advance,

--
Luís Miguel Ferreira da Silva
Instituto Superior Politécnico Gaya
Av. dos Descobrimentos, 333
4400-103 Santa Marinha - V. N. de Gaia
Tel: +351 223745730/3/5
GSM: +351 912671471


------------------------------------------------------------------------
This list is sponsored by: Cenzic

Security Trends Report from Cenzic
Stay Ahead of the Hacker Curve!
Get the latest Q2 2008 Trends Report now

www.cenzic.com/landing/trends-report
------------------------------------------------------------------------