Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning

Akilesh P, Leuson Da Silva, Foutse Khomh +1

Static analysis tools are essential for ensuring memory safety in Rust programs, particularly as Rust gains adoption in safety-critical domains. However, existing tools such as Rud…