Angora: Efficient Fuzzing by Principled Search

摘要 主要目标：在不用符号执行的情况下求解路径约束。 引入技术：可扩展的字节级污点跟踪，上下文敏感的分支计数，基于梯度下降的搜索，输入长度探测。 测试：LAVA-M，file，jhead，nm，objdump，size。 1 介绍 使用符号执行：klee，mayhem[5,8]，许多约束无法求解：符号执行综述[6] 避免符号执行及其他大开销的程序分析技术：AFL[1]，覆盖范围反馈。开销低，却导致

>>阅读原文<<