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

May 27, 2023 ยท View on GitHub

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

Contents

  1. 1Installation
  2. 2Explanation
  3. 2.1Interleaving segment coverage
  4. 2.2Mutation-based thread interleaving exploration