Coverage-based greybox fuzzing as markov chain
Coverage-based Greybox Fuzzing (CGF) is a random testing approach that requires no
program analysis. A new test is generated by slightly mutating a seed input. If the test …
program analysis. A new test is generated by slightly mutating a seed input. If the test …
Smart greybox fuzzing
Coverage-based greybox fuzzing (CGF) is one of the most successful approaches for
automated vulnerability detection. Given a seed file (as a sequence of bits), a CGF randomly …
automated vulnerability detection. Given a seed file (as a sequence of bits), a CGF randomly …
Boosting fuzzer efficiency: An information theoretic perspective
In this paper, we take the fundamental perspective of fuzzing as a learning process.
Suppose before fuzzing, we know nothing about the behaviors of a program P: What does it …
Suppose before fuzzing, we know nothing about the behaviors of a program P: What does it …
Fuzzing: On the exponential cost of vulnerability discovery
M Böhme, B Falk - Proceedings of the 28th ACM joint meeting on …, 2020 - dl.acm.org
We present counterintuitive results for the scalability of fuzzing. Given the same non-
deterministic fuzzer, finding the same bugs linearly faster requires linearly more machines …
deterministic fuzzer, finding the same bugs linearly faster requires linearly more machines …
Dissecting american fuzzy lop: a fuzzbench evaluation
AFL is one of the most used and extended fuzzers, adopted by industry and academic
researchers alike. Although the community agrees on AFL's effectiveness at discovering …
researchers alike. Although the community agrees on AFL's effectiveness at discovering …
Towards optimal concolic testing
Concolic testing integrates concrete execution (eg, random testing) and symbolic execution
for test case generation. It is shown to be more cost-effective than random testing or …
for test case generation. It is shown to be more cost-effective than random testing or …
testar – scriptless testing through graphical user interface
Covering all the possible paths of the graphical user interface (GUI) with test scripts would
take too much effort and result in serious maintenance issues. We propose complementing …
take too much effort and result in serious maintenance issues. We propose complementing …
HyDiff: Hybrid differential software analysis
Detecting regression bugs in software evolution, analyzing side-channels in programs and
evaluating robustness in deep neural networks (DNNs) can all be seen as instances of …
evaluating robustness in deep neural networks (DNNs) can all be seen as instances of …
SNPSFuzzer: A fast greybox fuzzer for stateful network protocols using snapshots
Greybox fuzzing has been widely used in stateless programs and has achieved great
success. However, most state-of-the-art greybox fuzzers have slow speed and shallow state …
success. However, most state-of-the-art greybox fuzzers have slow speed and shallow state …