Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials

Qihao Lian, Di Wang

Rust has become a popular system programming language that strikes a balance between memory safety and performance. Rust's type system ensures the safety of low-level memory contro…