A Smart Fuzzing Method for Detecting Heap-Based Buffer Overflow in Executable Codes

This paper presents a new concolic execution-based smart fuzzer for detecting heap-based buffer overflow in the executable codes. The proposed fuzzer executes the target program with concrete input data and calculates the constraints of the executed path symbolically. The path constraints are used to generate test data that traverse new execution paths in… CONTINUE READING