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 PDFInfo
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
- G06F8/436—Semantic checking
Abstract
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)
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 |
-
2004
- 2004-10-18 WO PCT/US2004/034422 patent/WO2005038630A2/en active Application Filing
Patent Citations (3)
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 |