Academic research shows that for in-depth dynamic software analysis, you need both fuzzing and symbolic execution. ForAllSecure Mayhem for Code combines guided fuzzing with symbolic execution for maximum application security testing speed, scale, and accuracy. We compared Mayhem for Code with AFL, a state-of-the-art guided fuzzer, and the results are in.
Read this whitepaper to learn how Mayhem for Code performed against AFL in the following categories: