Hacker News new | comments | show | ask | jobs | submit login
Awesome-Fuzzing (github.com)
46 points by jaybosamiya 174 days ago | hide | past | web | favorite | 1 comment



All the symbolic test generating and model checkers are missing: cbmc, klee, spin, slam, prism, frama-c, ..., whilst some random solver backends are cited. Better than random fuzzing and more awesome.




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: