Mayhem is a hybrid testing tool that combines concrete execution with symbolic execution tool for binary analysis that performs automatic exploit generation.
Papers related to Mayhem
- Unleashing Mayhem on binary code [cha:sandp:2012]
- Rethinking pointer reasoning in symbolic execution [coppa:ase:2017]
- Symbolic execution with SymCC: Don't interpret, compile! [poeplau:usenix:2020]