本研究提出SACTOR工具，旨在解决C语言翻译为Rust语言的正确性和惯用性问题。通过静态分析确保语义保留并优化代码，SACTOR在翻译的准确性和惯用性方面显著优于现有方法，最佳模型的正确率达到93%。