{"id":17979538,"url":"https://github.com/camshaft/bolero","last_synced_at":"2025-05-14T18:03:03.142Z","repository":{"id":37849960,"uuid":"206679243","full_name":"camshaft/bolero","owner":"camshaft","description":"property testing and verification front-end for Rust","archived":false,"fork":false,"pushed_at":"2025-05-08T00:28:05.000Z","size":3120,"stargazers_count":202,"open_issues_count":48,"forks_count":23,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-05-08T01:27:48.617Z","etag":null,"topics":["afl","fuzz","fuzz-testing","honggfuzz","libfuzzer","property-testing"],"latest_commit_sha":null,"homepage":"https://camshaft.github.io/bolero","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/camshaft.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2019-09-06T00:20:04.000Z","updated_at":"2025-05-08T00:28:09.000Z","dependencies_parsed_at":"2023-02-12T19:16:29.503Z","dependency_job_id":"24354eba-0342-4a22-b121-07bfdd0df93c","html_url":"https://github.com/camshaft/bolero","commit_stats":{"total_commits":226,"total_committers":13,"mean_commits":"17.384615384615383","dds":0.331858407079646,"last_synced_commit":"ca99c6ed499fc3cdd4844c00d4fbf181fbd565f4"},"previous_names":[],"tags_count":11,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/camshaft%2Fbolero","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/camshaft%2Fbolero/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/camshaft%2Fbolero/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/camshaft%2Fbolero/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/camshaft","download_url":"https://codeload.github.com/camshaft/bolero/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254198452,"owners_count":22030964,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["afl","fuzz","fuzz-testing","honggfuzz","libfuzzer","property-testing"],"created_at":"2024-10-29T17:38:00.422Z","updated_at":"2025-05-14T18:02:58.122Z","avatar_url":"https://github.com/camshaft.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"# bolero\n\n[![Build Status](https://github.com/camshaft/bolero/workflows/ci/badge.svg)](https://github.com/camshaft/bolero/actions?workflow=ci)\n[![Latest version](https://img.shields.io/crates/v/bolero.svg)](https://crates.io/crates/bolero)\n[![Documentation](https://docs.rs/bolero/badge.svg)](https://docs.rs/bolero)\n[![License](https://img.shields.io/crates/l/bolero.svg)](https://github.com/camshaft/bolero/blob/master/LICENSE)\n\nfuzz and property testing front-end for Rust\n\n## Book\n\nA copy of the Bolero Book can be found here: http://camshaft.github.io/bolero\n\n## Quick Start\n\n1. Install subcommand and add a dependency\n\n    ```console\n    $ cargo add --dev bolero\n    $ cargo install -f cargo-bolero\n    ```\n\n2. Write a test using [`bolero::check!`](https://docs.rs/bolero/latest/bolero/macro.check.html) macro:\n\n    ```rust\n    pub fn buggy_add(x: u32, y: u32) -\u003e u32 {\n        if x == 12976 \u0026\u0026 y == 14867 {\n            return x.wrapping_sub(y);\n        }\n        return x.wrapping_add(y);\n    }\n\n    #[test]\n    fn fuzz_add() {\n        bolero::check!()\n            .with_type()\n            .cloned()\n            .for_each(|(a, b)| buggy_add(a, b) == a.wrapping_add(b));\n    }\n    ```\n\n3. Run the test with `cargo bolero`\n\n    ```console\n    $ cargo bolero test fuzz_add\n\n    # ... some moments later ...\n\n    ======================== Test Failure ========================\n\n    Input:\n    (\n        12976,\n        14867,\n    )\n\n    Error:\n    test returned `false`\n\n    ==============================================================\n    ```\n\n### Linux Installation\n\n`cargo-bolero` needs a couple of libraries installed to compile. If these libraries aren't\navailable the requirement can be relaxed by executing `cargo install cargo-bolero --no-default-features -f`\n\n#### Debian/Ubuntu\n\n```bash\n$ sudo apt install binutils-dev libunwind-dev\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcamshaft%2Fbolero","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcamshaft%2Fbolero","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcamshaft%2Fbolero/lists"}