Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source.

Peter T. Breuer Simon Pickin María M. Larrondo-Petrie

Published in: SEW (2006)

Keyphrases

linux kernel
operating system
source code
clone detection
software systems
open source
man made structures
analysis tool
software engineering
automatic detection
straight line
file system
high level
tens of thousands
line segments
hough transform
line drawings
databases
intrusion detection
computer systems
real world