Skip to main content
USENIX
  • Conferences
  • Students
Sign in
  • Overview
  • Workshop Organizers
  • Workshop Program
  • Co-located Workshops
  • Activities
  • Sponsorship
  • Students and Grants
  • Questions?
  • Help Promote!
  • For Participants
  • Call for Papers
  • Past Workshops

twitter

Tweets by @usenix

usenix conference policies

  • Event Code of Conduct
  • Conference Network Policy
  • Statement on Environmental Responsibility Policy

You are here

Home » Who Writes What Checkers?—Learning from Bug Repositories
Tweet

connect with us

http://twitter.com/usenix
http://www.usenix.org/facebook
http://www.usenix.org/linkedin
http://www.usenix.org/gplus
http://www.usenix.org/youtube

Who Writes What Checkers?—Learning from Bug Repositories

Authors: 

Takeshi Yoshimura and Kenji Kono, Keio University

Abstract: 

Static code checkers have been useful for finding bugs in large-scale C code. Domain-specific checkers are particularly effective in finding deep/subtle bugs because they can make use of domain-specific knowledge. To develop domain-specific checkers, however, typical bug patterns in certain domains must first be extracted. This paper explores the use of machine learning to help extract bug patterns from bug repositories. We used natural language processing to analyze over 370,000 bug descriptions of Linux and classified them into 66 clusters. Our preliminary work with this approach is encouraging: by investigating one of the 66 clusters, we were able to identify typical bug patterns in PCI device drivers and developed static code checkers to find them. When applied to the latest version of Linux, the developed checkers found two unknown bugs.

Takeshi Yoshimura, Keio University

Kenji Kono, Keio University

Open Access Media

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. Support USENIX and our commitment to Open Access.

BibTeX
@inproceedings {187150,
author = {Takeshi Yoshimura and Kenji Kono},
title = {Who Writes What Checkers?{\textemdash}Learning from Bug Repositories},
booktitle = {10th Workshop on Hot Topics in System Dependability (HotDep 14)},
year = {2014},
address = {Broomfield, CO},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/yoshimura},
publisher = {{USENIX} Association},
month = oct,
}
Download
Yoshimura PDF
  • Log in or    Register to post comments

© USENIX

  • Privacy Policy
  • Conference Policies
  • Contact Us