Skip to main content
SpringerLink
Log in

Dynamic Architecture Extraction

  • Conference paper
Formal Approaches to Software Testing and Runtime Verification (FATES 2006, RV 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4262))

Abstract

Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulation. We present a dynamic analysis to extract object models from legacy code bases. Our analysis reconstructs each intermediate heap from a log of object allocations and field writes, applies a sequence of abstraction-based operations to each heap, and combines the results into a single object model that conservatively approximates all observed heaps from the program’s execution. The resulting object models reflect many interesting and useful architectural properties.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aldrich, J.: Using types to enforce architectural structure (2006), available at: http://www.cs.cmu.edu/~aldrich/papers/

  2. Aldrich, J., Chambers, C.: Ownership domains: Separating aliasing policy from mechanism. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 1–25. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: ACM Conference Object-Oriented Programming, Systems, Languages and Applications, pp. 311–330 (2002)

    Google Scholar 

  4. Ammons, G., Bodik, R., Larus, J.R.: Mining specifications. In: ACM Symposium on the Principles of Programming Languages, pp. 4–16 (2002)

    Google Scholar 

  5. ArgoUML (2006), http://argouml.tigris.org/

  6. Byte Code Engineering Library (2006), http://jakarta.apache.org/bcel/

  7. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Reading (2005)

    Google Scholar 

  8. Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: ACM Symposium on the Principles of Programming Languages, pp. 213–223 (2003)

    Google Scholar 

  9. Chase, D.R., Wegman, M.N., Zadeck, F.K.: Analysis of pointers and structures. In: ACM Conference on Programming Language Design and Implementation, pp. 296–310 (1990)

    Google Scholar 

  10. Clarke, D.G., Noble, J., Potter, J.: Simple ownership types for object containment. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 53–76. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  11. Clarke, D.G., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: ACM Conference Object-Oriented Programming, Systems, Languages and Applications, pp. 48–64 (1998)

    Google Scholar 

  12. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: ACM Symposium on the Principles of Programming Languages, pp. 238–252 (1977)

    Google Scholar 

  13. Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering 27(2), 99–123 (2001)

    Article  Google Scholar 

  14. Ernst, M.D., Griswold, W.G., Kataoka, Y., Notkin, D.: Dynamically discovering pointer-based program invariants. Technical Report UW-CSE-99-11-02, University of Washington Department of Computer Science and Engineering, Seattle, WA (1999)

    Google Scholar 

  15. Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: ACM Conference on Programming Language Design and Implementation, pp. 234–245 (2002)

    Google Scholar 

  16. Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Software Practice Experience 30(11), 1203–1233 (2000)

    Article  MATH  Google Scholar 

  17. Ghiya, R., Hendren, L.J.: Is it a tree, a dag, or a cyclic graph? A shape analysis for heap-directed pointers in C. In: ACM Symposium on the Principles of Programming Languages, pp. 1–15 (1996)

    Google Scholar 

  18. Guéhéneuc, Y.G.: A reverse engineering tool for precise class diagrams. In: Conference of the Centre for Advanced Studies on Collaborative Research, pp. 28–41 (2004)

    Google Scholar 

  19. Hackett, B., Aiken, A.: How is aliasing used in systems software (2006), available at: http://glide.stanford.edu/saturn/

  20. Henkel, J., Diwan, A.: Discovering algebraic specifications from Java classes. In: European Conference on Object-Oriented Programming, pp. 431–456 (2003)

    Google Scholar 

  21. Hill, T., Noble, J., Potter, J.: Scalable visualizations of object-oriented systems with ownership trees. J. Vis. Lang. Comput. 13(3), 319–339 (2002)

    Article  Google Scholar 

  22. Hirzel, M., Henkel, J., Diwan, A., Hind, M.: Understanding the connectivity of heap objects. In: MSP/ISMM, pp. 143–156 (2002)

    Google Scholar 

  23. Jackson, D., Waingold, A.: Lightweight extraction of object models from bytecode. In: International Conference on Software Engineering, pp. 194–202 (1999)

    Google Scholar 

  24. Jones, N.D., Muchnick, S.S.: A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In: ACM Symposium on the Principles of Programming Languages, pp. 66–74 (1982)

    Google Scholar 

  25. Malloy, B.A., Power, J.F.: Exploiting UML dynamic object modeling for the visualization of C++ programs. In: ACM Symposium on Software Visualization, pp. 105–114 (2005)

    Google Scholar 

  26. Milanova, A.: Precise identification of composition relationships for UML class diagrams. In: Automated Software Engineering, pp. 76–85 (2005)

    Google Scholar 

  27. Mitchell, N.: The runtime structure of object ownership. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 74–98. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  28. Noble, J.: Visualising objects: Abstraction, encapsulation, aliasing, and ownership. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol. 2269, pp. 58–72. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  29. Printezis, T., Jones, R.: GCspy: An adaptable heap visualisation framework. In: ACM Conference Object-Oriented Programming, Systems, Languages and Applications, pp. 343–358 (2002)

    Google Scholar 

  30. Rayside, D., Mendel, L., Jackson, D.: A dynamic analysis for revealing object ownership and sharing. In: Workshop on Dynamic Analysis (2006)

    Google Scholar 

  31. Sagiv, S., Reps, T.W., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems 20(1), 1–50 (1998)

    Article  Google Scholar 

  32. Sagiv, S., Reps, T.W., Wilhelm, R.: Parametric shape analysis via 3-valued logic. In: ACM Symposium on the Principles of Programming Languages, pp. 105–118 (1999)

    Google Scholar 

  33. Vitek, J., Bokowski, B.: Confined types in Java. Software– Practice and Experience 31(6), 507–532 (2001)

    Article  MATH  Google Scholar 

  34. Waingold, A.: Automatic extraction of abstract object models. Masters thesis, Department of Electrical Engineering and Computer Science. MIT (2001)

    Google Scholar 

  35. Whaley, J., Martin, M.C., Lam, M.S.: Automatic extraction of object-oriented component interfaces. In: ACM International Symposium on Software Testing and Analysis, pp. 218–228 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of California at Santa Cruz, Santa Cruz, CA, 95064, USA

    Cormac Flanagan

  2. Dept. of Computer Science, Williams College, Williamstown, MA, 01267, USA

    Stephen N. Freund

Authors
  1. Cormac Flanagan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stephen N. Freund
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Kestrel Technology, Palo Alto, California, USA

    Klaus Havelund

  2. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, 28040, Madrid, Spain

    Manuel Núñez

  3. Department of Computer Science, University of Illinois, Urbana-Champaign, USA

    Grigore RoÅŸu

  4. Computer Science Dept., Saarland University, 66123, Saarbrücken, Germany

    Burkhart Wolff

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Flanagan, C., Freund, S.N. (2006). Dynamic Architecture Extraction. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds) Formal Approaches to Software Testing and Runtime Verification. FATES RV 2006 2006. Lecture Notes in Computer Science, vol 4262. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11940197_14

Download citation

  • DOI: https://doi.org/10.1007/11940197_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-49699-1

  • Online ISBN: 978-3-540-49703-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation