Home

Awesome

SegFuzz: Segmentizing thread interleaving to discover concurrency bugs in a kernel through fuzzing

This is a research prototype to discover kernel concurrency bugs using an interleaving coverage metric. The major components of this project are two, interleaving segment coverage and mutation-based thread interleaving exploration.

Installation

WIP

Explanation

Interleaving segment coverage

Mutation-based thread interleaving exploration