# ercoppa/symbolic-execution-tutorial

<https://repo.masters-masters.com/en/repos/ercoppa/symbolic-execution-tutorial>

[Home](https://repo.masters-masters.com/en) › [ercoppa](https://repo.masters-masters.com/en/owners/ercoppa) › [symbolic-execution-tutorial](https://repo.masters-masters.com/en/repos/ercoppa/symbolic-execution-tutorial)

ercoppa/symbolic-execution-tutorial has 134 stars on GitHub. Its RepoMasters card: Prototype tier. Tutorial on Symbolic Execution. Hands-on session is based…

| Field | Value |
| --- | --- |
| Owner | [ercoppa](https://repo.masters-masters.com/en/owners/ercoppa) |
| Stars | 134 |
| Forks | 17 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | None |
| Created | 2018 |
| Topics | symbolic-execution, angr, lecture-notes, slides, tutorial, testing, binary |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ercoppa/symbolic-execution-tutorial](https://github.com/ercoppa/symbolic-execution-tutorial) |

## Repository

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

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

## More repos by ercoppa

- [ercoppa/HadoopInternals · ★ 427 · HTML · Alpha](https://repo.masters-masters.com/en/repos/ercoppa/HadoopInternals)

## Nearby in Python

- [DaVarga/bs-arm64 · ★ 134 · Python · Prototype](https://repo.masters-masters.com/en/repos/DaVarga/bs-arm64)
- [oracle/Fusion-Setup-Configuration-Registry · ★ 134 · Python · Prototype](https://repo.masters-masters.com/en/repos/oracle/Fusion-Setup-Configuration-Registry)
- [sanjayadanushka712/Neoarch · ★ 134 · Python · Prototype](https://repo.masters-masters.com/en/repos/sanjayadanushka712/Neoarch)
- [datawrangling/spatialanalytics · ★ 134 · Python · Prototype](https://repo.masters-masters.com/en/repos/datawrangling/spatialanalytics)
- [alex/django-fixture-generator · ★ 134 · Python · Prototype](https://repo.masters-masters.com/en/repos/alex/django-fixture-generator)
- [atareao/Touchpad-Indicator · ★ 134 · Python · Prototype](https://repo.masters-masters.com/en/repos/atareao/Touchpad-Indicator)

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