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

130 bugs found

• 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/9/372
  • 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/283
  • 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/318
  • http://lkml.org/lkml/2009/7/13/320
  • http://lkml.org/lkml/2009/7/13/321
  • http://lkml.org/lkml/2009/9/23/216
  • http://lkml.org/lkml/2009/9/25/47
  • http://lkml.org/lkml/2009/12/10/147
  • http://lkml.org/lkml/2010/1/6/148
  • http://lkml.org/lkml/2010/3/16/201
  • http://lkml.org/lkml/2010/3/16/218
  • http://lkml.org/lkml/2010/3/16/222
  • http://lkml.org/lkml/2010/3/16/243 (3)
  • http://lkml.org/lkml/2010/3/17/193
  • http://lkml.org/lkml/2010/6/21/177
  • http://lkml.org/lkml/2010/7/7/74
  • http://lkml.org/lkml/2010/7/7/77
  • http://lkml.org/lkml/2010/7/7/78
  • http://lkml.org/lkml/2010/9/4/69
  • http://lkml.org/lkml/2010/9/4/70
  • http://lkml.org/lkml/2010/9/4/73
• 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/2009/9/23/211
  • http://lkml.org/lkml/2009/9/23/215
  • http://lkml.org/lkml/2009/9/23/221 (5)
  • http://lkml.org/lkml/2009/9/28/50
  • http://lkml.org/lkml/2010/1/6/149
  • http://lkml.org/lkml/2010/1/6/151
  • http://lkml.org/lkml/2010/1/6/152 (2)
  • http://lkml.org/lkml/2010/1/6/155 (2)
  • http://lkml.org/lkml/2010/1/6/159
  • http://lkml.org/lkml/2010/1/6/162
  • http://lkml.org/lkml/2010/1/10/16
  • http://lkml.org/lkml/2010/1/10/25
  • http://lkml.org/lkml/2010/1/10/28
  • http://lkml.org/lkml/2010/1/10/31
  • http://lkml.org/lkml/2010/3/16/219
  • http://lkml.org/lkml/2010/3/16/246
  • http://lkml.org/lkml/2010/6/21/174
  • http://lkml.org/lkml/2010/6/21/175
  • http://lkml.org/lkml/2010/6/21/178
  • http://lkml.org/lkml/2010/6/22/111
  • http://lkml.org/lkml/2010/6/22/116
  • http://lkml.org/lkml/2010/6/22/117
  • http://lkml.org/lkml/2010/6/22/118
  • http://lkml.org/lkml/2010/6/22/119
  • http://lkml.org/lkml/2010/9/4/75
  • http://lkml.org/lkml/2010/9/4/76
  • http://lkml.org/lkml/2010/9/4/79
  • http://lkml.org/lkml/2010/9/4/81
  • http://lkml.org/lkml/2010/9/4/82
  • http://lkml.org/lkml/2010/10/11/38
  • http://lkml.org/lkml/2010/10/11/55
  • http://lkml.org/lkml/2010/10/11/79
  • http://lkml.org/lkml/2010/10/11/82 (3)
  • http://lkml.org/lkml/2010/10/27/167
  • http://lkml.org/lkml/2010/10/27/170
  • http://lkml.org/lkml/2010/11/6/34 (4)
• Sleep-in-atomic bugs
  • http://lkml.org/lkml/2009/6/19/189
  • http://lkml.org/lkml/2009/6/19/207
  • http://lkml.org/lkml/2010/3/16/172
  • http://lkml.org/lkml/2010/6/21/176
  • http://lkml.org/lkml/2010/6/21/183
  • http://lkml.org/lkml/2010/10/23/17
• Reachability bugs
  • http://patchwork.kernel.org/patch/56386/
  • http://lkml.org/lkml/2010/1/6/325
  • http://lkml.org/lkml/2010/1/6/331
  • http://lkml.org/lkml/2010/3/16/200
  • http://lkml.org/lkml/2010/3/16/214
  • http://lkml.org/lkml/2010/9/4/84
• Miscellany
  • http://lkml.org/lkml/2009/5/28/69 (irq disable/enable)
  • http://lkml.org/lkml/2009/9/6/139 (pci refcnt)
  • http://lkml.org/lkml/2009/9/8/79 (pci refcnt)
  • http://lkml.org/lkml/2009/9/23/212 (pci refcnt)
  • http://lkml.org/lkml/2010/1/20/148 (pci refcnt)
  • http://lkml.org/lkml/2010/1/20/149 (pci refcnt)
  • http://lkml.org/lkml/2010/11/4/154 (pci refcnt)
  • http://lkml.org/lkml/2009/7/14/326 (tty refcnt)
  • http://lkml.org/lkml/2009/9/19/233 (tty refcnt)
  • http://lkml.org/lkml/2009/9/19/240 (tty refcnt)