Pesticide: Using SMT to improve performance of pointer-bug detection

IEEE International Conference on Computer Design, ICCD 2006

Volumn , Issue , 2006, Pages 514-521

  Wang, Jin Yi ^a   Shue, Yen Shiang ^a   Vijaykumar, T N ^a   Bagchi, Saurabh ^a  

^a Purdue University

Author keywords

[No Author keywords available]

Indexed keywords

BUG DETECTION; COMPUTER DESIGNS; DYNAMIC MONITORING; EFFECTIVE SIZE; INTERNATIONAL CONFERENCES; MEMORY ACCESSES; MULTI-THREADING; RUN-TIME; SOFTWARE BUGS; THREAD-LEVEL SPECULATION;

CAVITY RESONATORS; CHLORINE COMPOUNDS; CODES (STANDARDS); CODES (SYMBOLS); DATA STRUCTURES; FILE ORGANIZATION; MULTITASKING; PROGRAM DEBUGGING; SPEECH TRANSMISSION; SURFACE MOUNT TECHNOLOGY; SURVEYING INSTRUMENTS;

MERGING;

EID: 49749111142     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCD.2006.4380864     Document Type: Conference Paper

References (26)

1. Software errors cost us economy $59.5 billion annually, http://www.nist.gov/public_affairs/releases/n02-10.htm, 2002.
2. Haithm Akkary and Michael Driscoll. A Dynamic Multithreading Processor. Proceedings of 3.1st Int'l Symposium on Microarchitecture, Dec 1998.
3. Todd Austin, Scott Breach, and Gurindar Sohi. Efficient Detection of AU Pointer and Array Access Errors. In Proceedings of the ACM SIGPLAN 94 Conference on Programming Language Design and Implementation, June 1994.
4. Chris Bentley, Scott Watterson, David Lowenthal, and Barry Rountree. Implicit Java Array Bounds Checking on 64-bit Architecture. In Proceedings of the 18th annual Int'l Conference on Supercomputing, June 2004.
5. Doug Burger, Todd Austin, and Steve Bennett. Evaluating Future Microprocessors: The Simplescalar Tool Set. Technical Report CS-TR-1996-1308, University of Wisconsin, 1996.
6. P. Courtois, F.Heymans, and D. Parnas. Concurrent Control with readers and writers. In Communication of the ACM, Vol 14, No10, pp.667-668, Oct 1971.
7. Crispin Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, and Qian Zhang. Stackguard: Automatic Detection and Prevention of Buffer-Overflow Attacks. In Proceedings of the USENIX Summer Conference (USENIX 98), Jan. 1998.
8. Josh Cates, Emmett Witchel and Krste Asanovic. "Mondrian Memory Protection". In Proceedings of the 10th Int'l Conference on Architectural Support for Programming Languages and Operating Systems, Oct. 2002.
9. David Evans. Static detection, of dynamic memory errors. In Proceedings of the ACM SIGPLAN 96 Conference on Programming Language Design and Implementation, May 1996.
10. Sudheendra Hangal and Monica S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the 24th Int'l Conference on Software Engineering, May 2002.
11. David Hovemeyer and William Pugh, Finding Bugs is Easy. In Proceedings of the 19th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, Dec. 2004.
12. Richard Jones and Paul Kelly. Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. In Proceedings of the 3rd Int'l Workshop on Automated Debugging, May 1997.
13. Samuel Kendall. BCC: Run-time Checking for Cprograms. In Proceedings of the USENLX Summer Conference (USENIX 83), Summer 1983.
14. E. Christopher Marc Corliss and Amir Roth. "DISE: A Programmable Macro Engine for Customizing Applications". In Proceedings of the 30th Int'l Symposium on Computer Architecture, June 2003.
15. Madanlal Musuvathi, David Park, Andy Chou, Dawson Engler, and David Dill. Cmc: A Pragmatic Approach to Model Checking Real Code. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation, Dec. 2002.
16. Jeffery Oplinger and Monica Lam. Enhancing Software Reliability withSpeculative Threads. In Proceedings of the 10th Int'l Conference on Architectural Support for Programming Languages and Operating Systems, Oct 2002.
17. D. Park, U. Stern, J. Skakkebask, and D. Dill. Java Model Checking. In 15th IEEE Int'l Conference on Automated Software Engineering, Sept. 2000.
18. Erez Perelman, Greg Hamerly, Michael Van Biesbrouck, Timothy Sherwood, and Brad Calder. Using SimPoint for Accurate and Efficient Simulation. In Proceedings of the Int'l Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 03), June 2003.
19. Yan Solihin, Rithin Shetty, Mazen Kharbutli and Milos Prvulovic. HeapMon: a Low Overhead, Automatic, and Programmable Memory Bug Detector. In Proceedings of the 1st Watson Conference on Interaction between Architecture, Circuits, and Compilers (PAC2 04), Oct. 2004.
20. J. Gergory Steffan, Christopher Colohan, Antonia Zhai, and Todd Mowry. A Scalable Approach to Thread-level Speculation. In Proceedings of the 27th Int'l Symposium on Computer Architecture, June 2000.
21. M. Sullivan and R. Chillarege. Software defects and their impact on system availability; A study of field failures in operating systems. In Proceedings of 21st Int'l Symposium on Fault-Tolerant Computing, 1991, June 1991.
22. Dean Tullsen, Jack Lo, Susan Eggers, and Henry Levy. Supporting Fine-grained synchronization on a Simultaneous Multithreading Processor. In 5th Int'l Symposium on High Performance Computer Architecture, 1999.
23. Dean Tullsen, Susan Eggers, and Henry Levy. Simultaneous Multithreading: Maximizing On-chip Parallelism. In Proceedings of the 22nd Int'l Symposium on Computer Architecture, June 1995.
24. Hongwei Xi and Songtao Xia. Towards Array Bound Check Elimination in Java Virtual Machine Language. In Proceedings of the 1999 Conference of the IBM Center for Advanced Studies on Collaborative Research, 1999.
25. Pin Zhou, Wei Lin, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel Midkiff, and Jose Torrellas. AccMon; Automatically Detecting Memoryrelated Bugs via Program Counter-Based Invariants. In Proceedings of the 37th Int'l Symposium on Microarchitecture, Dec 2004.
26. Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou, and Joseph Torrellas. iWatcher: Efficient Architectural Support for Software Debugging. In Proceedings of the 31st Int'l Symposium on Computer Architecture, June 2004.