MUVI: Automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs

SOSP'07 - Proceedings of 21st ACM SIGOPS Symposium on Operating Systems Principles

Volumn , Issue , 2007, Pages 103-116

  Lu, Shan ^a   Park, Soyeon ^a   Hu, Chongfeng ^a   Ma, Xiao ^a   Jiang, Weihang ^a   Li, Zhenmin ^a,b   Popa, Raluca A ^c   Zhou, Yuanyuan ^a,b  

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

^b CleanMake Inc   (United States)

^c MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Bug detection; Concurrency bug; Variable correlation

Indexed keywords

BUG DETECTION; CODE ANALYSIS; CONCURRENT PROGRAM; DATA RACES; MOZILLA; NOVEL METHODS; POSTGRESQL; REAL-WORLD; ROOT CAUSE; SOFTWARE BUG; SOFTWARE DEFECTS; SYSTEM DEPENDABILITY; UPDATE SEMANTICS;

COMPUTER OPERATING SYSTEMS; DETECTORS; SEMANTICS;

PROGRAM DEBUGGING;

EID: 53149140743     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (43)

1. R. Alur, P. Cerny, P. Madhusudan, and W. Nam. Synthesis of interface specifications for java classes. In POPL, 2005.
2. G. Ammons, R. Bodík, and J. R. Larus. Mining specifications. In POPL, 2002.
3. C. Artho, K. Havelund, and A. Bierre. High-level data races. The First International Workshop on Verification and Validation of Enterprise Information Systems, 2003.
4. L. Ceze, P. Montesinos, C. von Praun, and J. Torrellas. Colorama: Architectural support for data-centric synchronization. In HPCA, 2007.
5. J.-D. Choi et al. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI, 2002.
6. A. Dinning and E. Schonberg. An empirical comparison of monitoring algorithms for access anomaly detection. In PPoPP, 1990.
7. A. Dinning and E. Schonberg. Detecting access anomalies in programs with critical sections. In ACM/ONR Workshop on Parallel and Distributed Debugging (AOWPDD), 1991.
8. D. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In SOSP, 2003.
9. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In SOSP, pages 57-72, 2001.
10. M. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In ICSE, 2000.
11. C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL, 2004.
12. P. Godefroid. Model checking for programming languages using verisoft. In POPL, 1997.
13. G. Grahne and J. Zhu. Efficiently using prefix-trees in mining frequent itemsets. In Proceeding of the First IEEE ICDM Workshop on Frequent Itemset Mining Implementations (FIMI'03), Nov 2003.
14. E. D. Group. EDG C/C++ front end.
15. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE, 2002.
16. T. Harris and K. Fraser. Language support for lightweight transactions. In OOPSLA, 2003.
17. T. A. Henzinger, R. Jhala, and R. Majumdar. Race checking by context inference. In PLDI '04, 2004.
18. M. Herlihy and J. E. B. Moss. Transactional memory: architectural support for lock-free data structures. In ISCA, 1993.
19. S. T. King, G. W. Dunlap, and P. M. Chen. Operating systems with time-traveling virtual machines. In Usenix Annual Technical Conference, 2005.
20. T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncertainty to belief: Inferring the specification within. In OSDI, Nov 2006.
21. Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. In OSDI, 2004.
22. Z. Li and Y. Zhou. PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code. In FSE, Sept 2005.
23. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI, 2003.
24. V. B. Livshits and T. Zimmermann. Dynamine: Finding common error patterns by mining software revision histories. In FSE, 2005.
25. S. Lu, J. Tucek, F. Qin, and Y. Zhou. AVIO: detecting atomicity violations via access interleaving invariants. In ASPLOS, 2006.
26. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: building customized program analysis tools with dynamic instrumentation. In PLDI, 2005.
27. B. McCloskey, F. Zhou, D. Gay, and E. Brewer. Autolocker: synchronization inference for atomic sections. In POPL, 2006.
28. M. Naik, A. Aiken, and J. Whaley. Effective static race detection for java. In PLDI, 2006.
29. N. Nethercote and J. Seward. Valgrind: A program supervision framework. ENTCS, 2003.
30. R. H. B. Netzer and B. P. Miller. Improving the accuracy of data race detection. In PPoPP, 1991.
31. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In PPoPP, 2003.
32. D. Perkovic and P. J. Keleher. Online data-race detection via coherency guarantees. In OSDI, 1996.
33. S. Qadeer and D. Wu. Kiss: keep it simple and sequential. In PLDI, 2004.
34. A. Sasturkar, R. Agarwal, L. Wang, and S. D. Stoller. Automated type-based analysis of data races and atomicity. In PPoPP, 2005.
35. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM TOCS, 1997.
36. M. Vaziri, F. Tip, and J. Dolby. Associating synchronization constraints with data in an object-oriented language. In POPL, 2006.
37. C. von Praun and T. R. Gross. Object race detection. In OOPSLA, 2001.
38. W. Weimer and G. Necula. Mining temporal specifications for error detection. In TACAS, 2005.
39. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In ISSTA, 2002.
40. M. Xu, R. Bodík, and M. D. Hill. A serializability violation detector for shared-memory server programs. In PLDI, 2005.
41. W. Xu, S. Bhatkar, and R. Sekar. Taint-enhanced policy enforcement: A practical approach to defeat a wide range of attacks. In USENIX Security Symposium, 2006.
42. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: mining temporal API rules from imperfect traces. In ICSE, 2006.
43. Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: Efficient detection of data race conditions via adaptive tracking. In SOSP, 2005.