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