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

Languages

Language:C 75.6%Language:C++ 13.4%Language:Go 3.6%Language:Python 3.5%Language:Shell 1.7%Language:Assembly 0.4%Language:Meson 0.4%Language:Haxe 0.4%Language:Perl 0.3%Language:Roff 0.2%Language:Makefile 0.1%Language:HTML 0.1%Language:Objective-C 0.1%Language:SourcePawn 0.1%Language:POV-Ray SDL 0.1%Language:SmPL 0.0%Language:Pawn 0.0%Language:Dockerfile 0.0%Language:NSIS 0.0%Language:Yacc 0.0%Language:Ragel 0.0%Language:NASL 0.0%Language:CSS 0.0%Language:CMake 0.0%Language:JavaScript 0.0%Language:GLSL 0.0%Language:GDB 0.0%Language:Vim Script 0.0%Language:Emacs Lisp 0.0%