# muellerberndt/smashing-smart-contracts

<https://repo.masters-masters.com/en/repos/muellerberndt/smashing-smart-contracts>

[Home](https://repo.masters-masters.com/en) › [muellerberndt](https://repo.masters-masters.com/en/owners/muellerberndt) › [smashing-smart-contracts](https://repo.masters-masters.com/en/repos/muellerberndt/smashing-smart-contracts)

muellerberndt/smashing-smart-contracts has 178 stars on GitHub. Its RepoMasters card: Prototype tier. Writings on symbolic-execution-based security analysis…

| Field | Value |
| --- | --- |
| Owner | [muellerberndt](https://repo.masters-masters.com/en/owners/muellerberndt) |
| Stars | 178 |
| Forks | 21 |
| Language | [HTML](https://repo.masters-masters.com/en/languages/html) |
| License | None |
| Created | 2018 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [muellerberndt/smashing-smart-contracts](https://github.com/muellerberndt/smashing-smart-contracts) |

## Repository

Writings on symbolic-execution-based security analysis of EVM smart contracts.

Archived: this repository is read-only

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

## More repos by muellerberndt

- [muellerberndt/mini-agi · ★ 2,932 · Python · RC](https://repo.masters-masters.com/en/repos/muellerberndt/mini-agi)
- [muellerberndt/android\_app\_security\_checklist · ★ 894 · Beta](https://repo.masters-masters.com/en/repos/muellerberndt/android_app_security_checklist)
- [muellerberndt/cadence · ★ 521 · Python · Alpha](https://repo.masters-masters.com/en/repos/muellerberndt/cadence)
- [muellerberndt/frida-detection · ★ 497 · C · Alpha](https://repo.masters-masters.com/en/repos/muellerberndt/frida-detection)
- [muellerberndt/apkx · ★ 320 · Python · Alpha](https://repo.masters-masters.com/en/repos/muellerberndt/apkx)
- [muellerberndt/awesome-mythx-smart-contract-security-tools · ★ 254 · Alpha](https://repo.masters-masters.com/en/repos/muellerberndt/awesome-mythx-smart-contract-security-tools)

## Nearby in HTML

- [S3DFX-CYBER/FindMyGSoC · ★ 178 · HTML · Prototype](https://repo.masters-masters.com/en/repos/S3DFX-CYBER/FindMyGSoC)
- [saaspegasus/django-boilerplate · ★ 178 · HTML · Prototype](https://repo.masters-masters.com/en/repos/saaspegasus/django-boilerplate)
- [klangfeld-labs/doom-os · ★ 178 · HTML · Prototype](https://repo.masters-masters.com/en/repos/klangfeld-labs/doom-os)
- [openSNP/snpr · ★ 178 · HTML · Prototype](https://repo.masters-masters.com/en/repos/openSNP/snpr)
- [openfunltd/twcompany · ★ 178 · HTML · Prototype](https://repo.masters-masters.com/en/repos/openfunltd/twcompany)
- [hilaryparker/names · ★ 178 · HTML · Prototype](https://repo.masters-masters.com/en/repos/hilaryparker/names)

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