Achieve Fuzzing Based on Symbolic Execution Platform

He Hao, Gan Shuitao
2015 Proceedings of the 2015 Joint International Mechanical, Electronic and Information Technology Conference   unpublished
The traditional software development does not consider the concerns, which is can addressing security problem effectively. So how to find the problem is the standard consideration for security researchers. In the field of software security testing, there are four ways, Fuzzing, Dynamic Taint Analysis, Model Checking and Symbolic Execution. This paper we use symbolic execution to achieve functional of fuzzing.
doi:10.2991/jimet-15.2015.185 fatcat:afizvynqufbt5jnqbnfuxwu6hy