一句话：提出 Rust-lancet，在保持程序行为的前提下自动修复 Rust 所有权规则违规。
Rust 旨在同时提供内存安全与运行时性能，为此在编译期对安全规则进行严格静态检查，从而消除困扰 C/C++ 的内存安全问题。然而，这些安全规则给 Rust 程序员带来编程挑战：用户研究显示，程序员在编写 Rust 代码时容易违反安全规则，导致代码被编译器拒绝。为提升 Rust 的可编程性，本文提出 Rust-lancet，尝试自动化修复安全规则违规（尤其是所有权规则违规），并在修复过程中保持程序行为。摘要未详细说明具体修复方法与实验评估，但明确了自动修复所有权规则违规并保持行为这一目标。
As a relatively new programming language, Rust is designed to provide both memory safety and runtime performance. To achieve this goal, Rust conducts rigorous static checks against its safety rules during compilation, effectively eliminating memory safety issues that plague C/C++ programs. Although useful, the safety rules pose programming challenges to Rust programmers, since programmers can easily violate safety rules when coding in Rust, leading their code to be rejected by the Rust compiler, a fact underscored by a recent user study. There exists a desire to automate the process of fixing safety-rule violations to enhance Rust's programmability.