ercoppa / symbolic-execution-tutorial

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

ercoppa
ercoppa
Date Created 2018-11-28 (6 years ago)
Commits 22 (last one 3 years ago)
Stargazers 127 (0 this week)
Watchers 6 (0 this week)
Forks 18
License unknown
Ranking

RepositoryStats indexes 628,836 repositories, of these ercoppa/symbolic-execution-tutorial is ranked #259,176 (59th percentile) for total stargazers, and #288,850 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #48,399/128,166.

ercoppa/symbolic-execution-tutorial is also tagged with popular topics, for these it's ranked: testing (#1,095/1969),  tutorial (#874/1558)

Star History

Github stargazers over time

14014012012010010080806060404020200020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

7777776.56.566666620232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

0 commits on the default branch (master) since jan '22

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

1414121210108866442200201820182019201920202020202120212022202220242024

Issue History

No issues have been posted

Languages

The primary language is Python but there's also others...

PythonPythonShellShellCCMakefileMakefile

updated: 2025-03-07 @ 08:55am, id: 159481500 / R_kgDOCYF-nA