are available—and Microsoft provides one with new versions of its Visual Studio
compiler. Similarly, modern C compilers will detect-and-correct or detectand-flag a number of well-known coding errors that have historically led to
vulnerabilities in software. Because developers routinely rely on compilers
to detect syntax errors, using a similar interface for security errors improves