Hydra
Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework
Hydra is an extensible fuzzing framework for finding semantic bugs in file systems. It decouples the file system fuzzing pipeline into distinct components and provides abstract interfaces so researchers can plug in custom bug oracles, mutators, and executors. Hydra has been used to discover numerous real bugs in Linux file systems including ext4, btrfs, F2FS, and XFS.
ConcurrencyFuzzingServer
- Research papers
- Technical
We focus on building systems with performance, efficiency, and robustness. We try to build practical systems by understanding the intricacies of existing layers in both software and hardware; and revisiting the design in a principled manner. Our research contributions have been published in top academic conferences, and have made great impacts on real-world programs, such as the Linux kernel.
This page was last edited on 2024-04-12.
This page was last edited on 2024-04-12.