Menu

Fuzzing the Linux Kernel

Computer scientists make use of BU’s Shared Computing Cluster in research to make computer programs more robust.

Computer fuzzing is a software testing technique used to find vulnerabilities, bugs, or weaknesses in programs by providing random, unexpected, or malformed inputs. The goal is to expose flaws that could lead to crashes, security vulnerabilities, or unintended behaviors.

Fuzzing works by automating the process of input generation, feeding massive volumes of diverse inputs into a program, and monitoring its reactions. When a program behaves unexpectedly—such as crashing, freezing, or throwing an error—the fuzzer logs the input that caused the problem, enabling developers to investigate and fix potential issues.

The paper "No Grammar, No Problem: Towards Fuzzing the Linux Kernel without System-Call Descriptions" by Alexander Bulekov and colleagues presents a novel approach to fuzzing the Linux kernel. Traditional kernel fuzzing tools, like syzkaller, rely on predefined system-call descriptions (or grammars) to generate inputs for fuzzing, which limits their ability to discover new vulnerabilities.

The authors propose a new technique that eliminates the need for system-call descriptions. Instead, they use a program called syzkaller, which generates random sequences of system calls to fuzz the Linux kernel. This method simplifies the fuzzing process and increases the potential for uncovering previously unknown bugs, as it can explore a wider range of system behavior without being constrained by predefined input structures.

The paper demonstrates the effectiveness of this approach by successfully discovering several new vulnerabilities in the Linux kernel. This work is important because it shows that fuzzing can be made more flexible and powerful by removing the reliance on detailed system-call grammars, potentially improving the security and robustness of the Linux kernel and other operating systems.

Alexander Bulekov
Former BU doctoral student, currently a security engineer at Amazon

Research projects

A Future of Unmanned Aerial Vehicles
Yale Budget Lab
Volcanic Eruptions Impact on Stratospheric Chemistry & Ozone
The Rhode Island Coastal Hazards Analysis, Modeling, and Prediction System
Towards a Whole Brain Cellular Atlas
Tornado Path Detection
The Kempner Institute - Unlocking Intelligence
The Institute for Experiential AI
Taming the Energy Appetite of AI Models
Surface Behavior
Studying Highly Efficient Biological Solar Energy Systems
Software for Unreliable Quantum Computers
Simulating Large Biomolecular Assemblies
SEQer - Sequence Evaluation in Realtime
Revolutionizing Materials Design with Computational Modeling
Remote Sensing of Earth Systems
QuEra at the MGHPCC
Quantum Computing in Renewable Energy Development
Pulling Back the Quantum Curtain on ‘Weyl Fermions’
New Insights on Binary Black Holes
NeuraChip
Network Attached FPGAs in the OCT
Monte Carlo eXtreme (MCX) - a Physically-Accurate Photon Simulator
Modeling Hydrogels and Elastomers
Modeling Breast Cancer Spread
Measuring Neutrino Mass
Investigating Mantle Flow Through Analyses of Earthquake Wave Propagation
Impact of Marine Heatwaves on Coral Diversity
IceCube: Hunting Neutrinos
Genome Forecasting
Global Consequences of Warming-Induced Arctic River Changes
Fuzzing the Linux Kernel
Exact Gravitational Lensing by Rotating Black Holes
Evolution of Viral Infectious Disease
Evaluating Health Benefits of Stricter US Air Quality Standards
Ephemeral Stream Water Contributions to US Drainage Networks
Energy Transport and Ultrafast Spectroscopy Lab
Electron Heating in Kinetic-Alfvén-Wave Turbulence
Discovering Evolution’s Master Switches
Dexterous Robotic Hands
Developing Advanced Materials for a Sustainable Energy Future
Detecting Protein Concentrations in Assays
Denser Environments Cultivate Larger Galaxies
Deciphering Alzheimer's Disease
Dancing Frog Genomes
Cyber-Physical Communication Network Security
Avoiding Smash Hits
Analyzing the Gut Microbiome
Adaptive Deep Learning Systems Towards Edge Intelligence
Accelerating Rendering Power
ACAS X: A Family of Next-Generation Collision Avoidance Systems
Neurocognition at the Wu Tsai Institute, Yale
Computational Modeling of Biological Systems
Computational Molecular Ecology
Social Capital and Economic Mobility
All Research Projects

Collaborative projects

ALL Collaborative PROJECTS

Outreach & Education Projects

See ALL Scholarships
100 Bigelow Street, Holyoke, MA 01040