TY  - RPRT
TI  - A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes
AU  - Sara Baradaran
AU  - Mahdi Heidari
AU  - Ali Kamali
AU  - Maryam Mouzarani
PY  - 2025
DO  - 10.1007/s10207-023-00691-1
UR  - https://arxiv.org/abs/2210.04258
ID  - 2210.04258
ER  -