http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis[^] Most of the tools are commercial, but if it is your job, and you find that one of the commercial tools will notably improve the quality or speed of your work, you shouldn't have any problems convincing your boss to buy a license. The free ones I've tried are rather limited in scope and capabilities.
GOTOs are a bit like wire coat hangers: they tend to breed in the darkness, such that where there once were few, eventually there are many, and the program's architecture collapses beneath them. (Fran Poretto)