11 releases (breaking)

0.10.0 Sep 28, 2023
0.9.0 Mar 21, 2023
0.8.0 Oct 27, 2022
0.7.0 May 24, 2022
0.2.0 Oct 16, 2019

#628 in Testing

Download history 940/week @ 2023-12-06 816/week @ 2023-12-13 399/week @ 2023-12-20 272/week @ 2023-12-27 910/week @ 2024-01-03 754/week @ 2024-01-10 636/week @ 2024-01-17 857/week @ 2024-01-24 771/week @ 2024-01-31 664/week @ 2024-02-07 795/week @ 2024-02-14 1275/week @ 2024-02-21 665/week @ 2024-02-28 518/week @ 2024-03-06 618/week @ 2024-03-13 803/week @ 2024-03-20

2,809 downloads per month
Used in 26 crates (2 directly)

MIT license

655KB
16K SLoC

C 15K SLoC // 0.1% comments Rust 500 SLoC // 0.0% comments Shell 303 SLoC // 0.2% comments

Contains (Mach-o exe, 335KB) CrashReport_Yosemite.o, (Mach-o exe, 320KB) CrashReport_Mavericks.o, (Mach-o exe, 310KB) CrashReport_Mountain_Lion.o, (Mach-o exe, 335KB) CrashReport_Sierra.o

bolero

Build Status Latest version Documentation License

fuzz and property testing front-end for Rust

Book

A copy of the Bolero Book can be found here: http://camshaft.github.io/bolero

Quick Start

  1. Install subcommand and add a dependency

    $ cargo add --dev bolero
    $ cargo install -f cargo-bolero
    
  2. Write a test using bolero::check! macro:

    pub fn buggy_add(x: u32, y: u32) -> u32 {
        if x == 12976 && y == 14867 {
            return x.wrapping_sub(y);
        }
        return x.wrapping_add(y);
    }
    
    #[test]
    fn fuzz_add() {
        bolero::check!()
            .with_type()
            .cloned()
            .for_each(|(a, b)| buggy_add(a, b) == a.wrapping_add(b));
    }
    
  3. Run the test with cargo bolero

    $ cargo bolero test fuzz_add
    
    # ... some moments later ...
    
    ======================== Test Failure ========================
    
    Input:
    (
        12976,
        14867,
    )
    
    Error:
    test returned `false`
    
    ==============================================================
    

Linux Installation

cargo-bolero needs a couple of libraries installed to compile. If these libraries aren't available the requirement can be relaxed by executing cargo install cargo-bolero --no-default-features -f

Debian/Ubuntu

$ sudo apt install binutils-dev libunwind-dev

Dependencies