Automated tools

The lock validator (in 2.6.18)
Develops rules for lock usage on the fly
Flags sequences which can deadlock the kernel
Flags inconsistent interrupt status
Eliminates whole classes of difficult bugs

Memory leak tracker
Functions like a mark-and-sweep garbage collector
Gives stack traces for lost allocations