heaphopper

Bounded model checking framework for Heap-implementations

Category: Binary Exploitation
Website: https://seclab.cs.ucsb.edu/media/uploads/papers/sec2018-heap-hopper.pdf
Source code: https://github.com/angr/heaphopper
Price: Free