Integrated Development Environments, Source Control Repositories, Automated Testing Tools, Bug Tracking, Code Analysis Tools, Build Tools, Project Hosting.
too imprecise useless results may not scale does not scale overkill for some things possibly still too imprecise for others.
49-T100.pdf
Tools for Developers
Source Control Repositories for Enabling Team Working Svetlin Nakov Telerik Corporation .
In Defense of Probabilistic Static Analysis