Targeted Greybox Fuzzing with Static Lookahead Analysis

17 May 2019

Papers citing "Targeted Greybox Fuzzing with Static Lookahead Analysis"

12 / 12 papers shown

Title
SoK: Where to Fuzz? Assessing Target Selection Methods in Directed Fuzzing Felix Weissberg Jonas Moller Tom Ganz Erik Imgrund Lukas Pirch Lukas Seidel Moritz Schloegel Thorsten Eisenhofer Konrad Rieck 126 4 0 12 Feb 2025
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 42 612 0 26 Aug 2019
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Mark Mossberg F. Manzano Eric Hennenfent Alex Groce Gustavo Grieco Josselin Feist Trent Brunson Artem Dinaburg 47 313 0 08 Jul 2019
Harvey: A Greybox Fuzzer for Smart Contracts Valentin Wüstholz M. Christakis 65 188 0 15 May 2019
V-Fuzz: Vulnerability-Oriented Evolutionary Fuzzing Yuwei Li S. Ji Chenyang Lv Yuan Chen Jianhai Chen Qinchen Gu Chunming Wu 52 49 0 04 Jan 2019
Evaluating Fuzz Testing George Klees Andrew Ruef Benji Cooper Shiyi Wei M. Hicks 25 629 0 29 Aug 2018
Learning Inputs in Greybox Fuzzing Valentin Wüstholz M. Christakis AAML 26 5 0 20 Jul 2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 40 692 0 11 Jul 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 56 921 0 04 Jun 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 33 596 0 16 Feb 2018
FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage Caroline Lemieux Koushik Sen 45 389 0 20 Sep 2017
A Concurrent Perspective on Smart Contracts Ilya Sergey Aquinas Hobor GNN 25 135 0 17 Feb 2017