Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
angr
Fetched on 2025/01/09 11:36
angr
/
heaphopper
HeapHopper is a bounded model checking framework for Heap-implementations -
View it on GitHub
https://seclab.cs.ucsb.edu/media/uploads/papers/sec2018-heap-hopper.pdf
Star
213
Rank
147801