I would like to find a good tool that will analyze my code and find possible problems with missing exceptional states handling, like null checking, numerical overflows ect..

Any recommendations?

Edit: this was retlated to testing too i.e. how to find spots that are weakly covered by tests.