https://github.com/season-lab/fuzzolic

fuzzing + concolic = fuzzolic :)
https://github.com/season-lab/fuzzolic

concolic-execution symbolic-execution

Last synced: 21 days ago
JSON representation

fuzzing + concolic = fuzzolic :)

• Host: GitHub
• URL: https://github.com/season-lab/fuzzolic
• Owner: season-lab
• License: gpl-2.0
• Created: 2019-12-27T16:47:59.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2024-05-19T06:49:29.000Z (7 months ago)
• Last Synced: 2024-08-05T17:25:14.051Z (4 months ago)
• Topics: concolic-execution, symbolic-execution
• Language: C
• Homepage: https://season-lab.github.io/fuzzolic/
• Size: 23.8 MB
• Stars: 113
• Watchers: 3
• Forks: 6
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-hacking-lists - season-lab/fuzzolic - fuzzing + concolic = fuzzolic :) (C)

README

        
# fuzzing + concolic = fuzzolic :)

Please refer to the documentation in the `docs` directory for build and usage instructions. You can also find it online on https://season-lab.github.io/fuzzolic/.