Jazzer: Coverage-Guided Fuzzing for Semantic Vulnerabilities in the Java Ecosystem.

本文介绍了Jazzer，一种针对Java生态系统的覆盖率引导的模糊测试工具，专门用于发现语义漏洞。与传统的仅关注内存安全错误的模糊测试不同，Jazzer通过结合覆盖率反馈和语义分析，能够检测更高级别的逻辑缺陷，例如不正确的状态转换、业务逻辑

历史摘要 · 未重新核验 · IEEE S&P