Using redundancies to find errors

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2002, Pages 51-60

  Xie, Yichen ^a   Engler, Dawson ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Error detection; Extensible compilation

Indexed keywords

COMPUTER OPERATING SYSTEMS; DATABASE SYSTEMS; ERROR DETECTION; HIGH LEVEL LANGUAGES; PROGRAM COMPILERS; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS; SECURITY OF DATA;

FLAG CORRECTNESS ERRORS; PROGRAM CHECKING; REDUNDANCY CHECKERS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0038011045     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/587059.587060     Document Type: Conference Paper

References (21)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Massachusetts, 1986.
2. A. Aiken, M. Faehndrich, and Z. Su. Detecting races in relay ladder logic programs. In Proceedings of the 1st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 1998.
3. K. Ashcraft and D. Engler. Using programmer-written compiler extensions to catch security holes. In To appear in IEEE Symposium on Security and Privacy 2002, 2002.
4. T. Ball and S.K. Rajamani. Automatically validating temporal safety properties of interfaces In SPIN 2001 Workshop on Model Checking of Software, May 2001.
5. W.R. Bush, J.D. Pincus, and D.J. Sielaff. A static analyzer for finding dynamic programming errors. Software: Practice and Experience, 30(7):775-802, 2000.
6. G. Casella and R. L. Berger. Statistical Inference. Wadsworth Group, Pacific Grove, CA, 2002.
7. F. T. Chan and T. Y. Chen. Aida-a dynamic data flow anomaly detection system for pascal programs. Software: Practice and Experience, 17(3):227-239, March 1987.
8. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, 2001.
9. R. DeLine and M. Fahndrich. Enforcing high-level protocols in low-level software. In Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, June 2001.
10. D. L. Detlefs. An overview of the extended static checking system In Proceedings of the First Workshop on Formal Methods in Software Practice, 1-9, January 1996.
11. P.J. Downey, R. Sethi, and R. E. Tarjan. Variations on the common subexpression problem. Journal of the ACM, 27(4):758-771, October 1980.
12. D. Evans, J. Guttag, J. Horning, and Y. M. Tan. LCLint: A tool for using specifications to check code. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, December 1994.
13. I. R. Forman. An algebra for data flow anomaly detection. In Proceedings of the 7th international conference on Software engineering, 278-286, 1984.
14. L. D. Fosdick and L. J. Osterweil. Data flow analysis in software reliability. ACM Computing Surveys, 8(3):305-330, September 1976.
15. D. Freedman, R. Pisani, and R. Purves. Statistics. W.W. Norton, third edition edition, 1998.
16. S. Hallem, B. Chelf, Y. Xie, and D.R. Engler. A system and language for building system-specific, static analyses. To appear in PLDI 2002.
17. J. C. Huang. Detection of data flow anomaly through program instrumentation. IEEE Transactions on Software Engineering, 5(3):226-236, May 1979.
18. L. J. Osterweil and L. D. Fosdick. Dave-a validation error detection and documentation system for fortrann programs. Software: Practice and Experience, 6(4):473-486, December 1976.
19. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A dynamic data race detector for multithreaded programming, ACM Transactions on Computer Systems, 15(4):391-411, 1997.
20. N. Sterling. WARLOCK - a static data race analysis tool. In USENIX Winter, pages 97-106, 1993.
21. D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of buffer overrun vulnerabilities. In The 2000 Network and Distributed Systems Security Conference. San Diego, CA, February 2000.