Static Analysis: Will It Free You from TDD?