Null pointer analysis in C



What are the issues/problems of Null pointer in C and how they can be
resolved "statically". i.e. while doing static analysis(compile time)
how can we find whether a pointer is null or not.
.