Interprocedural exception analysis for C++

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6813 LNCS, Issue , 2011, Pages 583-608

  Prabhu, Prakash ^a,b   Maeda, Naoto ^a,c   Balakrishnan, Gogul ^a   Ivančić, Franjo ^a   Gupta, Aarti ^a  

^a NEC LABORATORIES AMERICA   (United States)

^b Princeton University   (United States)

^c NEC CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC INFERENCE; C++ EXCEPTIONS; COMPACT REPRESENTATION; COMPILER OPTIMIZATIONS; CONTROL FLOWS; CONTROL-FLOW; CONTROL-FLOW GRAPHS; EXCEPTION ANALYSIS; INTER-PROCEDURAL; INTER-PROCEDURAL ANALYSIS; INTERPROCEDURAL DATAFLOW ANALYSIS; PROGRAM ANALYSIS; PROGRAM BEHAVIOR;

DATA FLOW ANALYSIS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; STATIC ANALYSIS;

COMPUTER SOFTWARE;

EID: 79961157485     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22655-7_27     Document Type: Conference Paper

References (21)

1. Bravenboer, M., Smaragdakis, Y.: Exception analysis and points-to analysis: Better together. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 1-12. ACM, New York (2009)
2. Buse, R.P., Weimer, W.R.: Automatic documentation inference for exceptions. In: ISSTA, pp. 273-282. ACM, New York (2008)
3. Chang, B.-M., Jo, J.-W., Yi, K., Choe, K.-M.: Interprocedural exception analysis for Java. In: Proc. of Symp. on Applied Computing, pp. 620-625 (2001)
4. Dean, J., Grove, D., Chambers, C.: Optimization ofobject-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol. 952, pp. 77-101. Springer, Heidelberg (1995)
5. Fu, C., Ryder, B.: Exception-chain analysis: Revealing exception handling archi-tecture in Java server applications. In: ICSE, pp. 230-239 (May 2007) (Pubitemid 47430658)
6. Gherghina, C., David, C.: A specification logic for exceptions and beyond. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 173-187. Springer, Heidelberg (2010)
7. Ivančíc, F., Shlyakhter, I., Gupta, A., Ganai, M., Kahlon, V., Wang, C., Yang, Z.: Model checking C programs using F-Soft. In: IEEE International Conference on Computer Design, pp. 297-308 (October 2005) (Pubitemid 44362405)
8. Jo, J.-W., Chang, B.-M.: Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow. In: Lagańa, A., Gavrilova, M.L., Kumar, V., Mun, Y., Tan, C.J.K., Gervasi, O. (eds.) ICCSA 2004. LNCS, vol. 3043, pp. 106- 113. Springer, Heidelberg (2004)
9. Jo, J.-W., Chang, B.-M., Yi, K., Choe, K.-M.: An uncaught exception analysis for Java. Journal of Systems and Software 72(1), 59-69 (2004)
10. Lattner, C., Adve, V.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: International Symposium on Code Generation and Optimization (CGO), Palo Alto, California (March 2004)
11. Li, X., Hoover, H., Rudnicki, P.: Towards automatic exception safety verification. In: Proc. of Formal Methods, pp. 396-411. Springer, Heidelberg (2006) (Pubitemid 44502920)
12. Mao, C.-Y., Lu, Y.-S.: Improving the robustness and reliability ofobject-oriented programs through exception analysis and testing. In: IEEE International Confer-ence on Engineering of Complex Computer Systems, vol. 0, pp. 432-439 (2005) (Pubitemid 41495771)
13. NECLA verification benchmarks, http://www.nec-labs.com/research/system/ systems-SAV-website/benchmarks.php
14. Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate language and tools for analysis and transformation of C programs. In: Int. Conf. on Comp. Construct, pp. 213-228. Springer, Heidelberg (2002)
15. Robillard, M.P., Murphy, G.C.: Static analysis to support the evolution of exception structure in object-oriented systems. ACM Transactions on Software Engineering Methodologies 12(2), 191-221 (2003) (Pubitemid 44159308)
16. Sinha, S., Harrold, M.J.: Analysis and testing of programs with exception handling constructs. IEEE Trans. on Software Engineering 26, 849-871 (2000)
17. C.standards commitee. Working draft, standard for programming language C++(2010), http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3126.pdf (ac-cessed September 26, 2010)
18. Stroustrup, B.: Exception safety: Concepts and techniques. In: Romanovsky, A., Cheraghchi, H.S., Lee, S.H., Babu, C. S. (eds.) ECOOP-WS 2000. LNCS, vol. 2022, pp. 60-76. Springer, Heidelberg (2001) (Pubitemid 33265502)
19. Torlak, E., Chandra, S.: Effective interprocedural resource leak detection. In: Int. Conf. on Softw. Eng., pp. 535-544. ACM, New York (2010)
20. Weimer, W., Necula, G.C.: Exceptional situations and program reliability. ACM Trans. Programming Languauges and Systems 30(2), 1-51 (2008)
21. Weiss, M.A.: Data Structures and Algorithm Analysis in C++. Addison-Wesley Longman Publishing Co., Inc., Boston (1998)