13 citations · 13 across the 6 of their papers we have counts for
4 papers · 1 filter
Knowledge-Enhanced Agentic Vulnerability Repair
Sicong Cao, Hao Ma, Le Yu +8
Frontier foundation models have changed the math on vulnerability discovery, but the bigger challenge is how the remediation side keeps up. Despite recent progresses in Automated V…
Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
Huihui Huang, Jieke Shi, Bo Wang +2
Memory leaks remain prevalent in real-world C/C++ software. Static analyzers such as CodeQL provide scalable program analysis but frequently miss such bugs because they cannot reco…
Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
Tianyu Li, Ruishi Li, Bo Wang +3
Translating C to memory-safe languages, like Rust, prevents critical memory safety vulnerabilities that are prevalent in legacy C software. Even with recent LLM-based and tool-augm…
Translating C To Rust: Lessons from a User Study
Ruishi Li, Bo Wang, Tianyu Li +2
Rust aims to offer full memory safety for programs, a guarantee that untamed C programs do not enjoy. How difficult is it to translate existing C code to Rust? To get a complementa…