摘要: 2. Systemization, taxonomy and test programs fuzzing目前包含很多方面的东西,如: dynamic symbolic execution grammar-based test case generation persmission testing b 阅读全文
posted @ 2021-03-10 15:31 雪溯 阅读(381) 评论(0) 推荐(0) 编辑
摘要: 1. Intro Why machine learning tech can be used for fuzzing? Which steps in the fuzzing have used machine learning tech? Which machine learning algo ha 阅读全文
posted @ 2021-03-10 14:08 雪溯 阅读(69) 评论(0) 推荐(0) 编辑
摘要: 2 Overview of Fuzzing Generation-based fuzzer Peach, Sulley Evolutionary Fuzzers honggfuzz, AFL, libFuzzer Mutation-based fuzzers where to mutate what 阅读全文
posted @ 2021-03-10 10:15 雪溯 阅读(111) 评论(0) 推荐(0) 编辑
摘要: Grammar-based Peach SPIKE Sulley Model-based 一般总是试着生成最少数目的tests covering Whitebox Fuzzing SAGE, KLEE, S2E, Symbolic PathFinder Portfolio 并行fuzzers Spr 阅读全文
posted @ 2021-03-10 09:02 雪溯 阅读(1782) 评论(0) 推荐(0) 编辑