search

stedolan / crowbar

Property fuzzing for OCaml
MIT License
187 stars 27 forks source link

Bugs found with Crowbar #2

Open stedolan opened 7 years ago

stedolan commented 7 years ago

Bugs found in OPAM packages:

xmldiff: zoggy/xmldiff#4 calendar: https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1748&group_id=83&atid=415 yojson: mjambon/yojson#20 (reproduced, not originally found with crowbar) cbor: ygrek/ocaml-cbor#1 bson: MassD/bson#16 bes: (via email) uunf: dbuenzli/uunf#8, dbuenzli/uunf#10 bencode: rgrinberg/bencode#4 fpath: dbuenzli/fpath#10

@yomimono did some serious testing of charrua-core: charrua-core: mirage/charrua-core#47, mirage/charrua-core#48, mirage/charrua-core#48, mirage/charrua-core#49, mirage/charrua-core#50, mirage/charrua-core#51, mirage/charrua-core#52, mirage/charrua-core#53, mirage/charrua-core#54, mirage/charrua-core#55

dinosaure commented 6 years ago

decompress:

314eter commented 5 years ago

hpack:

emillon commented 4 years ago

We started using crowbar to fuzz ocamlformat and found plenty of edge cases. Thanks! I created a label for issues and PRs:

https://github.com/ocaml-ppx/ocamlformat/issues?utf8=%E2%9C%93&q=label%3Afuzz

smelc commented 3 years ago

irmin, shallow content trees were changing the parent tree's hash: mirage/irmin/issues/1284

jonahbeckford commented 2 months ago

mlfront: https://gitlab.com/dkml/build-tools/MlFront/-/commit/b8c65909131c5d9dd689e48b64839e682f795217 (equivalence of state machine and documented regex)