yzhang71 / linera-protocol-fuzzing

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

linera-protocol-fuzzing

Fuzz testing is:

An automated testing technique that involves providing invalid, unexpected, or random data as inputs to a program.

We use fuzz testing to automatically discover bugs in the linera-protocol.

The fuzz/ directory contains the configuration and the fuzz tests for linera-protocol. To generate and to run the fuzz tests, we use the [cargo-fuzz] library.

Installation

You may need to install the [cargo-fuzz] library to get the cargo fuzz subcommand. Use

$ cargo install cargo-fuzz

cargo-fuzz is documented in the Rust Fuzz Book.

Running a fuzzer

$ cd /linera-protocol/linera-execution/fuzz
$ cargo fuzz run cached_contract_module

About


Languages

Language:Rust 93.3%Language:Python 3.5%Language:HTML 1.9%Language:JavaScript 0.5%Language:Shell 0.4%Language:PHP 0.3%Language:CSS 0.1%Language:Dockerfile 0.0%Language:WebAssembly 0.0%