Towards understanding bugs in open source router software

Software errors and vulnerabilities in core Internet routers have led to several high-profile attacks on the Internet infrastructure and numerous outages. Building an understanding of bugs in open-source router software is a first step towards addressing these problems. In this paper, we study router bugs found in two widely-used open-source router implementations. We evaluate the root cause of bugs, ease of diagnosis and detectability, ease of prevention and avoidance, and their effect on network behavior.

[1]  James Boney Cisco IOS in a Nutshell , 2001 .

[2]  Yuanyuan Zhou,et al.  Rx: treating bugs as allergies---a safe method to survive software failures , 2005, SOSP '05.

[3]  Pavlin Radoslavov,et al.  Designing extensible IP router software , 2005, NSDI.

[4]  Yuanyuan Zhou,et al.  Have things changed now?: an empirical study of bug characteristics in modern open source software , 2006, ASID '06.

[5]  Cengiz Alaettinoglu,et al.  Routing Policy Specification Language (RPSL) , 1998, RFC.

[6]  Yuanyuan Zhou,et al.  Learning from mistakes: a comprehensive study on real world concurrency bug characteristics , 2008, ASPLOS.

[7]  Mark Sullivan,et al.  A comparison of software defects in database management systems and operating systems , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[8]  Nick Feamster,et al.  Detecting BGP configuration faults with static analysis , 2005 .

[9]  Renata Teixeira,et al.  Network sensitivity to hot-potato disruptions , 2004, SIGCOMM '04.

[10]  Brian N. Bershad,et al.  Improving the reliability of commodity operating systems , 2005, TOCS.

[11]  Sudheendra Hangal,et al.  Tracking down software bugs using automatic anomaly detection , 2002, ICSE '02.

[12]  A. Greenberg,et al.  Dynamic connectivity management with an intelligent route service control point , 2006, INM '06.

[13]  Robert O. Hastings,et al.  Fast detection of memory leaks and access errors , 1991 .

[14]  Mischa Schwartz,et al.  ACM SIGCOMM computer communication review , 2001, CCRV.

[15]  Yuanyuan Zhou,et al.  CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code , 2004, OSDI.

[16]  Junfeng Yang,et al.  An empirical study of operating systems errors , 2001, SOSP.

[17]  Minlan Yu,et al.  Virtually eliminating router bugs , 2009, CoNEXT '09.

[18]  Xiao Ma,et al.  MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs , 2007, SOSP.

[19]  Emery D. Berger,et al.  DieHard: probabilistic memory safety for unsafe languages , 2006, PLDI '06.

[20]  Franck Le,et al.  Shedding light on the glue logic of the internet routing architecture , 2008, SIGCOMM '08.