1 dépôt
Visualizations of the movement of value ownership and borrowing states across a program's execution flow.
Distinct from Control-Flow Graph Visualization: Distinct from general control-flow graphs by specifically tracking the transition of ownership and memory lifecycle states.
Explore 1 awesome GitHub repository matching software engineering & architecture · Ownership Flow Visualizations. Refine with filters or upvote what's useful.
Rustowl is a diagnostic system and language server protocol extension that maps variable validity and data flow directly into text editors. It serves as a memory management tool designed to visualize lifetime constraints and ownership movement within Rust source code. The project distinguishes itself by providing a visual representation of immutable borrowings, mutable borrowings, and value moves. It specifically tracks the duration of variable validity and identifies invalid overlapping references or lifetime mismatches to assist in memory debugging. The system employs static analysis to tr
Models and visualizes the movement of values between variables to illustrate ownership transitions and memory lifecycles.