4.6 Article

FormatFuzzer : Effective Fuzzing of Binary File Formats

相关参考文献

注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article Chemistry, Multidisciplinary

Fast Format-Aware Fuzzing for Structured Input Applications

Zehan Chen et al.

Summary: This paper proposes a fast format-aware fuzzing approach for structured input applications to recognize dependencies. The approach has advantages in recognizing both I2S dependencies and indirect dependencies, and the implemented prototype system, FFAFuzz, shows higher efficiency and code coverage in real-world applications.

APPLIED SCIENCES-BASEL (2022)

Article Computer Science, Software Engineering

Smart Greybox Fuzzing

Van-Thuan Pham et al.

Summary: Coverage-based greybox fuzzing is a successful method for automated vulnerability detection, but random bitflips may not generate valid files for complex file formats. The introduction of smart greybox fuzzing leverages a high-level structural representation of seed files, with innovative mutation operators that work on the virtual file structure to explore new input domains while maintaining file validity. This approach demonstrates effectiveness in discovering zero-day vulnerabilities and exposing more vulnerabilities in widely-used tools and libraries compared to traditional methods.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2021)

Article Computer Science, Software Engineering

Coverage Guided, Property Based Testing

Leonidas Lampropoulos et al.

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2019)

Proceedings Paper Automation & Control Systems

Systematically Covering Input Structure

Nikolas Havrikov et al.

34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019) (2019)

Proceedings Paper Computer Science, Software Engineering

Parser-Directed Fuzzing

Bjoern Mathis et al.

PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19) (2019)

Proceedings Paper Computer Science, Software Engineering

Semantic Fuzzing with Zest

Rohan Padhye et al.

PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19) (2019)

Proceedings Paper Computer Science, Software Engineering

JQF: Coverage-Guided Property-Based Testing in Java

Rohan Padhye et al.

PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19) (2019)

Proceedings Paper Computer Science, Theory & Methods

Grammarinator: A Grammar-Based Open Source Fuzzer

Renata Hodovan et al.

PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18) (2018)

Proceedings Paper Computer Science, Software Engineering

Model-Based Whitebox Fuzzing for Program Binaries

Van-Thuan Pham et al.

2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE) (2016)

Article Computer Science, Information Systems

A Novel Fuzzing Method for Zigbee Based on Finite State Machine

Baojiang Cui et al.

INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS (2014)

Article Computer Science, Information Systems

Structurized grammar-based fuzz testing for programs with highly structured inputs

Jingbo Yan et al.

SECURITY AND COMMUNICATION NETWORKS (2013)

Article Computer Science, Software Engineering

QuickCheck: a lightweight tool for random testing of Haskell programs

Koen Claessen et al.

ACM SIGPLAN NOTICES (2011)

Article Computer Science, Software Engineering

Finding and Understanding Bugs in C Compilers

Xuejun Yang et al.

ACM SIGPLAN NOTICES (2011)