Pluggable abstract domains for analyzing embedded software

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn 2006, Issue , 2006, Pages 44-53

  Cooprider, Nathan ^a   Regehr, John ^a  

^a University of Utah   (United States)

Author keywords

Abstract interpretation; Embedded software; TinyOS

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER SOFTWARE; DATA FLOW ANALYSIS; RANDOM ACCESS STORAGE;

ABSTRACT INTERPRETATION; EMBEDDED SOFTWARE; SENSOR NETWORK PROGRAMS; TINYOS;

EMBEDDED SYSTEMS;

EID: 33746068631     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134650.1134658     Document Type: Conference Paper

References (31)

1. Phil Buonadonna, Joseph Hellerstein, Wei Hong, David Gay, and Samuel Madden. TASK: Sensor network in a box. In Proc. of the European Workshop on Wireless Sensor Networks, Istanbul, Turkey, 2005.
2. Caml language Web site, http://caml.inria.fr/.
3. Jong-Deok Choi, R. Cytron, and J. Ferrante. On the efficient engineering of ambitious program analysis. IEEE Trans. Softw. Eng., 20(2): 105-114, 1994.
4. Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria Garcia de la Banda, and Manuel Hermenegildo. Improving abstract interpretations by combining domains. ACM Transactions on Programming Languages and Systems, 17(1):28-44, 1995.
5. Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. of the 4th Symp. on Principles of Programming Languages (POPL), pages 238-252, Los Angeles, CA, January 1977.
6. Crossbow Technology, Inc. http://xbow.com.
7. Ron Cytron, Jeanne Ferrante, Barry Rosen, Mark Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, October 1991.
8. Matthew B. Dwyer and Lori A. Clarke. A flexible architecture for building data flow analyzers. In Proc. of the 18th Intl. Conf. on Software Engineering (1CSE), pages 554-564, Berlin, Germany, March 1996.
9. Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, and Gleb Naumovich. Flow analysis for verifying properties of concurrent software systems. In ACM Transactions on Software Engineering and Methodology (TOSEM), pages 359-430, October 2004.
10. Chien-Liang Fok, Gruia-Catalin Roman, and Chenyang Lu. Mobile agent middleware for sensor networks: An application case study. In Proc. of the 4th Intl. Conf. on Information Processing in Sensor Networks (IPSN 05), pages 382-387, Los Angeles, CA, April 2005.
11. David Gay, Phil Levis, Robert von Behren, Matt Welsh, Eric Brewer, and David Culler. The nesC language: A holistic approach to networked embedded systems. In Proc. of the Conf. on Programming Language Design and Implementation (PLDI), pages 1-11, San Diego, CA, June 2003.
12. Philippe Granger. Improving the results of static imalyses of programs by locally decreasing iterations. In Proc, of the Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 68-79, New Delhi, India, December 1992.
13. Matthew R. Guthaus, Jeffrey S. Ringenberg, Dim Ernst, Todd M. Austin, Trevor Mudge, and Richard B. Brown. MiBench: A free, commercially representative embedded benchmark suite. In Proc. of Workshop on Workload Characterization, pages 3-14, Austin, TX, December 2001. http://www.eecs.umich.edu/mibench.
14. John L. Henning. SPEC CPU2000: Measuring CPU performance in the new millennium. IEEE Computer, 33(7), July 2000,
15. Ákos Lédeczi, András Nádas, Péter Völgyesi, György Balogh, Branislav Kusy, János Sallai, Gábor Pap, Sebestyén Dóra, Károly Molnár, Miklós Maróti, and Gyula Simon, Countersniper system for urban warfare. ACM Trans. Sen. Netw., I(2);153-177, November 2005.
16. Philip Levis, David Gay, Vlado Handziski, Jan-Hinrich Hauer, Ben Greenstein, Martin Turon, Jonathan Hui, Kevin Klues, Cory Sharp, Robert Szewczyk, Joe Polastre, Philip Buonadonna, Lama Nachman, Oilman Tolle, David Culler, and Adam Wolisz. T2: A Second Generation OS For Embedded Sensor Networks. Technical Report TKN-05-007, Telecommunication Network Group, Technische Universität Berlin, November 2005.
17. David Malan, Matt Welsh, and Michael Smith, A Public-Key Infrastructure for Key Distribution in TinyOS Based on Elliptic Curve Cryptography. In Proc. of the Intl. Conf. on Sensor and Ad hoc Communications and Networks (SECON), Santa Clara, CA, October 2004,
18. Florian Martin, PAG - An efficient program analyzer generator, International Journal on Software Tools for Technology Transfer, 2(0:46-67, 1998.
19. Antoine Miné. The Octagon abstract domain. In Proc. of the 8th Working Conf. on Reverse Engineering (WCRE), Stuttgart, Germany, October 2001.
20. Moteiv Corporation, http://www.moteiv.com.
21. George C. Necula, Scott McPeak, S. P. Rahul, and Westley Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Proc. of the Intl. Conf. on Compiler Construction (CC), pages 213-228, Grenoble, France, April 2002.
22. Alessandra Di Pierro and Herbert Wiklicky. Measuring the precision of abstract interpretations. In Proc. of the Intl. Workshop on Logic Based Program Synthesis and Transformation (LOPSTR), pages 147-164, London, UK, July 2001. Springer-Verlag.
23. John Regehr and Usit Duongsaa, Deriving abstract transfer functions for analyzing embedded software. In Proc. of the 2005 Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES), Ottawa, Canada, June 2006.
24. Martin C. Rinard. Analysis of multithreaded programs. In Proc. of the 8th Static Analysis Symposium, Paris, France, July 2001.
25. Mark Stephenson, Jonathan Babb, and Saman Amarasinghe. Bitwidth analysis with application to silicon compilation. In Proc: of the Conf. on Programming Language Design and Implementation (PLDI), pages 108-120, Vancouver, Canada, June 2000.
26. Ben L. Titzer, Daniel Lee, and Jens Palsberg. Avrora: Scalable sensor network simulation with precise timing. In Proc. of the 4th Intl. Conf. on Information Processing in Sensor Networks (1PSN), Los Angeles, CA, April 2005.
27. Bryan Turner. RandomProgramGenerator, 2005. http;//www. fractalscape.org/RandomProgramGenerator.
28. Clark Verbrugge, Phong Co, and Laurie Hendren. Generalized constant propagation a study in C. In Proc. of the Intl. Conf. on Compiler Construction (CC), Linkoping, Sweden, April 1996.
29. Mark N. Wegman and F. Kenneth Zadeck, Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems (TOPLAS), 13(2): 181-210, April 1991.
30. Daniel S. Wilkerson. Delta, 2003, http://delta.tigris.org/.
31. Andreas Zeller and Ralf Hildebrandt, Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28(2): 183-200, February 2002.