Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Static Analysis to Extract Dataflow Edges from Object-Oriented Programs with
 

Summary: A Static Analysis to Extract Dataflow Edges
from Object-Oriented Programs with
Ownership Domain Annotations1
Suhib Rawshdeh Marwan Abi-Antoun
August 2011
SoftwarE Visualization and Evolution REsearch group (SEVERE)
Wayne State University
Detroit, MI 48202
1
This technical report is a revision of Rawshdeh's M.S. thesis with an additional worked example (Appendix A)
and Errata (Appendix B).
Keywords: hierarchical object graphs, dataflow communication, ownership domains
Abstract
For program comprehension, developers often require complementary sources of information to
understand a software system. They use information about the code structure (class diagrams),
points-to field references, control flow (call graphs), and dataflow. Using static analysis to extract
dataflow information from object-oriented code is challenging because the analysis must deal with
language features such as inheritance, recursion, and aliasing. Existing analyses extract flat graphs
that show a large number of objects and lack architectural abstraction. Furthermore, some existing
analyses suffer from imprecision. An adoptable analysis should aim for a judicious tradeoff between

  

Source: Abi-Antoun, Marwan - Department of Computer Science, Wayne State University

 

Collections: Computer Technologies and Information Sciences