enzet / symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

enzet
enzet
Date Created 2017-03-10 (8 years ago)
Commits 141 (last one 6 months ago)
Stargazers 490 (0 this week)
Watchers 37 (0 this week)
Forks 56
License cc-by-sa-4.0
Ranking

RepositoryStats indexes 628,089 repositories, of these enzet/symbolic-execution is ranked #96,020 (85th percentile) for total stargazers, and #57,720 for total watchers. Github reports the primary language for this repository as Kotlin, for repositories using this language it is ranked #1,399/9,250.

enzet/symbolic-execution is also tagged with popular topics, for these it's ranked: history (#38/159)

Other Information

enzet/symbolic-execution has Github issues enabled, there are 22 open issues and 11 closed issues.

Star History

Github stargazers over time

5005004504504004003503503003002502502002001501501001005050002018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

38383838383837.537.537373737373720232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

66554433221100Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25

Yearly Commits

Commits to the default branch (master) per year

12012010010080806060404020200020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
35353030252520201515101055002018201820192019202020202021202120222022202320232024202420252025

Languages

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

KotlinKotlinJavaScriptJavaScript

updated: 2025-03-07 @ 05:22am, id: 84607064 / R_kgDOBQsAWA