Method and system for interprocedural side effect analysis
US7062759B2 · kind B2 · utility
1Cited by
7References
18Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Apr 19, 2001 |
| Grant date | Jun 13, 2006 |
| Priority date | — |
| Expiry date | Apr 6, 2023 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3624
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Interprocedural side-effect analysis is performed by constructing a fixed-point problem graph for each translation unit of a software program having a plurality of separately compilable components. The method performs analyzing each routine, of a software program having a plurality of separately compilable routines, to create a plurality of local side-effect problems for each routine; and merging the local side-effect problems to create a global side-effect problem.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.