摘要 |
Automated (e.g., compiler implemented) techniques provide safe secure software development addressing undefined behaviors in C and C++ programming languages used source input files. A secure compiler (23) automatically identifies and/or eliminates all undefined behaviors of the input files (21) by maintaining a bounds data file as records (26) of requirements for the behavior of the programm constructs at link time. The compilor also uses a parse tree and cheksum information in order to determine the above bounds requirements and guarantees the appropriate behavior for the symbols of the object file (25) to be produced. Such link time (28) determination includes generating of fatal diagnostic messages (22) in situations that undefined behaviors would result. |