4 papers
Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning
Feng Luo, Jiachen Liu, Cuiyun Gao +2
The migration of legacy C programs to Rust has become an important direction for improving software memory safety while alleviating the high cost of manual rewriting. Leveraging la…
A Survey of LLM-Driven Penetration Testing: Taxonomy, Co-Evolution, and Open Challenges
Zheyuan He, Jiaxun Dong, Zihao Li +6
Agents4Pentest, an emerging class of LLM-based autonomous penetration testing systems, has become a rapidly growing area in security research. Despite this growth, the field still…
Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
Jia Feng, Wenjie Gan, Cuiyun Gao +5
Automating C-to-Rust migration is critical for improving software security without sacrificing performance. Traditional rule-based methods struggle with diverse C idioms, often pro…
Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
Feng Luo, Kexing Ji, Cuiyun Gao +5
Automated translation of legacy C code into Rust aims to ensure memory safety while reducing the burden of manual migration. Early approaches in code translation rely on static rul…