US5832271A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Determining dynamic properties of programs
Assignee: Nokia of America Corp
•
Filing: 1996-07-08
•
Granted: 1998-11-03
•
Expires: 2016-07-08
Abstract
Abstract Techniques for obtaining information about dynamic properties of a program. The techniques involve programming a programmable execution environment such as a debugger so that when the program is executed in the execution environment, side effects of the execution provide the information about the dynamic properties. The program for the execution environment is produced by a source code analyzer which statically analyzes the source code. The source code analyzer is in turn produced by a code analyzer generator. Output from the execution environment may be provided to a graphical display system. In one use of the techniques, the code analyzer generator not only generates a source code analyzer for producing the program for the execution environment, but also a source code analyzer for producing a program which when executed by a graphical browser makes a flow graph for the program. In this case, the graphical browser responds to the output from the execution environment by altering the appearance of the flow graph.
Inventors
- 👤 Premkumar Thomas Devanbu
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-28 12:38
CPC Classifications
G; G06; G06F; G06F11/00; G06F11/36; G06F11/3604; G06F11/3612; G06F11/362; G06F11/3624
Claims Analysis
Total Claims: 33
Claim 1
Independent Claim
120 words
Apparatus which is implemented using a computer system, the apparatus being used to obtain first information about a dynamic property of a first executable program accessible to the computer system and the apparatus comprising: static analysis means for performing a static analysis of second information about the first program and producing a second program therefrom, the second information being accessible to the computer system and the static analysis means executing in the computer system; and programmable execution environment means for executing the first program under control of the second program, the programmable execution environment means executing in the computer system and the second program causing the programmable execution environment means to output the first information while executing the first program.
Claim 2
Dependent Claim
120 words
Apparatus which is implemented using a computer system, the apparatus being used to obtain first information about a dynamic property of a first executable program accessible to the computer system and the apparatus comprising: static analysis means for performing a static analysis of second information about the first program and producing a second program therefrom, the second information being accessible to the computer system and the static analysis means executing in the computer system; and programmable execution environment means for executing the first program under control of the second program, the programmable execution environment means executing in the computer system and the second program causing the programmable execution environment means to output the first information while executing the first program.
Claim 3
Independent Claim
61 words
An apparatus for determining information concerning the dynamic properties of a computer program comprising: means for performing a static analysis of said computer program; means for producing an analysis program in response to said static analysis; and means for executing said computer program under the control of said analysis program to provide information concerning said dynamic properties of said computer program.
Claim 4
Independent Claim
61 words
An apparatus for determining information concerning the dynamic properties of a computer program comprising: means for performing a static analysis of said computer program; means for producing an analysis program in response to said static analysis; and means for executing said computer program under the control of said analysis program to provide information concerning said dynamic properties of said computer program.
Claim 5
Dependent Claim
31 words
The apparatus according to claim 2 wherein said means for performing a static analysis includes: means for generating a code analyzer; and means for providing a specification of said static analysis.
Claim 6
Dependent Claim
26 words
The apparatus according to claim 3 wherein said means for performing a static analysis also includes: means for receiving the source code of said computer program.
Claim 7
Dependent Claim
26 words
The apparatus according to claim 4 wherein said means for producing an analysis program includes: means for applying said generated code analyzer to said source code.
Claim 8
Dependent Claim
16 words
The apparatus according to claim 2 wherein said means for executing includes a programmable execution environment.
Claim 9
Dependent Claim
15 words
The apparatus according to claim 6 wherein said programmable execution environment includes a programmable debugger.
Claim 10
Dependent Claim
22 words
The apparatus according to claim 2 also including: display means for displaying said information concerning said dynamic properties of said computer program.
Claim 11
Dependent Claim
31 words
The apparatus according to claim 8 wherein said means for performing a static analysis includes: means for generating a code analyzer; and means for providing a specification of said static analysis.
Claim 12
Dependent Claim
26 words
The apparatus according to claim 9 wherein said means for performing a static analysis also includes: means for receiving the source code of said computer program.
Claim 13
Dependent Claim
26 words
The apparatus according to claim 10 wherein said means for producing an analysis program includes: means for applying said generated code analyzer to said source code.
Claim 14
Dependent Claim
16 words
The apparatus according to claim 9 wherein said means for executing includes a programmable execution environment.
Claim 15
Dependent Claim
15 words
The apparatus according to claim 12 wherein said programmable execution environment includes a programmable debugger.
Claim 16
Independent Claim
83 words
A method for determining information concerning the dynamic properties of a computer program without modifying the source code of the computer program comprising the steps of: performing a static analysis of said computer program; producing an analysis program in response to said static analysis; and executing said computer program under the control of said analysis program to determine information concerning said dynamic properties of said computer program, said dynamic properties being properties that can only be determined when said computer program is executed.
Claim 17
Independent Claim
83 words
A method for determining information concerning the dynamic properties of a computer program without modifying the source code of the computer program comprising the steps of: performing a static analysis of said computer program; producing an analysis program in response to said static analysis; and executing said computer program under the control of said analysis program to determine information concerning said dynamic properties of said computer program, said dynamic properties being properties that can only be determined when said computer program is executed.
Claim 18
Dependent Claim
30 words
The method according to claim 14 wherein said step of performing a static analysis includes the steps of: generating a code analyzer; and providing a specification of said static analysis.
Claim 19
Dependent Claim
27 words
The method according to claim 15 wherein said step of performing a static analysis also includes the step of: receiving the source code of said computer program.
Claim 20
Dependent Claim
31 words
The method according to claim 16 wherein said step of producing an analysis program includes the step of: applying said generated code analyzer to said source code of said computer program.
Claim 21
Dependent Claim
23 words
The method according to claim 14 wherein said step of executing said computer program includes the step of using a programmable execution environment.
Claim 22
Dependent Claim
23 words
The method according to claim 18 wherein said step of using a programmable execution environment includes the step of providing a programmable debugger.
Claim 23
Dependent Claim
22 words
The method according to claim 14 also including the step of: displaying said information concerning said dynamic properties of said computer program.
Claim 24
Independent Claim
120 words
A method for determining information concerning the dynamic properties, properties only determinable during execution, of a computer program without modifying the source code of the computer program comprising the steps of: performing a static analysis of said computer program by generating a code analyzer, providing a specification of said static analysis and receiving the source code of said computer program; producing an analysis program in response to said static analysis by applying said generated code analyzer to said source code; executing said computer program under the control of said analysis program to determine information concerning said dynamic properties of said computer program by using a programmable execution environment; and displaying said information concerning said dynamic properties of said computer program.
Claim 25
Independent Claim
120 words
A method for determining information concerning the dynamic properties, properties only determinable during execution, of a computer program without modifying the source code of the computer program comprising the steps of: performing a static analysis of said computer program by generating a code analyzer, providing a specification of said static analysis and receiving the source code of said computer program; producing an analysis program in response to said static analysis by applying said generated code analyzer to said source code; executing said computer program under the control of said analysis program to determine information concerning said dynamic properties of said computer program by using a programmable execution environment; and displaying said information concerning said dynamic properties of said computer program.
Claim 26
Independent Claim
70 words
An apparatus for determining information concerning properties of a computer program that can only be determined while the computer program is being executed comprising: means for performing a static analysis of said computer program; means for producing an analysis program in response to said static analysis; and means for executing said computer program under the control of said analysis program to provide information concerning said properties of said computer program.
Claim 27
Independent Claim
70 words
An apparatus for determining information concerning properties of a computer program that can only be determined while the computer program is being executed comprising: means for performing a static analysis of said computer program; means for producing an analysis program in response to said static analysis; and means for executing said computer program under the control of said analysis program to provide information concerning said properties of said computer program.
Claim 28
Dependent Claim
31 words
The apparatus according to claim 22 wherein said means for performing a static analysis includes: means for generating a code analyzer; and means for providing a specification of said static analysis.
Claim 29
Dependent Claim
26 words
The apparatus according to claim 23 wherein said means for performing a static analysis also includes: means for receiving the source code of said computer program.
Claim 30
Dependent Claim
31 words
The apparatus according to claim 24 wherein said means for producing an analysis program includes: means for applying said generated code analyzer to said source code without modifying said source code.
Claim 31
Dependent Claim
16 words
The apparatus according to claim 22 wherein said means for executing includes a programmable execution environment.
Claim 32
Dependent Claim
15 words
The apparatus according to claim 26 wherein said programmable execution environment includes a programmable debugger.
Claim 33
Dependent Claim
21 words
The apparatus according to claim 22 also including: display means for displaying said information concerning said properties of said computer program.
References Cited (Backward Citations)
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2001-11-02 | 2002-05-04 | 2002-11-03 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2005-11-02 | 2006-05-04 | 2006-11-03 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2009-11-02 | 2010-05-04 | 2010-11-03 | $7700.00 | Window Closed / Lapsed |