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

会议论文
出版模式：

开放获取
发表日期：

2024年

查看全文

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

摘要

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