Title
A C++ data model supporting reachability analysis and dead code detection
Abstract
A software repository provides a central information source for understanding and reengineering code in a software project. Complex reverse engineering tools can be built by analyzing information stored in the repository without reparsing the original source code. The most critical design aspect of a repository is its data model, which directly affects how effectively the repository supports various analysis tasks. This paper focuses on the design rationales behind a data model for a C++ software repository that supports reachability analysis and dead code detection at the declaration level. These two tasks are frequently needed in large software projects to help remove excess software baggage, select regression tests, and support software reuse studies. The language complexity introduced by class inheritance, friendship, and template instantiation in C++ requires a carefully designed model to catch all necessary dependencies for correct reachability analysis. We examine the major design decisions and their consequences in our model and illustrate how future software repositories can be evaluated for completeness at a selected abstraction level. Examples are given to illustrate how our model also supports variants of reachability analysis: impact analysis, class visibility analysis, and dead code detection. Finally, we discuss the implementation and experience of our analysis tools on a few C++ software projects.
Year
DOI
Venue
1997
10.1109/32.713323
Special Interest Group on Software Engineering
Keywords
Field
DocType
object oriented languages,tree graphs,information analysis,object oriented programming,regression tests,reverse engineering,conceptual modeling,software testing,source code,reverse engineering tools,c,data model,static analysis,relational databases,software maintenance,data structures,design rationale,data models
Static program analysis,Programming language,Software engineering,Computer science,Package development process,Imagix 4D,KPI-driven code analysis,Software construction,Software framework,Software development,Dead code
Conference
Volume
Issue
ISSN
24
9
0163-5948
Citations 
PageRank 
References 
46
8.45
25
Authors
3
Name
Order
Citations
PageRank
Yih-Farn R. Chen1468.45
Emden R. Gansner21117115.32
Eleftherios Koutsofios341553.46