Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bugs found with Crowbar #2

Open
stedolan opened this issue May 24, 2017 · 5 comments
Open

Bugs found with Crowbar #2

stedolan opened this issue May 24, 2017 · 5 comments

Comments

@stedolan
Copy link
Owner

stedolan commented May 24, 2017

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: ocaml-community/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#47, mirage/charrua#48, mirage/charrua#48, mirage/charrua#49, mirage/charrua#50, mirage/charrua#51, mirage/charrua#52, mirage/charrua#53, mirage/charrua#54, mirage/charrua#55

@dinosaure
Copy link

decompress:

@314eter
Copy link

314eter commented Apr 8, 2019

hpack:

@emillon
Copy link

emillon commented Mar 2, 2020

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
Copy link

smelc commented Mar 3, 2021

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

@jonahbeckford
Copy link

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

6 participants