WO2001022644A3 - Real-time program audit software - Google Patents
Real-time program audit software Download PDFInfo
- Publication number
- WO2001022644A3 WO2001022644A3 PCT/US2000/018816 US0018816W WO0122644A3 WO 2001022644 A3 WO2001022644 A3 WO 2001022644A3 US 0018816 W US0018816 W US 0018816W WO 0122644 A3 WO0122644 A3 WO 0122644A3
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- program
- execution
- audit
- real
- time
- 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/3604—Software analysis for verifying properties of programs
- G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
Abstract
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
EP00948614A EP1354270A4 (en) | 1999-09-20 | 2000-07-11 | Real-time program audit software |
CA002385433A CA2385433A1 (en) | 1999-09-20 | 2000-07-11 | Real-time program audit software |
AU62088/00A AU778165B2 (en) | 1999-09-20 | 2000-07-11 | Real-time program audit software |
Applications Claiming Priority (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US39831099A | 1999-09-20 | 1999-09-20 | |
US09/398,310 | 1999-09-20 | ||
US09/611,210 | 2000-07-06 | ||
US09/611,210 US6775827B1 (en) | 1999-09-20 | 2000-07-06 | Real-time program audit software |
Publications (2)
Publication Number | Publication Date |
---|---|
WO2001022644A2 WO2001022644A2 (en) | 2001-03-29 |
WO2001022644A3 true WO2001022644A3 (en) | 2003-08-28 |
Family
ID=27016203
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/US2000/018816 WO2001022644A2 (en) | 1999-09-20 | 2000-07-11 | Real-time program audit software |
Country Status (4)
Country | Link |
---|---|
EP (1) | EP1354270A4 (en) |
AU (1) | AU778165B2 (en) |
CA (1) | CA2385433A1 (en) |
WO (1) | WO2001022644A2 (en) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CA2347647A1 (en) | 2001-05-15 | 2002-11-15 | Ibm Canada Limited-Ibm Canada Limitee | Storing and restoring snapshots of a computer process |
US7953688B2 (en) | 2007-05-08 | 2011-05-31 | Sharon Sadeh | Method and system for facilitating a compliance audit using a rule set |
CN112732640B (en) * | 2020-12-28 | 2023-07-25 | 杭州迪普科技股份有限公司 | Method and device for detecting leakage of file descriptor |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5771385A (en) * | 1996-03-29 | 1998-06-23 | Sun Microsystems, Inc. | Setting and getting system debug flags by name at runtime |
US6011920A (en) * | 1995-04-05 | 2000-01-04 | International Business Machines Corporation | Method and apparatus for debugging applications on a personality neutral debugger |
US6071316A (en) * | 1997-09-29 | 2000-06-06 | Honeywell Inc. | Automated validation and verification of computer software |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP3290567B2 (en) * | 1995-08-24 | 2002-06-10 | 富士通株式会社 | Profile instrumentation method |
JPH1063550A (en) * | 1996-08-23 | 1998-03-06 | Fujitsu Ltd | Executing performance analytic display method and medium stored with program executing the method |
-
2000
- 2000-07-11 AU AU62088/00A patent/AU778165B2/en not_active Ceased
- 2000-07-11 CA CA002385433A patent/CA2385433A1/en not_active Abandoned
- 2000-07-11 WO PCT/US2000/018816 patent/WO2001022644A2/en not_active Application Discontinuation
- 2000-07-11 EP EP00948614A patent/EP1354270A4/en not_active Withdrawn
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6011920A (en) * | 1995-04-05 | 2000-01-04 | International Business Machines Corporation | Method and apparatus for debugging applications on a personality neutral debugger |
US5771385A (en) * | 1996-03-29 | 1998-06-23 | Sun Microsystems, Inc. | Setting and getting system debug flags by name at runtime |
US6071316A (en) * | 1997-09-29 | 2000-06-06 | Honeywell Inc. | Automated validation and verification of computer software |
Non-Patent Citations (1)
Title |
---|
See also references of EP1354270A4 * |
Also Published As
Publication number | Publication date |
---|---|
AU6208800A (en) | 2001-04-24 |
WO2001022644A2 (en) | 2001-03-29 |
EP1354270A2 (en) | 2003-10-22 |
CA2385433A1 (en) | 2001-03-29 |
AU778165B2 (en) | 2004-11-18 |
EP1354270A4 (en) | 2004-09-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7562029B2 (en) | Integrated project management and development environment for determining the time expended on project tasks | |
EP1577767A3 (en) | Code rewriting | |
WO2002077822A3 (en) | Dynamic software code instrumentation method and system | |
EP0778522A3 (en) | System and method for generating trusted, architecture specific, compiled versions of architecture neutral programs | |
EP1229440A3 (en) | Program converting unit and processor improved in address management | |
BR9709246A (en) | Machine that has a basic interpretive input and output system and method of using it | |
WO2005052760A3 (en) | System for optimizing application start-up | |
GB2391365A (en) | Method and apparatus for performing online application upgrades in a java platform | |
EP1018683A3 (en) | Executable for requesting a linguistic service | |
WO2004086222A3 (en) | Development of software systems | |
WO2002097573A3 (en) | Method and apparatus for generating source code | |
WO2006044235A3 (en) | Source code translator | |
EP1837758A3 (en) | Optimising compiler generating assembly code that uses special instructions of the processor which are defined in separate files | |
SG95605A1 (en) | Data processor system and instruction system using grouping | |
CA2077273A1 (en) | Language neutral objects | |
EP0651327A3 (en) | Recompilation of computer programs for enhanced optimization | |
TW200502786A (en) | Type bridges | |
AU3058900A (en) | Method for monitoring a programme flow | |
CA2144874A1 (en) | Incremental Build System | |
DE50009037D1 (en) | Method and computer program for producing a control or regulation | |
ATE392660T1 (en) | METHOD, SYSTEM, APPARATUS AND PROGRAM FOR DISTRIBUTING AND IMPLEMENTING SOFTWARE UPGRADES | |
ATE437393T1 (en) | METHOD AND DEVICE FOR PROVIDING A DECOUPLED POWER MANAGEMENT STATE | |
EP0932100A3 (en) | Program compile system and its compile method for efficiently compiling a source program including an indirect call for a procedure | |
EP1071016A3 (en) | Debugger protocol generator | |
ATE551640T1 (en) | METHOD FOR DYNAMIC CONFIGURATION OF A USER INTERFACE OF A FUNCTIONAL BLOCK |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
AK | Designated states |
Kind code of ref document: A2 Designated state(s): AE AL AM AT AU AZ BA BB BG BR BY CA CH CN CR CU CZ DE DK DM EE 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 NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG US UZ VN YU ZA ZW |
|
AL | Designated countries for regional patents |
Kind code of ref document: A2 Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZW AM AZ BY KG KZ MD RU TJ TM AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE BF BJ CF CG CI CM GA GN GW ML MR NE SN TD TG |
|
121 | Ep: the epo has been informed by wipo that ep was designated in this application | ||
DFPE | Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101) | ||
WWE | Wipo information: entry into national phase |
Ref document number: 2385433 Country of ref document: CA |
|
WWE | Wipo information: entry into national phase |
Ref document number: 62088/00 Country of ref document: AU |
|
WWE | Wipo information: entry into national phase |
Ref document number: 2000948614 Country of ref document: EP |
|
WWP | Wipo information: published in national office |
Ref document number: 2000948614 Country of ref document: EP |
|
NENP | Non-entry into the national phase |
Ref country code: JP |
|
WWG | Wipo information: grant in national office |
Ref document number: 62088/00 Country of ref document: AU |
|
WWW | Wipo information: withdrawn in national office |
Ref document number: 2000948614 Country of ref document: EP |