Interprocedural def-use associations for C systems with single level pointers
Authors:
- H.D. PandeHPH.D. Pande
- W.A. LandiWLW.A. Landi
- B.G. RyderBRB.G. Ryder
- 1 May 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (5) , 385-403
Abstract
No abstract availableThis publication has 43 references indexed in Scilit:
- Interprocedural modification side effect analysis with pointer aliasing1993
- Undecidability of static analysisACM Letters on Programming Languages and Systems, 1992
- Dynamic slicing of computer programsJournal of Systems and Software, 1990
- A program integration algorithm that accommodates semantics-preserving transformations1990
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990
- Dynamic program slicing1990
- Integrating noninterfering versions of programsACM Transactions on Programming Languages and Systems, 1989
- Interprocedual data flow testing1989
- Detecting conflicts between structure accesses1988
- Data Flow Analysis in the Presence of Procedure CallsIBM Journal of Research and Development, 1977