TY  - RPRT
TI  - Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
AU  - Huihui Huang
AU  - Jieke Shi
AU  - Bo Wang
AU  - Zhou Yang
AU  - David Lo
PY  - 2026
UR  - https://arxiv.org/abs/2603.27224
ID  - 2603.27224
ER  -