Automated safe secure techniques for eliminating undefined behavior in computer software

摘要

Automated (e.g., compiler implemented) techniques provide safe secure software development. One exemplary illustrative implementation addresses undefined behavior in the C and C++ programming languages.