LeanSym: Efficient Hybrid Fuzzing Through Conservative Constraint Debloating-Reference-Cited by-同舟云学术

LeanSym: Efficient Hybrid Fuzzing Through Conservative Constraint Debloating

Published:2021-10-06 Issue: Volume: Page:
ISSN:
Container-title:24th International Symposium on Research in Attacks, Intrusions and Defenses
language:
Short-container-title:

Author:

Mi Xianya¹,Rawat Sanjay²,Giuffrida Cristiano³,Bos Herbert³

Affiliation:

1. National University of Defense Technology, China

2. University of Bristol, UK, UK

3. Vrije Universiteit Amsterdam, Netherlands

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3471621.3471852

Reference47 articles.

1. [n.d.]. crashwalk. https://github.com/bnagy/crashwalk. [n.d.]. crashwalk. https://github.com/bnagy/crashwalk.

2. [n.d.]. Google Fuzzer Test Suite. https://github.com/google/fuzzer-test-suite [n.d.]. Google Fuzzer Test Suite. https://github.com/google/fuzzer-test-suite

3. [n.d.]. libdft64. https://github.com/vusec/vuzzer64/. [n.d.]. libdft64. https://github.com/vusec/vuzzer64/.

4. Type-Dependence Analysis and Program Transformation for Symbolic Execution

5. Heuristics for Scalable Dynamic Test Generation

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

1. Grammar-aware test case trimming for efficient hybrid fuzzing;Journal of King Saud University - Computer and Information Sciences;2024-01

2. Triereme: Speeding up hybrid fuzzing through efficient query scheduling;Annual Computer Security Applications Conference;2023-12-04

3. Snappy: Efficient Fuzzing with Adaptive and Mutable Snapshots;Proceedings of the 38th Annual Computer Security Applications Conference;2022-12-05

4. SIFOL: Solving Implicit Flows in Loops for Concolic Execution;2022 IEEE International Performance, Computing, and Communications Conference (IPCCC);2022-11-11

5. Strong Optimistic Solving for Dynamic Symbolic Execution;2022 Ivannikov Memorial Workshop (IVMEM);2022-09-23