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