If we want to prevent dereferencing null pointers then it seems like our time would be better spent improving type systems and language syntax. Shift the issue left instead of detecting problems after code has already been written.