Symbolically Executing a Fuzzy Tyrant

Explore symbolic execution and fuzzing techniques in this 43-minute conference talk from GrrCON 2019. Dive into the intricacies of combining these powerful software testing methodologies to enhance vulnerability detection and improve overall system security. Learn how to effectively implement and leverage symbolic execution alongside fuzzing strategies to uncover hidden flaws in complex software systems. Gain insights into practical applications, challenges, and best practices for integrating these advanced testing approaches into your security workflow.