Abstract
We describe a program slicing tool for object-oriented programs. Program slicing uses control flow and data flow information to visualise dependences and assist the programmer in debugging and in program understanding. Object-oriented programs exploit features like dynamic binding which complicate interprocedural alias analysis. Two distinctive features of our Slicer are the support for intermodular slicing and the usage of user-feedback during the computation of data flow information. To cope with the problem of alias analysis in the presence offunction pointers (which is NP-hard), we decided to first use a conservativeapproach leading to less precise data flow information, but then use the user's expertise to restrict the effects of dynamic binding at polymorphic call sites to get more precise solutions which should still be safe.
| Original language | English |
|---|---|
| Title of host publication | ECOOP'98 Workshop Reader. 8th Workshop for PhD Students in Object-Oriented Systems |
| Publication status | Published - Jul 1998 |
Fields of science
- 102 Computer Sciences
- 102009 Computer simulation
- 102011 Formal languages
- 102013 Human-computer interaction
- 102029 Practical computer science
- 102022 Software development
- 102024 Usability research