3 papers
cs.AI2026
AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis
Han Zhou, Yu Luo, Dianxiang Xu
Generating formal specifications for C programs remains a challenge in formal verification due to the manual effort, expertise, and semantic precision required. While recent advanc…
cs.CR2025
HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
Yu Luo, Han Zhou, Mengtao Zhang +4
As an emerging programming language, Rust has rapidly gained popularity and recognition among developers due to its strong emphasis on safety. It employs a unique ownership system…
cs.CR2025
Detecting Code Vulnerabilities with Heterogeneous GNN Training
Yu Luo, Weifeng Xu, Dianxiang Xu
Detecting vulnerabilities in source code is a critical task for software security assurance. Graph Neural Network (GNN) machine learning can be a promising approach by modeling sou…