ricci / heaphopper Goto Github PK
View Code? Open in Web Editor NEWThis project forked from angr/heaphopper
HeapHopper is a bounded model checking framework for Heap-implementations
Home Page: https://seclab.cs.ucsb.edu/media/uploads/papers/sec2018-heap-hopper.pdf
License: BSD 2-Clause "Simplified" License