You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.