http://www.armorize.com/index.php?link_id=codesecure

What is CodeSecure™
Armorize CodeSecure™ is a static source code analysis platform that leverages third generation software verification technologies to identify web application vulnerabilities throughout development. Our web-based solution provides automated compiler-independent code analysis that models tainted dataflow within the application. Reports pinpoint vulnerable code locations and offer prioritized remediation guidance, while SmartWAF™ integration facilitates immediate hot-fix remediation. CodeSecure™ offers proactive and cost-effective remediation for vulnerable code, representing a low-cost, risk-free alternative to the common build-first secure-later paradigm.
http://www.armorize.com/images/CodeSecure/NET_Analyze.png
  1. [2010/06/28] [Free] SourceMonitor : software source code Review Tool by SQATEST ()
  2. [2010/05/27] [Paid] Vigilant Sentry : a static code analyzer for C/C++ *1 by NumLock ()
  3. [2010/06/29] Code Analysis in an Agile *4 by Mr.Jung (1764)
  4. [2010/05/28] [Paid] Ada-ASSURED : Testing and reviewing for coding style by Googler ()
  5. [2010/06/28] Peer Code Review Process *2 by SQATEST (2191)