Refactoring is the practice of changing code without altering its behavior. Rust is a language with an ownership model where lifetimes are statically resolved and it has macro support. In this thesis we develop algorithms and implementations for the Extract Method and Box Field refactorings for Rust. Automated refactoring tools are often not correct. Here we compose the refactorings by smaller micro refactorings which can easily be understood independently. We ran the implementation on open source projects, identified problems with lifetimes, and handled it correctly.
| supervisors | Volker Stolz, Martin Steffen |
| IFI links | abstract, thesis, presentation |
| github | em-refactor |