Systematic use of tools for detecting computer vulnerabilities