A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes |
| |
| Authors: | Baradaran Sara Heidari Mahdi Kamali Ali Mouzarani Maryam |
| |
| Affiliation: | 1.Department of Electrical and Computer Engineering, Isfahan University of Technology, Isfahan, Iran
; |
| |
| Abstract: | International Journal of Information Security - Memory corruption is a serious class of software vulnerabilities, which requires careful attention to be detected and removed from applications... |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
