Faults in Linux Kernel 3.x : Inconsistent assumptions about NULL