Static Analysis and Automated Refactoring