Why Developers Need Static Analysis Tools