Method for generating hints for program analysis
US7308657B2 · kind B2 · utility
2Cited by
1References
36Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Dec 10, 2004 |
| Grant date | Dec 11, 2007 |
| Priority date | — |
| Expiry date | Apr 3, 2026 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/3323
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The present invention provides a method, apparatus and article of manufacture for generating hints for use when performing reach-ability analysis of a program such as programmatic representations of hardware circuits. The hints are generated from external inputs to the program which are used in conditional statements of the program. Further such an external input may be excluded from the hints if none of the statements of at least one of the alternative paths following from the conditional statement in which it is used have a data dependency to another statement of the program.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.