# angr/heaphopper

<https://repo.masters-masters.com/en/repos/angr/heaphopper>

[Home](https://repo.masters-masters.com/en) › [angr](https://repo.masters-masters.com/en/owners/angr) › [heaphopper](https://repo.masters-masters.com/en/repos/angr/heaphopper)

angr/heaphopper has 230 stars on GitHub. Its RepoMasters card: Prototype tier. HeapHopper is a bounded model checking framework for Heap-implementations

| Field | Value |
| --- | --- |
| Owner | [angr](https://repo.masters-masters.com/en/owners/angr) |
| Stars | 230 |
| Forks | 17 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | BSD-2-Clause |
| Created | 2018 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [angr/heaphopper](https://github.com/angr/heaphopper) |

## Repository

HeapHopper is a bounded model checking framework for Heap-implementations

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by angr

- [angr/angr · ★ 9,300 · Python · Stable](https://repo.masters-masters.com/en/repos/angr/angr)
- [angr/angr-management · ★ 1,201 · Python · Beta](https://repo.masters-masters.com/en/repos/angr/angr-management)
- [angr/angrop · ★ 866 · Python · Beta](https://repo.masters-masters.com/en/repos/angr/angrop)
- [angr/angr-doc · ★ 850 · TeX · Beta](https://repo.masters-masters.com/en/repos/angr/angr-doc)
- [angr/rex · ★ 652 · Python · Alpha](https://repo.masters-masters.com/en/repos/angr/rex)
- [angr/cle · ★ 490 · Python · Alpha](https://repo.masters-masters.com/en/repos/angr/cle)

## Nearby in Python

- [wonderfulearth/primitive-operation-painter · ★ 230 · Python · Prototype](https://repo.masters-masters.com/en/repos/wonderfulearth/primitive-operation-painter)
- [technamooz/Panel\_Technamooz\_VPN · ★ 230 · Python · Prototype](https://repo.masters-masters.com/en/repos/technamooz/Panel_Technamooz_VPN)
- [michelle11032424-jpg/Interpark- · ★ 230 · Python · Prototype](https://repo.masters-masters.com/en/repos/michelle11032424-jpg/Interpark-)
- [eyeseast/python-tablefu · ★ 230 · Python · Prototype](https://repo.masters-masters.com/en/repos/eyeseast/python-tablefu)
- [wardi/speedometer · ★ 230 · Python · Prototype](https://repo.masters-masters.com/en/repos/wardi/speedometer)
- [craigds/django-typed-models · ★ 230 · Python · Prototype](https://repo.masters-masters.com/en/repos/craigds/django-typed-models)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.