Faults in Linux: Making Inconsistent Assumptions About Whether a Pointer is NULL