Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements. The security bug hunting efficiency of cutting-edge hybrid fuzzing techniques outperforms widely utilized coverage-guided fuzzing. We propose an enhanced dynamic analysis pipeline to leverage productivity of automated bug detection based on hybrid fuzzing. We implement the proposed pipeline in the continuous fuzzing toolset Sydr-Fuzz which is powered by hybrid fuzzing orchestrator, integrating our DSE tool Sydr with libFuzzer and AFL++. Sydr-Fuzz also incorporates security predicate checkers, crash triaging tool Casr, and utilities for corpus minimization and coverage gathering. The benchmarking of our hybrid fuzzer against alternative state-of-the-art solutions demonstrates its superiority over coverage-guided fuzzers while remaining on the same level with advanced hybrid fuzzers. Furthermore, we approve the relevance of our approach by discovering 85 new real-world software flaws within the OSS-Sydr-Fuzz project. Finally, we open Casr source code to the community to facilitate examination of the existing crashes.
翻译:现在,自动化的动态分析框架用于持续测试,以确保软件安全性并满足安全开发生命周期(SDL)的要求。最新混合模糊测试技术的安全漏洞检测效率超过了广泛使用的覆盖率引导模糊测试。我们提出了一种Enhanced dynamic analysis pipeline (管道)来利用基于混合模糊测试的自动化缺陷检测的生产力。我们在持续模糊测试工具Sydr-Fuzz中实现了所提出的管道,该工具集由基于混合模糊测试编排器驱动,将我们的DSE工具Sydr与libfuzzer和AFL ++ 集成在一起。Sydr-Fuzz 还包括安全谓词检查器、崩溃分析工具Casr和用于语料库最小化和覆盖率收集的实用程序。我们对比基于覆盖率引导的模糊测试和其他最先进的混合模糊测试方案的基准测试,证明了我们的混合模糊测试器的优越性,同时在相同水平上保持了先进的混合模糊测试器。此外,我们还通过在OSS-Sydr-Fuzz项目中发现85个新的现实世界软件缺陷来证明我们方法的相关性。最后,我们将Casr的源代码开放给社区,以便检查现有的崩溃问题。