1. A software development method comprising: receiving a C or C++ input source file; compiling said input source file into an executable object file, wherein said compiling automatically identifies and/or eliminates, with commercially acceptable efficiency, all undefined behaviors of said input source file.