Back to results
US 2005/0097535 A1Published application
Automated safe secure techniques for eliminating undefined behavior in computer software
OwnerThomas Pluminventor
Life of this patent
Estimating the term…
Abstract
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.
Claims33
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.
A safe secure software development system comprising:
- a storage device storing a C or C++ input source file;
- and
- a processor coupled to said storage device, said processor performing safe secure compilation to convert said input source file, with commercially acceptable efficiency, into an executable object file,
- wherein said safe secure compilation automatically identifies and/or eliminates all undefined behaviors within said input source file.
1 more element
A method for developing operations to be automatically performed by a machine, comprising:
- (a) checking whether fetch and store operations fall outside boundaries associated with an object;
- and
- (b) generating fetch and store operations such that any fetch from outside said limits produces a zero value and any store outside said limits produces a no-operation (NOP).
A storage device storing:
- a C or C++ input source file;
- and
- a translator that, when excuted, automatically identifies and/or eliminates substantially all undefined behaviors of said input source file.
Dependencies are inferred from the claim text.