Downloadable software for detecting and correcting programming and design errors in software development; downloadable software for analyzing and detecting vulnerabilities in software systems and applications