Low-cost, concurrent checking of pointer and array accesses in C programs

Software - Practice and Experience

Volumn 27, Issue 1, 1997, Pages 87-110

  Patil, Harish ^a   Fischer, Charles ^a  

^a University of Wisconsin Madison   (United States)

Author keywords

Memory access checking; Multiprocessor workstations; Program slicing

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER WORKSTATIONS; COST EFFECTIVENESS; FAULT TOLERANT COMPUTER SYSTEMS; PARALLEL PROCESSING SYSTEMS; PROGRAM DEBUGGING; PROGRAM TRANSLATORS; RESPONSE TIME (COMPUTER SYSTEMS); SECURITY OF DATA; USER INTERFACES;

ARRAY ACCESS CHECK; POINTER ACCESS CHECK;

COMPUTER SYSTEM RECOVERY;

EID: 0030836322     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199701)27:1<87::AID-SPE78>3.0.CO;2-P     Document Type: Article

References (23)

1. J. L. Steifen, 'Adding run-time checking to the portable C compiler', Software - Practice and Experience, 22(4), 825-834 (April 1992).
2. R. Hastings and B. Joyce, 'Purify: Fast detection of memory leaks and access errors', Proc Winter USENIX Conference, 125-136, 1992.
3. B. P. Miller, F. Lars and B. So, 'An empirical study of the reliability of Unix utilities', Communications of the ACM, 33(12), 32-44, (December 1990).
4. R. J. Leblanc and C. N. Fischer, 'A case study of run-time errors in Pascal programs', Software - Practice and Experience, 12, 825-834, (1982).
5. D. Seeley, 'A tour of the worm', Proc. Winter USENIX Conference, 287-304, January 1989.
6. T. Austin, S. Breach and G. Sohi, 'Efficient detection of all pointer and array access errors', Proc. ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, 290-301, 1994.
7. L. J. Hendren and B. Sridharan, 'The SIMPLE AST - McCAT compiler', ACAPS design note 36, School of Computer Science, McGill University, Montreal, Canada, 1992.
8. S. P. Harbison and G. L. Steele Jr, C - A Reference Manual, Prentice Hall, 3rd edition, 1991.
9. R. Gupta, Optimizing array bound checks using flow analysis', ACM Letters on Programming Languages and Systems, 2, 135-150, (March-December 1993).
10. P. Kolte and M. Wolfe, 'Elimination of redundant array subscript range checks', Proc. ACM SIGPLAN'95 Conference on Programming Language Design and Implementation, 270-278, 1995.
11. T. Reps, 'Demonstration of a prototype tool for program integration', TR 819, Computer Sciences Department, University of Wisconsin Madison, January 1989.
12. P. Gelsinger, P. Gargini, G. Parker and A. Yu, 'Microprocessors circa 2000', IEEE Spectrum, 43-47 (October 1989).
13. L. Gwennap, 'Multiprocessors head toward MP on a chip', Microprocessor Report, 18-21 (May 9 1994).
14. M. J. Litzkow, M. Livny and M. W. Mutka, 'Condor - A hunter of idle workstations', Proc. 8th International Conference on Distributed Computing Systems, 104-111, 1988.
15. B. Case, 'Updated SPEC benchmarks released', Microprocessor Report, 14-19, September 16 1992.
16. J. P. Singh, W. D. Weber and A. Gupta, 'SPLASH: Stanford parallel applications for shared-memory', Computer Architecture News, 20(1), 5-44 (March 1992).
17. J. Larus, 'Abstract execution: A technique for efficiently tracing programs'. Software - Practice and Experience, 20(12), 1241-1258 (December 1990).
18. S. Kaufer, R. Lopez and S. Pratap, 'Saber-C an interpreter-based programming environment for the C language', Proc. Summer USENIX Conference, 161-171, 1988.
19. S. Sankar and M. Mandai, 'Concurrent runtime monitoring of formally specified programs', Computer, 26(3), 32-41, (March 1993).
20. Z. Aral and I. Gertner, 'High-level debugging in Parasight', ACM Workshop on Parallel and Distributed Debugging, 151-162, May 1988.
21. E. A. Feustal, On the advantages of tagged architectures', IEEE Transactions on Computers, C-22(7), 1241-1258 (July 1973).
22. A. Mahmood and E. J. McCluskey, 'Concurrent error detection using watchdog processor - a survey', IEEE Transactions on Computers, C-37(2), 160-174, (February 1988).
23. R. Rubin, L. Rudolph and D. Zernik, 'Debugging parallel programs in parallel', ACM Workshop on Parallel and Distributed Debugging, 216-225, May 1988.