A static analysis to detect re-entrancy in object oriented programs

Journal of Object Technology

Volumn 7, Issue 5, 2008, Pages 5-23

  Fähndrich, Manuel ^a   Garbervetsky, Diego ^b   Schulte, Wolfram ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 47549110015     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2008.7.5.a1     Document Type: Conference Paper

References (12)

1. T. Ball, S. K. Lahiri, and M. Musuvathi. Zap: Automated theorem proving for software analysis. In Proceedings of the 12th International Conference on Logic for Programming, Aritificial Intelligence and Reasoning (LPAR '05), October 2005.
2. Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte. Verification of object-oriented programs with invariants. Journal of Object Technology, 3(6):27-56, 2004.
3. Mike Barnett, Robert DeLine, Bart Jacobs, Bor-Yuh Evan Chang, and K. Rustan M. Leino. Boogie: A modular reusable verifier for object-oriented programs. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever, editors, FMCO 2005, volume 4111 of LNCS, pages 364-387. Springer, September 2006.
4. Mike Barnett, Manuel Fändrich, Diego Garbervetsky, and Francesco Logozzo. Annotations for (more) precise points-to analysis. In IWACO 2007: 2nd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming, pages 11-18, Berlin, Germany, July 2007.
5. Dave G. Clarke, John. M. Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA '98, volume 33:10 of SIGPLANNotices, pages 48-64. ACM, October 1998.
6. David Detlefs, Greg Nelson, and James B. Saxe. Simplify: a theorem prover for program checking. Journal of the ACM, 52(3):365-473, May 2005.
7. ECMA. Standard ECMA-335, Common Language Infrastructure (CLI). http://www.ecma-international.org/publications/standards-/Ecma-335.htm, 2006.
8. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. Extended static checking for java. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 234-245, New York, NY, USA, 2002. ACM Press.
9. Patrick Lam, Viktor Kuncak, and Martin Rinard. Generalized typestate checking using set interfaces and pluggable analyses. SIGPLAN Not., 39(3):46-55, 2004.
10. Bertrand Meyer. Object-oriented Software Construction. Series in Computer Science. Prentice-Hall International, New York, 1988.
11. David A. Naumann and Mike Barnett. Towards imperative modules: Reasoning about invariants and sharing of mutable state. Theor. Comput. Sci., 365(1):143-168, 2006.f
12. Alexandru Salcianu and Martin Rinard. Purity and side effect analysis forjava programs. In Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation, January 2005.