Skip to content

casys-kaist/segfuzz

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Apr 2, 2024
e44fe05 · Apr 2, 2024

History

9 Commits
Jun 30, 2023
Apr 2, 2024
Jun 26, 2023
Jun 30, 2023
May 27, 2023
May 27, 2023
Jun 26, 2023
May 27, 2023

Repository files navigation

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

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published