FUZZOLIC: Mixing fuzzing and concolic execution-Reference-Cited by-同舟云学术

FUZZOLIC: Mixing fuzzing and concolic execution

Author:

Borzacchiello Luca^ORCID,Coppa Emilio^ORCID,Demetrescu Camil^ORCID

Funder

Horizon 2020

Publisher

Elsevier BV

Subject

Law,General Computer Science

Reference75 articles.

1. adambuchbinder, 2017. Sleuth Kit GitHub issue #912. https://github.com/sleuthkit/sleuthkit/issues/912. [Online; accessed 20-Aug-2020].

2. AFLplusplus, 2020a. CmpLog instrumentation for QEMU inspired by Redqueen. https://aflplus.plus/features/. [Online; accessed 20-Aug-2020].

3. AFLplusplus, 2020b. Single-system parallelization. https://aflplus.plus/docs/parallel_fuzzing/. [Online; accessed 20-Aug-2020].

4. Integer division using reciprocals;Alverson,1991

5. REDQUEEN: fuzzing with input-to-state correspondence;Aschermann,2019

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Efficient Hybrid Fuzzing with Syntax-aware Input Trim Based on Lightweight Taint Analysis;2023 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2023-12-21

5. FuzzPlanner: Visually Assisting the Design of Firmware Fuzzing Campaigns;2023 IEEE Symposium on Visualization for Cyber Security (VizSec);2023-10-25