5 papers
C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
Yanyan Yan, Yang Feng, Jiangshan Liu +4
The growing adoption of Rust for its memory safety and performance has increased the demand for effective migration of legacy C codebases. However, existing rule-based translators…
Large Language Models for Unit Test Generation: Achievements, Challenges, and Opportunities
Bei Chu, Yang Feng, Kui Liu +5
Automated unit test generation is critical for software quality but traditional structure-driven methods often lack the semantic understanding required to produce realistic inputs…
PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
Bei Chu, Yang Feng, Kui Liu +4
Unit testing is essential for ensuring software reliability and correctness. Classic Search-Based Software Testing (SBST) methods and concolic execution-based approaches for genera…
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
Zixi Liu, Yang Feng, Yunbo Ni +5
Rust is gaining popularity for its well-known memory safety guarantees and high performance, distinguishing it from C/C++ and JVM-based languages. Its compiler, rustc, enforces the…
PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
Yunbo Ni, Yang Feng, Zixi Liu +2
The Rust programming language has garnered significant attention due to its robust safety features and memory management capabilities. Despite its guaranteed memory safety, Rust pr…