Overview of RustOwl
mainRustOwl is a tool designed to visualize ownership movement and lifetimes of variables in Rust code. It helps with debugging and optimization by providing visual feedback through underlines when you hover over variables or function calls in supported editors.
Visual Indicators:
- 🟩 Green: Variable's lifetime
- Definitely live: Variable is provably initialized on every path.
- Maybe live (wavy): Variable is initialized on some paths but may have been moved, dropped, or be uninitialized on others.
- 🟦 Blue: Immutable borrowing
- 🟪 Purple: Mutable borrowing
- 🟧 Orange: Value moved or function call
- 🟥 Red: Lifetime error (e.g., diff between actual and expected lifetime, or invalid overlapped mutable/shared references).