Achieve Fuzzing Based on Symbolic Execution Platform

Abstract

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.