Is there a tool which can do static analysis and find possible forward null and possible null dereference cases. I know coverity is pretty much used and also cpp check. But I dnt find it usefull when comes to user defined data-type comes to picture.
Please provide a solution which can handle user defined data types also and works on C++ code.