A high-performance, parallel, compilation-based symbolic execution engine
Generative-Program-Analysis/GenSym has 148 GitHub stars.
It currently ranks #26672 daily, #27217 weekly, #29214 monthly by momentum on Trending Repos; its best-ever rank is #5170.