Interprocedural def-use associations for C systems with single level pointers
- 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
- https://doi.org/10.1109/32.286418
Abstract
No abstract availableThis publication has 44 references indexed in Scilit:
- Interprocedural modification side effect analysis with pointer aliasingPublished by Association for Computing Machinery (ACM) ,1993
- 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 transformationsPublished by Association for Computing Machinery (ACM) ,1990
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990
- Dynamic program slicingPublished by Association for Computing Machinery (ACM) ,1990
- Integrating noninterfering versions of programsACM Transactions on Programming Languages and Systems, 1989
- Interprocedual data flow testingPublished by Association for Computing Machinery (ACM) ,1989
- Detecting conflicts between structure accessesPublished by Association for Computing Machinery (ACM) ,1988
- Data Flow Analysis in the Presence of Procedure CallsIBM Journal of Research and Development, 1977