Found bugs – examples
These are examples of bugs found in real-life code. The list is for now woefully incomplete and seldom updated.
Some results may be also found on the stanse web interface.
Linux kernel
- Locking related bugs
- http://lkml.org/lkml/2009/1/17/37
- http://lkml.org/lkml/2009/1/17/66
- http://lkml.org/lkml/2009/1/17/96
- http://lkml.org/lkml/2009/3/11/343 (2)
- http://lkml.org/lkml/2009/3/11/381 (5)
- http://lkml.org/lkml/2009/5/28/70
- http://lkml.org/lkml/2009/6/19/202
- http://lkml.org/lkml/2009/6/19/203
- http://lkml.org/lkml/2009/6/19/273 (4)
- http://lkml.org/lkml/2009/6/19/305 (3)
- http://lkml.org/lkml/2009/6/19/315
- http://lkml.org/lkml/2009/6/19/317
- http://lkml.org/lkml/2009/6/21/124
- http://lkml.org/lkml/2009/6/21/125
- http://lkml.org/lkml/2009/6/21/126
- http://lkml.org/lkml/2009/6/21/127
- http://lkml.org/lkml/2009/6/21/128
- http://lkml.org/lkml/2009/6/29/286
- http://lkml.org/lkml/2009/6/29/287
- http://lkml.org/lkml/2009/6/29/289
- http://lkml.org/lkml/2009/7/1/48
- http://lkml.org/lkml/2009/7/13/313
- http://lkml.org/lkml/2009/7/13/320
- http://lkml.org/lkml/2009/7/13/321
- http://patchwork.kernel.org/patch/29024/
- http://patchwork.kernel.org/patch/32978/
- http://patchwork.kernel.org/patch/35479/
- http://patchwork.kernel.org/patch/50108/
- http://lists.infradead.org/pipermail/linux-mtd-cvs/2009-December/006714.html
- Memory related bugs
- http://lkml.org/lkml/2009/6/29/285
- http://lkml.org/lkml/2009/7/13/312
- http://lkml.org/lkml/2009/7/13/314 (2)
- http://lkml.org/lkml/2010/1/6/151
- http://lkml.indiana.edu/hypermail/linux/kernel/0909.2/03453.html (5)
- http://patchwork.kernel.org/patch/49538/
- http://patchwork.kernel.org/patch/49540/
- http://patchwork.kernel.org/patch/50375/
- https://bugzilla.novell.com/show_bug.cgi?id=564733
- https://bugzilla.novell.com/show_bug.cgi?id=564735
- Sleep-in-atomic bugs
- Reachability bugs
- Miscellany
- http://lkml.org/lkml/2009/5/28/69 (irq disable/enable)
- http://lkml.org/lkml/2009/7/14/326 (tty refcnt)
- http://patchwork.kernel.org/patch/48851/ (tty refcnt)
- http://patchwork.kernel.org/patch/48865/ (tty refcnt)
- http://patchwork.kernel.org/patch/46024/ (pci refcnt)
- http://patchwork.kernel.org/patch/46201/ (pci refcnt)
- http://patchwork.kernel.org/patch/49539/ (pci refcnt)