The Difference between American Fuzzy Loop and KLEE Symbolic Execution Engine in Use

DOI

10.2991/assehr.k.220504.126How to use a DOI?

Keywords

KLEE; AFL; fuzzing test

Abstract

Fuzzing test is a very important method to detect software bugs, especially those will cause serious crashes. Usually, normal fuzzing tools needs to reach a high branch coverage as soon as possible. They need to find bugs that will be ignored in normal times. The current fuzzing test tools are KLEE and AFL they differ in principle and use. This paper finds that the difference between them. Klee can reach a higher branch coverage at shorter time than traditional fuzzing test tool AFL.

Copyright

© 2022 The Authors. Published by Atlantis Press SARL.

Open Access

This is an open access article distributed under the CC BY-NC 4.0 license.

Download article (PDF)

TY  - CONF
AU  - Yike Yao
PY  - 2022
DA  - 2022/06/01
TI  - The Difference between American Fuzzy Loop and KLEE Symbolic Execution Engine in Use
BT  - Proceedings of the 2022 8th International Conference on Humanities and Social Science Research (ICHSSR 2022)
PB  - Atlantis Press
SP  - 684
EP  - 688
SN  - 2352-5398
UR  - https://doi.org/10.2991/assehr.k.220504.126
DO  - 10.2991/assehr.k.220504.126
ID  - Yao2022
ER  -