Skip to content
STIMSMITH

LKL-fuzzer

Tool
First seen 7/2/2026
Last seen 7/2/2026
Evidence 2 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

3 connections
Fuzzing uses → 97% 1e
LKL-fuzzer is a kernel fuzzing technique that generates eBPF programs to find correctness bugs.
eBPF Verifier evaluates → 94% 1e
LKL-fuzzer generates eBPF programs that pass the verifier to find correctness bugs.
DiffSpec ← compares with 88% 1e
DiffSpec is contrasted with LKL-fuzzer, noting DiffSpec uses LLMs to infer grammar rather than structured program generation.