Static analysis tool which helps you make your code testable.