WO2005038630A3 - Automated safe secure techniques for eliminating undefined behavior in computer software - Google Patents

Automated safe secure techniques for eliminating undefined behavior in computer software Download PDF

Info

Publication number
WO2005038630A3
WO2005038630A3 PCT/US2004/034422 US2004034422W WO2005038630A3 WO 2005038630 A3 WO2005038630 A3 WO 2005038630A3 US 2004034422 W US2004034422 W US 2004034422W WO 2005038630 A3 WO2005038630 A3 WO 2005038630A3
Authority
WO
WIPO (PCT)
Prior art keywords
eliminating
behavior
computer software
undefined
requirements
Prior art date
Application number
PCT/US2004/034422
Other languages
French (fr)
Other versions
WO2005038630A2 (en
Inventor
Thomas S Plum
Original Assignee
Thomas S Plum
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority claimed from PCT/US2004/030029 external-priority patent/WO2005029241A2/en
Application filed by Thomas S Plum filed Critical Thomas S Plum
Publication of WO2005038630A2 publication Critical patent/WO2005038630A2/en
Publication of WO2005038630A3 publication Critical patent/WO2005038630A3/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/362Software debugging
    • G06F11/3624Software debugging by performing operations on the source code, e.g. via a compiler
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/40Transformation of program code
    • G06F8/41Compilation
    • G06F8/43Checking; Contextual analysis
    • G06F8/436Semantic checking

Abstract

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.
PCT/US2004/034422 2003-10-17 2004-10-18 Automated safe secure techniques for eliminating undefined behavior in computer software WO2005038630A2 (en)

Applications Claiming Priority (6)

Application Number Priority Date Filing Date Title
US51164903P 2003-10-17 2003-10-17
US60/511,649 2003-10-17
PCT/US2004/030029 WO2005029241A2 (en) 2003-09-15 2004-09-15 Automated safe secure techniques for eliminating
USPCT/US/04/30029 2004-09-15
US10/964,830 2004-10-15
US10/964,830 US7584461B2 (en) 2003-09-15 2004-10-15 Automated safe secure techniques for eliminating undefined behavior in computer software

Publications (2)

Publication Number Publication Date
WO2005038630A2 WO2005038630A2 (en) 2005-04-28
WO2005038630A3 true WO2005038630A3 (en) 2006-05-11

Family

ID=34468372

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2004/034422 WO2005038630A2 (en) 2003-10-17 2004-10-18 Automated safe secure techniques for eliminating undefined behavior in computer software

Country Status (1)

Country Link
WO (1) WO2005038630A2 (en)

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6149318A (en) * 1997-04-15 2000-11-21 Samuel C. Kendall Link-time and run-time error detection, and program instrumentation
US6542990B1 (en) * 2000-05-04 2003-04-01 Sun Microsystems, Inc. Array access boundary check by executing BNDCHK instruction with comparison specifiers
US6634023B1 (en) * 1998-06-18 2003-10-14 International Business Machines Corporation Compile method, exception handling method and computer

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6149318A (en) * 1997-04-15 2000-11-21 Samuel C. Kendall Link-time and run-time error detection, and program instrumentation
US6634023B1 (en) * 1998-06-18 2003-10-14 International Business Machines Corporation Compile method, exception handling method and computer
US6542990B1 (en) * 2000-05-04 2003-04-01 Sun Microsystems, Inc. Array access boundary check by executing BNDCHK instruction with comparison specifiers

Also Published As

Publication number Publication date
WO2005038630A2 (en) 2005-04-28

Similar Documents

Publication Publication Date Title
Moreno et al. Jsummarizer: An automatic generator of natural language summaries for java classes
Sincero et al. Efficient extraction and analysis of preprocessor-based variability
WO2006102123A3 (en) Apparatus for analysing and organizing artifacts in a software application
WO2002077822A3 (en) Dynamic software code instrumentation method and system
WO2002069139A3 (en) System and method for generating and maintaining software code
CN109948308A (en) Code security guard method, device, electronic equipment and computer readable storage medium
US9201761B1 (en) Debugging data format conversion
WO2005029324A3 (en) Automated source code software programmer's manual generator
KR101623174B1 (en) Source code analysis apparatus, Computer program for the same, Recording medium storing computer program for the same
Mellenius The acquisition of nominal compounding in Swedish.
Chitil Practical typed lazy contracts
WO2006038132A3 (en) Parsing and handling events from .net objects
Naumowicz et al. Accessing the Mizar library with a weakly strict Mizar parser
WO2005038630A3 (en) Automated safe secure techniques for eliminating undefined behavior in computer software
EP1202171A3 (en) Compile method and program recording medium
Li-Thiao-Té Literate program execution for reproducible research and executable papers
Linnosmaa et al. Towards Model-Based Specification and Safety Assurance of Nuclear I&C Systems: Applicability of SYSML and AADL
Hiller Signs O'The Times.
Hiller Signs o’the times: The software of philology and a philology of software
Zaytsev Renarrating linguistic architecture: a case study
Runnalls et al. Provenance tracking in R
Perr BASIC programming with Unix
US20140372982A1 (en) Standardization of variable names in an integrated development environment
CN111026604A (en) Log file analysis method and device
Conrad Artifact-centric compliance demonstration for ISO 26262 projects using model-based design

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BW BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE EG ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NA NI NO NZ OM PG PH PL PT RO RU SC SD SE SG SK SL SY TJ TM TN TR TT TZ UA UG US UZ VC VN YU ZA ZM ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): BW GH GM KE LS MW MZ NA SD SL SZ TZ UG ZM ZW AM AZ BY KG KZ MD RU TJ TM AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HU IE IT LU MC NL PL PT RO SE SI SK TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

121 Ep: the epo has been informed by wipo that ep was designated in this application
122 Ep: pct application non-entry in european phase