bolero

Rust的模糊和属性测试前端

书籍

Bolero 书籍的副本可以在这里找到： http://camshaft.github.io/bolero

快速入门

1. 安装子命令并添加依赖

   $ cargo add --dev bolero
   $ cargo install -f cargo-bolero
   

2. 使用 bolero::check! 宏编写测试

   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. 使用 cargo bolero

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

Linux 安装

cargo-bolero 需要安装几个库才能编译。如果这些库不可用，可以通过执行 cargo install cargo-bolero --no-default-features -f

Debian/Ubuntu

$ sudo apt install binutils-dev libunwind-dev