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

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

concolic-execution symbolic-execution

Last synced: 3 months 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-02-08T09:13:50.000Z (9 months ago)
• Last Synced: 2024-05-16T12:48:57.365Z (6 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: 1
• 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/.