5 papers
Memoir: Learning, Verifying, and Evolving False-Positive Memories for Static Application Security Testing Tools
Shenyuan Guan, Qiaodan Hou, Yanjun Chen +4
Static Application Security Testing (SAST) tools have become indispensable in modern secure software devel- opment. However, these tools often generate false-positive (FP) alerts,…
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…
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…
CoDA: A Context-Decoupled Hierarchical Agent with Reinforcement Learning
Xuanzhang Liu, Jianglun Feng, Zhuoran Zhuang +7
Large Language Model (LLM) agents trained with reinforcement learning (RL) show great promise for solving complex, multi-step tasks. However, their performance is often crippled by…
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…