Cargando…
LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)
LibKluzzer is a novel implementation of hybrid fuzzing, which combines the strengths of coverage-guided fuzzing and dynamic symbolic execution (a.k.a. whitebox fuzzing). While coverage-guided fuzzing can discover new execution paths at nearly native speed, whitebox fuzzing is capable of getting thro...
Autor principal: | Le, Hoang M. |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7418123/ http://dx.doi.org/10.1007/978-3-030-45234-6_29 |
Ejemplares similares
-
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)
por: Ádám, Zsófia, et al.
Publicado: (2021) -
LLVM essentials: become familiar with the LLVM infrastructure and start using LLVM libraries to design a computer
por: Sarda, Suyog, et al.
Publicado: (2015) -
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)
por: Visser, Willem, et al.
Publicado: (2020) -
LLVM cookbook
por: Pandey, Mayur, et al.
Publicado: (2015) -
Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution)
por: Rocha, Herbert, et al.
Publicado: (2020)