1. A software development method comprising: receiving at least one C or C++ input source file embodying the features defined in the full ISO C90 standard and/or the full ISO C99 standard and/or the full ISO C++ standard; and optionally re-writing said input source file into a source file which invokes non-deprecated functions in the Safer C library, optionally transforms invocations of non-deprecated functions in the Safer C library into invocations of the corresponding more-efficient functions, compiling said input source file into an executable object file, wherein said compiling automatically identifies and/or eliminates substantially all undefined behaviors of said input source file.