符号表达式模糊测试
软件工程
2021-06-14 v1 密码学与安全
摘要
近年来软件测试领域涌现出大量成果，探索了从模糊测试器到符号执行引擎的不同方法与方法学，以及介于两者之间的各类实例，如混合执行和混合模糊测试。这些工具的一个关键组成部分是 Satisfiability Modulo Theories（SMT）求解器，用于在分析过程中对收集到的符号表达式进行推理。本文研究是否可将模糊测试领域的技术应用于检查符号公式在混合执行与混合模糊测试引擎中的可满足性，从而为经典 SMT 求解技术提供可行替代方案。我们设计了一种新的近似求解器 FUZZY-SAT，并表明其在处理混合模糊测试器生成的查询时，既可与 Z3 等最先进求解器相竞争，又与之互补。
引用
@article{arxiv.2102.06580,
title = {Fuzzing Symbolic Expressions},
author = {Luca Borzacchiello and Emilio Coppa and Camil Demetrescu},
journal= {arXiv preprint arXiv:2102.06580},
year = {2021}
}