Green-Fuzz: Efficient Fuzzing for Network Protocol Implementations

被引:0
|
作者
Andarzian, Seyed Behnam [1 ]
Daniele, Cristian [1 ]
Poll, Erik [1 ]
机构
[1] Radboud Univ Nijmegen, Nijmegen, Netherlands
关键词
Testing; Fuzzing; Software Security; Network Protocol Fuzzing;
D O I
10.1007/978-3-031-57537-2_16
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Recent techniques have significantly improved fuzzing, discovering many vulnerabilities in various software systems. However, certain types of systems, such as network protocols, are still challenging to fuzz. This article presents two enhancements that allow efficient fuzzing of network protocols. The first is Desock+, which simulates a network socket and supports different POSIX options to make Desock+ suitable for faster network protocol fuzzing. The second is Green-Fuzz, which sends input messages in one go and reduces the system-call overhead while fuzzing network protocols. We applied this modification to AFLNet, but it could be applied to any fuzzer for stateful systems. This is the maximum overhead we can avoid, when doing out-process fuzzing on stateful systems. Our evaluation shows that these enhancements make AFLNet up to four times faster.
引用
收藏
页码:253 / 268
页数:16
相关论文
共 50 条
  • [21] Model checking large network protocol implementations
    Musuvathi, M
    Engler, DR
    USENIX ASSOCIATION PROCEEDINGS OF THE FIRST SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI'04), 2004, : 155 - 168
  • [22] SPFuzz: A Hierarchical Scheduling Framework for Stateful Network Protocol Fuzzing
    Song, Congxi
    Yu, Bo
    Zhou, Xu
    Yang, Qiang
    IEEE ACCESS, 2019, 7 : 18490 - 18499
  • [23] A Guided Fuzzing Approach for Security Testing of Network Protocol Software
    Cai, Jun
    Zou, Peng
    Xiong, Dapeng
    He, Jun
    PROCEEDINGS OF 2015 6TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE, 2015, : 726 - 729
  • [24] Network protocol fuzz testing for information systems and applications: a survey and taxonomy
    Munea, Tewodros Legesse
    Lim, Hyunwoo
    Shon, Taeshik
    MULTIMEDIA TOOLS AND APPLICATIONS, 2016, 75 (22) : 14745 - 14757
  • [25] Network protocol fuzz testing for information systems and applications: a survey and taxonomy
    Tewodros Legesse Munea
    Hyunwoo Lim
    Taeshik Shon
    Multimedia Tools and Applications, 2016, 75 : 14745 - 14757
  • [26] More Efficient Implementations of CASCADE Information Reconciliation Protocol
    Toyran, Mustafa
    2016 24TH SIGNAL PROCESSING AND COMMUNICATION APPLICATION CONFERENCE (SIU), 2016, : 161 - 164
  • [27] Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations
    Corin, Ricardo
    Andres Manzano, Felipe
    ENGINEERING SECURE SOFTWARE AND SYSTEMS, 2011, 6542 : 58 - 72
  • [28] Towards Automated Fuzzing of 4G/5G Protocol Implementations Over the Air
    Garbelini, Matheus E.
    Shang, Zewen
    Chattopadhyay, Sudipta
    Sun, Sumei
    Kurniawan, Ernest
    2022 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM 2022), 2022, : 86 - 92
  • [29] Improve Peach: Making Network Protocol Fuzz Testing More Precisely
    Zhang, Hua
    Zhang, Zhao
    Tang, Wen
    DESIGN, MANUFACTURING AND MECHATRONICS, 2014, 551 : 642 - 647
  • [30] NETWORK MANAGEMENT INTEGRATING SNMP CMIP PROTOCOL IMPLEMENTATIONS
    ZIHANG, R
    LOBELLE, M
    ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1994, 49 (1-2): : 17 - 26