The Difference between American Fuzzy Loop and KLEE Symbolic Execution Engine in Use
- 10.2991/assehr.k.220504.126How to use a DOI?
- KLEE; AFL; fuzzing test
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.
- © 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.
Cite this article
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 -