@misc{indiciae8e1cec3fb3d5,
  title = {Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis},
  author = {Huihui Huang and Jieke Shi and Bo Wang and Zhou Yang and David Lo},
  year = {2026},
  url = {https://arxiv.org/abs/2603.27224},
  note = {Source identifier: 2603.27224}
}