Publication | Closed Access

A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes