FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)

Guofeng Zhang; Ziqi Shuai; Kelin Ma; Kunlin Liu; Zhenbang Chen; Ji Wang

doi:10.1007/978-3-031-57259-3_16

ScienceGate Book Chapters

BOOK-CHAPTER

FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)

Guofeng Zhang Ziqi Shuai Kelin Ma Kunlin Liu Zhenbang Chen Ji Wang

Year: 2024 Lecture notes in computer science Pages: 304-308 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-031-57259-3_16

Get Full-Text PDF Get Analytical Report

Abstract

Abstract serves as an automatic test generation tool designed for C programs based on symbolic execution. employs fuzzing-based pre-analysis and combines static symbolic execution and dynamic symbolic execution to improve the effectiveness of test generation. achieves 5132 scores and is ranked 4th in the branch coverage track of Test-Comp 2024.

Keywords:

Fuzz testing Computer science Symbolic execution Competition (biology) Programming language Theoretical computer science Software

Metrics

Cited By

1.76

FWCI (Field Weighted Citation Impact)

Refs

0.77

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Software Testing and Debugging Techniques

Physical Sciences → Computer Science → Software

Advanced Malware Detection Techniques

Physical Sciences → Computer Science → Signal Processing

Software Reliability and Analysis Research

Physical Sciences → Computer Science → Software

FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)

Abstract

Metrics

Citation History

Topics

Related Documents

KLEEF: Symbolic Execution Engine (Competition Contribution)

Achieve Fuzzing Based on Symbolic Execution Platform

Differential program analysis with fuzzing and symbolic execution

Badger: Complexity Analysis with Fuzzing and Symbolic Execution

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)