Efficient hybrid typestate analysis by determining continuation-equivalent states

Proceedings - International Conference on Software Engineering

Volumn 1, Issue , 2010, Pages 5-14

  Bodden, Eric ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

runtime monitoring; static analysis; typestate analysis

Indexed keywords

ANALYSIS PROBLEMS; BACKWARD ANALYSIS; BENCHMARK SUITES; CONTEXT-SENSITIVE; EQUIVALENT STATE; FINITE-STATE; FLOW-SENSITIVE ANALYSIS; GAIN EFFICIENCY; HYBRID APPROACH; PROGRAM POINTS; RUNTIME MONITORING; RUNTIME MONITORS; RUNTIMES; SENSITIVE INFORMATIONS; SIGNAL PROPERTIES; SPEED-UPS; TYPESTATE;

COMPUTER SOFTWARE; NETWORK COMPONENTS; STATIC ANALYSIS;

EQUIVALENCE CLASSES;

EID: 77954705973     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806799.1806805     Document Type: Conference Paper

References (23)

1. Bug-database entry regarding "Cloneable". http://bugs.sun.com/ bugdatabase/view-bug.do?bug-id=4098033.
2. Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Ond.rej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble. Adding Trace Matching with Free Variables to AspectJ. In OOPSLA, pages 345-364, October 2005.
3. AspectJ. http://eclipse.org/aspectj/.
4. Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble. abc: An extensible AspectJ compiler. In AOSD, pages 87-98, March 2005.
5. Kevin Bierhoff and Jonathan Aldrich. Modular typestate checking of aliased objects. In OOPSLA, pages 301-320, October 2007.
6. S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovic, T. VanDrunen, D. von Dincklage, and B. Wiedermann. The DaCapo benchmarks: Java benchmarking development and analysis. In OOPSLA, pages 169-190, October 2006.
7. Eric Bodden. Verifying finite-state properties of large-scale programs. PhD thesis, McGill University, June 2009.
8. Eric Bodden, Feng Chen, and Grigore Roşu. Dependent advice: A general approach to optimizing history-based aspects. In AOSD, pages 3-14, March 2009.
9. Eric Bodden, Laurie J. Hendren, and Ondřej Lhoták. A staged static program analysis to improve the performance of runtime monitoring. In ECOOP, volume 4609 of LNCS, pages 525-549, 2007.
10. Eric Bodden, Patrick Lam, and Laurie Hendren. Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time. In FSE, pages 36-47, November 2008.
11. Eric Bodden, Patrick Lam, and Laurie Hendren. Object representatives: a uniform abstraction for pointer information. In Visions of Computer Science - BCS International Academic Conference. British Computing Society, September 2008.
12. J. A. Brzozowski. Canonical regular expressions and minimal state graphs for definite events. In Symposium on Mathematical Theory of Automata, pages 529-561. Polytechnic Institute of Brooklyn, 1962.
13. Feng Chen and Grigore Roşu. MOP: an efficient and generic runtime verification framework. In OOPSLA, pages 569-588, October 2007.
14. Robert DeLine and Manuel Fähndrich. Typestates for objects. In ECOOP, volume 3086 of LNCS, pages 465-490, June 2004.
15. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Patterns in property specifications for finite-state verification. In ICSE, pages 411-420, May 1999.
16. Matthew B. Dwyer and Rahul Purandare. Residual dynamic typestate analysis: Exploiting static analysis results to reformulate and reduce the cost of dynamic analysis. In ASE, pages 124-133, May 2007.
17. Stephen Fink, Eran Yahav, Nurit Dor, G. Ramalingam, and Emmanual Geay. Effective typestate verification in the presence of aliasing. In ISSTA, pages 133-144, July 2006.
18. Hidehiko Masuhara, Gregor Kiczales, and Chris Dutchyn. A compilation and optimization model for aspect-oriented programs. In CC, volume 2622 of LNCS, pages 46-60, April 2003.
19. Nomair A. Naeem and Ondřej Lhoták. Extending typestate analysis to multiple interacting objects. Technical report, University of Waterloo, 04 2008. CS-2008-04.
20. Nomair A. Naeem and Ondřej Lhoták. Typestate-like analysis of multiple interacting objects. In OOPSLA, pages 347-366, October 2008.
21. Manu Sridharan and Rastislav Bodík. Refinement-based context-sensitive points-to analysis for Java. In PLDI, pages 387-400, June 2006.
22. R. E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. TSE, 12(1):157-171, January 1986.
23. Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, and Vijay Sundaresan. Soot - a Java bytecode optimization framework. In CASCON, page 13. IBM Press, 1999.