Memory Safety Without Garbage Collection for Embedded Applications

ACM Transactions on Embedded Computing Systems

Volumn 4, Issue 1, 2005, Pages 73-111

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

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

Author keywords

automatic pool allocation; compilers; Embedded systems; Languages; programming languages; region management; Security; security; static analysis

Indexed keywords

EID: 42149150286     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1053271.1053275     Document Type: Article

References (47)

1. Aho, A. V., Sethi, R., Ullman, J. D., 1986. Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman, Reading, MA.
2. Austin, T. M., Breach, S. E., Sohi, G. S., 1994. Efficient detection of all pointer and array access errors. In SIGPLAN Conference on Programming Language Design and Implementation. 290-301.
3. Bachmann, O., Wang, P. S., Zima, E. V., 1994. Chains of recurrences-A method to expedite the evaluation of closed-form functions. In International Symposium on Symbolic and Algebraic Computation. 242-249.
4. Bacon, D., Cheng, P., Rajan, V., 2003. A real-time garbage collector with low overhead and consistent utilization. In Proceedings of, 30th ACM Symposium on Principles of Programming Languages (POPL03). 285-298.
5. Birch, J., 2002. Usingthe chains of recurrences algebra for data dependence testing and induction variable substitution. M.S. thesis, Computer Science Dept., Florida State University, Tallahassee, FL.
6. Bodik, R., Gupta, R., Sarkar, V., 2000. ABCD: Eliminating array bounds checks on demand. In SIGPLAN Conference on Programming Language Design and Implementation. 321-333.
7. Bollella, G., Gosling, J., 2000. The real-time specification for Java. Computer 33, 6, 4754.
8. Boyapati, C., Salcianu, A., Beebee, W., Rinard, M., 2003. Ownership types for safe region-based memory management in real-time Java. In SIGPLAN Conference on Programming Language Design and Implementation, 324-337.
9. Cardelli, L., Donahue, J., Glassman, L., Jordan, M., Kalsow, B., Nelson, G., 1992. Modula3 language definition. ACM Sigplan Not. 27, 8 (Aug.).
10. Chin, W.-N., Craciun, F., Qin, S., Rinard, M., 2004. Region inference for an object-oriented language. SIGPLAN Not. 39, 6, 243-254.
11. Condit, J., Harren, M., Mcpeak, S., Necula, G. C., Weimer, W., 2003. CCured in the real world. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation, 232-244.
12. Cousot, P., Halbwachs, N., 1978. Automatic discovery of linear restraints among variables of a program. In Conference Record of the 5th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Tucson, AZ. ACM Press, New York, 84-97.
13. Crary, K., Walker, D., Morrisett, G., 1999. Typed memory management in a calculus of capabilities. In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX. ACM, New York, 262-275.
14. Deline, R., Fahndrich, M., 2001. Enforcing high-level protocols in low-level software. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation. Snowbird, UT. 59-69.
15. Dhurjati, D., Kowshik, S., Adve, V, Lattner, C., 2003. Memory safety without runtime checks or garbage collection. In Proceedings of the Conference on Languages, Compilers, and Tools for Embedded Systems. San Diego, CA, 69-80.
16. Dor, N., Rodeh, M., Sagiv, M., 2003. CSSV: Towards a realistic tool for statically detecting all buffer overflows in C. In SIGPLAN Conference on Programming Language Design and Implementation, San Diego, CA, 155-167.
17. Fahndrich, M., Deline, R., 2002. Adoption and focus: Practical linear types for imperative programming. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation. 13-24.
18. Gay, D., Aiken, A., 1998. Memory management with explicit regions. In SIGPLAN Conference on Programming Language Design and Implementation, Montreal, Canada. 313-323.
19. Gordon, A. D., Syme, D., 2001. Typing a multi-language intermediate code. ACM SIGPLAN Notices. 36, 3, 248-260.
20. Gosling, J., Joy, B., Steele, G., Bracha, G., 2000. The Java Language Specification. Sun Microsystems.
21. Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J., 2002. Region-based memory management in Cyclone. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation. 282-293.
22. Gupta, R., 1993. Optimizing array bound checks using flow analysis. ACM Lett. Prog. Lang. Syst. 2, 1-4 (Mar.-Dec.), 135-150.
23. Guthaus, M. R., Ringenberg, J. S., Ernst, D., Austin, T. M., Mudge, T., Brown, R. B., 2001. Mibench: A free, commercially representative embedded benchmark suite. In IEEE 4th Annual Workshop on Workload Characterization, Austin, TX, 1-12.
24. Heine, D. L., Lam, M. S., 2003. A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation. New York, 168-181.
25. Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K., 2000. System architecture directions for network sensors. In International Conference on Architectural Support for Programming Languages and Operating Systems. 93-104.
26. Jim, T., Morrisett, G., Grossman, D., Hicks, M., Cheney, J., Wang, Y., 2002. Cyclone: A safe dialect of C. In Proceedings of USENIXAnnual Technical Conference, 275-288.
27. Jones, R. W. M., Kelly, P. H. J., 1997. Backwards-compatible bounds checking for arrays and pointers in C programs. In Automated and Algorithmic Debugging. 13-26.
28. Kelly, W., Maslov, V., Pugh, W., Rosser, E., Shpeisman, T., Wonnacott, D., 1996. The Omega Library Interface Guide. Tech. Rep., Computer Science Dept., U. Maryland, College Park. Apr.
29. Lattner, C., 2002. LLVM: An infrastructure for multi-stage optimization. M.S. thesis, Computer Science Dept., University of Illinois at Urbana-Champaign, Urbana, IL
30. Lattner, C., Adve, V., 2005. Automatic pool allocation: Improving performance by controlling data structure layout in the heap. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL.
31. Lattner, C., Adve, V., 2003. Data Structure Analysis: An Efficient Context-Sensitive Heap Analysis. Tech. Report UIUCDCS-R-2003-2340, Computer Science Dept., Univ. of Illinois at Urbana-Champaign.
32. Lattner, C., Adve, V., 2004. LLVM: A complilation framework for lifelong program analysis and transformation. In Proceedings of the Second International Conference on Code Generation and Optimization. Palo Alto, CA. 75-86.
33. Lee, C., Potkonjak, M., Mangione-Smith, W. H., 1997. MediaBench: A tool for evaluating and synthesizing multimedia and communicatons systems. In International Symposium on Microarchitecture. 330-335.
34. Levis, P., Culler, D., 2002. Mate: A tiny virtual machine for sensor networks. In International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA. 85-95.
35. Necula, G. C., 1997. Proof-carrying code. In Proceedings of of the 224th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris. 106-119.
36. Necula, G. C., Mcpeak, S., Weimer, W., 2002. CCured: Type-safe retrofitting of legacy code. In Proceedings of 29th ACM Symposium on Principles of Programming Languages (POPL '02), London. 128-139.
37. Oaks, S., 2001. Java Security, 2nd ed. O'Reilly. ISBN 0-596-00157-6.
38. Patil, H., Fischer, C., 1995. Low-cost, concurrent checking of pointer and array accesses in C programs. Software-Practice and Experience 27, 1, 87-110.
39. Pugh, W., 1992. A practical algorithm for exact array dependence analysis. Commun. ACM 35, 8 (Aug.), 102-114.
40. Sha, L., 1998. Dependable system upgrades. In Proceedings of IEEE Real-Time System Symposium, 440.
41. Sha, L., 2001. Using simplicity to control complexity. IEEE Software, 20-28.
42. Tofte, M. and Birkedal, L. 1998. A region inference algorithm. ACMTrans. Prog. Lang. Sys. 20, 1, 724-767.
43. Tofte, M., Talpin, J.-P., 1997. Region-based memory management. Inform. Comput. 132, 2, 109-176.
44. Tu, P., Padua, D. A., 1995. Gated SSA-based demand-driven symbolic analysis for parallelizing compilers. In International Conference on Supercomputing. 414-423.
45. Wagner, D., Foster, J. S., Brewer, E. A., Aiken, A., 2000. A first step towards automated detection of buffer overrun vulnerabilities. In Network and Distributed System Security Symposium, San Diego, CA. 3-17.
46. Wahbe, R., Lucco, S., Erson, T. E., Graham, S. L., 1993. Efficient software-based fault isolation. ACM SIGOPS Operating Systems Review 27, 5 (December), 203-216.
47. Walker, D., Morrisett, G., 2001. Alias types for recursive data structures. Lecture Notes in Computer Science Vol. 2071, 177+.