内存安全

覆盖率引导模糊测试实战:AFL++ 与 libFuzzer 的变异调度、语料蒸馏与 CI 落地

深入拆解覆盖率引导模糊测试的工程体系:SanitizerCoverage 边覆盖插桩原理与 hit count 分桶设计、AFL++ 与 libFuzzer 的执行模型差异与选型、FuzzedDataProvider 与不变量断言的 target 写法、能量调度与 cmplog、语料库蒸馏最小化、Sanitizer 组合、结构化输入的字典/自定义 mutator/protobuf 三件套、差分测试抓逻辑 bug,以及三层 CI 落地与五个高频踩坑。

Linux 内核 KASAN/KFENCE/UBSAN 生产环境内存安全工程实战

深入剖析 Linux 内核三大内存安全检测工具——KASAN (Kernel Address Sanitizer)、KFENCE (Kernel Electric Fence)、UBSAN (Undefined Behavior Sanitizer) 的内部机制,提供从开发调试到生产环境部署的完整工程实践方案,包含影子内存原理、采样检测机制、性能对比与实战案例。