AlphaUncommon
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
- Owner
- enzet (personal account)
- Stars
- Stars: 497
- Forks
- Forks: 54
- Language
- Kotlin
- License
- CC-BY-SA-4.0
- Created
- 2017
- Topics
- dynamic-symbolic-executionsymbolic-executionhistorytimelineconcolic-executionconcolicprogram-analysisdynamic-analysissolving
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by enzet
All 2 repos by enzet- enzet/map-machineStars: 572PythonAlpha
Nearby in Kotlin
All Kotlin repos- InvertGeek/MixFileStars: 497KotlinAlpha
- linroid/KetchStars: 497KotlinAlpha
- YXBwbWFya2V0/AppMarketStars: 497KotlinAlpha
- xenomachina/kotlin-argparserStars: 497KotlinAlpha
- detekt/sonar-detektStars: 497KotlinAlpha