Stringfuzz: A Fuzzer For String Solvers

Dmitry Blotsky,Federico Mora,Murphy Berzish,Yunhui Zheng, Ifaz Kabir,Vijay Ganesh

COMPUTER AIDED VERIFICATION, CAV 2018, PT II（2018）

引用 53|浏览31

暂无评分

摘要

In this paper, we introduce StringFuzz: a modular SMT-LIB problem instance transformer and generator for string solvers. We supply a repository of instances generated by StringFuzz in SMT-LIB 2.0/2.5 format. We systematically compare Z3str3, CVC4, Z3str2, and Norn on groups of such instances, and identify those that are particularly challenging for some solvers. We briefly explain our observations and show how StringFuzz helped discover causes of performance degradations in Z3str3.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要