@misc{indiciae0f4e3c888ba4,
  title = {A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes},
  author = {Sara Baradaran and Mahdi Heidari and Ali Kamali and Maryam Mouzarani},
  year = {2025},
  doi = {10.1007/s10207-023-00691-1},
  url = {https://arxiv.org/abs/2210.04258},
  note = {Source identifier: 2210.04258}
}