Fuzzing of domains
Nobody has claimed this yet.
- Dominant language
- OCaml
- Stars
- 252
- Forks
- 90
- Avg merge
- 4d 1m
- Merged PRs (30d)
- 19
Description
Quickchecking of domains (issue #84) serves as a good starting point for fuzzing as well. Ideally, the same set of properties should work with AFL replacing the role of generating arbitrary inputs.
There seems to be a qcheck-like OCaml library for fuzzing: https://github.com/stedolan/crowbar. Also a corresponding tutorial: https://tarides.com/blog/2019-09-04-an-introduction-to-fuzzing-ocaml-with-afl-crowbar-and-bun. it may be an unnecessary dependency though, didn't look too deep into it.
@vogler's tests with afl-fuzz: https://github.com/goblint/analyzer/blob/wip/afl/src/afl.ml.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with issue #84 to understand the existing Quickchecking of domains and review @vogler's AFL work in src/afl.ml. Read the Crowbar documentation and linked tutorial to compare the available approaches. Done means the relevant domain properties can be exercised with AFL-based input generation without an unnecessary dependency.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- ocaml
- Domain
- testing-qa
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100