Summary: A Field Study in Static Extraction of
Marwan Abi-Antoun Jonathan Aldrich
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
We recently developed a static analysis to extract runtime architectures from object-oriented programs
written in existing languages. The approach relies on adding ownership domain annotations to the code,
and statically extracts a hierarchical runtime architecture from an annotated program.
We present promising results from a week-long on-site field study to evaluate the method and the tools on a
30-KLOC module of a 250-KLOC commercial system. In a few days, we were able to add the annotations
to the module and extract a top-level architecture for review by a developer.
1A shorter version is to appear as: Abi-Antoun, M. and Aldrich, J. A Field Study in Static Extraction of Runtime Ar-
chitectures. In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE),
This work was supported in part by NSF CAREER award CCF-0546550, DARPA contract HR00110710019, the
Department of Defense, and the Software Industry Center at Carnegie Mellon University and its sponsors, especially