WYSIWIB: A declarative approach to finding API protocols and bugs in linux code

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2009, Pages 43-52

  Lawall, Julia L ^a   Brunel, Julien ^a,d   Palix, Nicolas ^a   Hansen, René Rydhof ^b   Stuart, Henrik ^a   Muller, Gilles ^c  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b AALBORG UNIVERSITY   (Denmark)

^c EMN/INRIA Regal   (France)

^d ONERA   (France)

Author keywords

Bug finding; Linux; Protocol finding

Indexed keywords

BUG FINDING; C CODES; CONTROL-FLOW; FALSE POSITIVE; LINUX OS; SOURCE CODES;

APPLICATION PROGRAMMING INTERFACES (API); EMBEDDED SYSTEMS; SEARCH ENGINES; SPECIFICATIONS;

COMPUTER OPERATING SYSTEMS;

EID: 70449976317     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2009.5270354     Document Type: Conference Paper

References (14)

1. T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. In Eurosys, pages 73-85, Leuven, Belgium, Apr. 2006.
2. J. Brunel, D. Doligez, R. R. Hansen, J. Lawall, and G. Muller. A foundation for flow-based program matching using temporal logic and model checking. In 36th Principles of Programming Languages (POPL), pages 114-126, Savannah, GA, USA, Jan. 2009.
3. D. R. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In OSDI, pages 1-16, San Diego, CA, USA, Oct. 2000.
4. D. R. Engler, D. Y. Chen, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In SOSP, pages 57-72, Banff, Canada, Oct. 2001.
5. T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncertainty to belief: Inferring the specification within. In OSDI, pages 161-176, Nov. 2006.
6. Z. Li and Y. Zhou. PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code. In 10th European Software Engineering Conference, pages 306-315, Lisbon, Portugal, 2005.
7. Lkml: The Linux kernel mailing list. http://www.tux.org/lkml/.
8. D. MacKenzie, P. Eggert, and R. Stallman. Comparing and Merging Files With Gnu Diff and Patch. Network Theory Ltd, Jan. 2003.
9. Y. Padioleau, J. Lawall, R. R. Hansen, and G. Muller. Documenting and automating collateral evolutions in Linux device drivers. In Eurosys 2008, pages 247-260, Glasgow, Scotland, Mar. 2008.
10. Y. Padioleau, J. L. Lawall, and G. Muller. Understanding collateral evolution in Linux device drivers. In Eurosys, pages 59-71, Leuven, Belgium, Apr. 2006.
11. M. K. Ramanathan, A. Grama, and S. Jagannathan. Path-sensitive inference of function precedence protocols. In 29th International Conference on Software Engineering, pages 240-250, Minneapolis, MN, USA, 2007.
12. H. Stuart. Hunting bugs with Coccinelle. Master's thesis, University of Copenhagen, Copenhagen, Denmark, Aug. 2008.
13. L. Tan, D. Yuan, G. Krishna, and Y. Zhou. /*icomment: bugs or bad comments*/. In SOSP, pages 145-158, Stevenson, WA, USA, Oct. 2007.
14. W. Weimer and G. C. Necula. Mining temporal specifications for error detection. In Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 3440 of Lecture Notes in Computer Science, pages 461-476, Edinburgh, UK, Apr. 2005.