”External” Tools
  Network Scanners
  Web Application Scanners
  Web Services Scanners
  Dynamic Analysis Tools
  
"Internal” Tools
  Software Requirements Verifiers 
  Software Design/Model Verifiers
  Compilers
  Static Source Code Scanners
  Static Byte Code Scanners
  Static Binary Code Scanners
  Database Scanners