Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
The research introduces KCOV-DATAFLOW, an LLVM-based framework that extends Linux KCOV by extracting data flow information from function arguments and return values. This provides fuzzers with state-aware feedback for better mutation guidance and gives security analysts deterministic records for root-cause analysis. It bridges the gap between coverage tracing and data flow analysis.