heaphopper

HeapHopper is a bounded model checking framework designed for analyzing heap memory management implementations. Its primary use case is to generate test cases and proof-of-concept (PoC) exploits for vulnerabilities related to heap manipulations, leveraging functionality to generate analysis configurations, trace instances, and create PoCs from binary exploits. Notable features include its integration with the angr framework, a client command-line interface, and support for extensive testing through examples provided in its repository.