SAFECode: Enforcing alias analysis for weakly typed languages

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn 2006, Issue , 2006, Pages 144-157

  Dhurjati, Dinakar ^a   Kowshik, Sumant ^a   Adve, Vikram ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Alias analysis; Automatic pool allocation; Compilers; Programming languages; Region management

Indexed keywords

ALIAS ANALYSIS; AUTOMATIC POOL ALLOCATION; REGION MANAGEMENT; RUN-TIME CHECKS;

BENCHMARKING; COMPUTER PROGRAM LISTINGS; GRAPH THEORY; METADATA; PROGRAM COMPILERS; SEMANTICS;

C (PROGRAMMING LANGUAGE);

EID: 33746057447     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1133255.1133999     Document Type: Conference Paper

References (41)

1. A. Aiken, M. Fahndrich, and R. Levien. Better static memory management: Improving region-based analysis of higher-order languages. In ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), June 1995.
2. T. M. Austin, S. E. Breach, and G. S. Sohi. Efficient detection of all pointer and array access errors. In ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), June 1994.
3. E. Berger and B. Zorn. Diehard: Probabilistic memory safety for unsafe languages. In ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), 2006.
4. E. Berger, B. Zorn, and K. McKinley. Reconsidering custom memory allocation. In Proc. Conference on Object-Oriented Programming: Systems. Languages, and Applications, 2002.
5. R. Bodik, R. Gupta, and V. Sarkar. ABCD: eliminating array bounds checks on demand. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), 2000.
6. G. Bollella and J. Gosling. The real-time specification for Java. IEEE Computer, 33(6):47-54, 2000.
7. C. Boyapati, A. Salcianu, W. Beebee, and M. Rinard. Ownership types for safe region-based memory management in real-time Java. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), 2003.
8. M. C. Carlisle. Olden: parallelizing programs with dynamic data structures on distributed-memory machines. PhD thesis, 1996.
9. W.-N. Chin, F. Crachin, S. Qin, and M. Rinard. Region inference for an object-oriented language. In ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), June 2004.
10. M. Das, S. Lerner, and M. Siegle. Esp: Path-sensitive program verification in polynomial time. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), Berlin, Germany, Jun 2002.
11. D. Dhurjali and V. Adve. Backwards-compatible array bounds checking for C with very low overhead. In Proc. 28th Int'l Conf. on Software Engineering (ICSE), Shanghai, China, May 2006.
12. D. Dhurjati and V. Adve. Efficiently detecting all dangling pointer uses in production servers. In Proc. Int'l Conf. on Dependable Systems and Networks (DSN), Philadelphia, USA, June 2006.
13. D. Dhurjati, S. Kowshik, and V. Adve. Enforcing alias analysis for weakly typed languages. Tech Report UIUCDCS-R-2005-2657, Computer Science Dept., Univ. of Illinois at Urbana-Champaign, Oct 2005. See http://safecode.ca.uiuc.edu/.
14. D. Dhurjati, S. Kowshik, V. Adve, and C. Lattner. Memory safety without runtime checks or garbage collection. In Conf. on Language, Compiler, and Tool Support for Embedded Systems (LCTES), Jun 2003.
15. D. Dhurjati, S. Kowshik, V. Adve, and C. Lattner. Memory safety without garbage collection for embedded applications. ACM Transactions on Embedded Computing Systems, Feb. 2005.
16. N. Dor, S. Adams, M. Das, and Z. Yang. Software validation via scalable path-sensitive value flow analysis. In Proc. of ACM SIGSOFT international symposium on Software testing and analysis, 2004.
17. N. Dor, M. Rodeh, and M. Sagiv. Cssv: Towards a realistic tool for statically detecting all buffer overflows in c. In SIGPLAN Conference on Programming Language Design and Implementation, Sandiego, June 2003.
18. V. Ganapathy, S. Jha, D. Chandler, D. Melski, and D. Vitek. Buffer overrun detection using linear programming and static analysis. In Proceedings of the 10th ACM conference on Computer and communications security, New York, NY, USA, 2003.
19. D. Gay and A. Aiken. Memory management with explicit regions. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), pages 313-323, Montreal, Canada, 1998.
20. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in cyclone. In Proc. ACM SIGPLAN Conf. on Programming language Design and Implementation (PLDI), June 2002.
21. B. Hackett, M. Das, D. Wang, and Z. Yang. Modular checking for buffer overflows in the large. In Proc. 28th Int'l Conf. on Software Engineering (ICSE), Shanghai, China, 2006.
22. B. Hackett and R. Rugina. Region-based shape analysis with tracked locations. In POPL '05: Proceeding of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 310-323, New York, NY, USA, 2005. ACM Press.
23. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Winter USENIX, 1992.
24. T. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software verification with Blast. In Tenth International Workshop on Model Checking of Software (SPIN), pages 235-239, 2003.
25. M. Hicks, G. Morrisett, D. Grossman, and T. Jim. Experience with safe manual memory-management in Cyclone. In Proc. of the 4th international symposium on Memory management (ISMM), 2004.
26. M. Hind. Pointer analysis: Haven't we solved this problem yet? In Proc. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), pages 54-61, 2001.
27. R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in c programs. In Automated and Algorithmic Debugging, pages 13-26, 1997.
28. W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, and D. Wonnacott. The Omega Library Interface Guide. Technical report. Computer Science Dept., U. Maryland, College Park, Apr. 1996.
29. C. Lattner. Macroscopic Data Structure Analysis and Optimization. PhD thesis, Comp. Sci. Dept., Univ. of Illinois, Urbana, IL, May 2005.
30. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation. In Proc. Int'l Symp. on Code Generation and Optimization (CGO), San Jose, Mar 2004.
31. C. Lattner and V. Adve. Automatic pool allocation: Improving performance by controlling data structure layout in the heap. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), Chicago, IL, Jun 2005.
32. A. Loginov, S. H. Yong, S. Horwitz, and T. Reps. Debugging via run-time type checking. Lecture Notes in Computer Science, 2001.
33. G. C. Necula, J. Condit, M. Harren, S. McPeak, and W. Weimer. Ccured: type-safe retrofitting of legacy software. ACM Transactions on Programming Language and Systems, 27(3):477-526, 2005.
34. H. Patil and C. N. Fischer. Efficient run-time monitoring using shadow processing. In Automated and Algorithmic Debugging, pages 119-132, 1995.
35. J. Seward. Valgrind, an open-source memory debugger for x86-gnu/linux.
36. B. Steensgaard. Points-to analysis in almost linear time. In ACM symposium on Principles of programming languages (POPL), 1996.
37. M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T. H. Olesen, P. Sestoft, and P. Bertelsen. Programming with Regions in the ML Kit. Technical Report DIKU-TR-97/12, 1997.
38. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, pages 132(2):109-176, Feb. 1997.
39. R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham. Efficient software-based fault isolation. ACM SIGOPS Operating Systems Review, 27(5):203-216, December 1993.
40. Y. Xie, A. Chou, and D. Engler. Archer: using symbolic, path-sensitive analysis to detect memory access errors. SIGSOFT Softw. Eng. Notes, 28(5):327-336, 2003.
41. S. H. Yong and S. Horwitz. Protecting C programs from attacks via invalid pointer dereferences. In Foundations of Software Engineering, 2003.