Thu 27 May 2021 04:25 - 04:45 at Blended Sessions Room 1 - 2.4.1. Fuzzing
Recent years have witnessed a wide array of results in software testing, exploring different approaches and methodologies ranging from fuzzers to symbolic engines, with a full spectrum of instances in between such as concolic execution and hybrid fuzzing. A key ingredient of many of these tools is Satisfiability Modulo Theories (SMT) solvers, which are used to reason over symbolic expressions collected during the analysis. In this paper, we investigate whether techniques borrowed from the fuzzing domain can be applied to check whether symbolic formulas are satisfiable in the context of concolic and hybrid fuzzing engines, providing a viable alternative to classic SMT solving techniques. We devise a new approximate solver, \fuzzysat, and show that it is both competitive with and complementary to state-of-the-art solvers such as Z3 with respect to handling queries generated by hybrid fuzzers.
Wed 26 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:05 - 17:05 | 2.4.1. FuzzingTechnical Track at Blended Sessions Room 1 +12h Chair(s): Hakan Erdogmus Carnegie Mellon University | ||
16:05 20mPaper | Input Algebras Technical Track Rahul Gopinath CISPA Helmholtz Center for Information Security, Hamed Nemati CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print Media Attached | ||
16:25 20mPaper | Fuzzing Symbolic ExpressionsTechnical Track Technical Track Luca Borzacchiello Sapienza University of Rome, Emilio Coppa Sapienza University of Rome, Camil Demetrescu Sapienza University of Rome Pre-print Media Attached | ||
16:45 20mPaper | Growing A Test Corpus with Bonsai FuzzingTechnical Track Technical Track Vasudev Vikram University of California, Berkeley, Rohan Padhye Carnegie Mellon University, Koushik Sen University of California, Berkeley Pre-print Media Attached | ||
Thu 27 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
04:05 - 05:05 | |||
04:05 20mPaper | Input Algebras Technical Track Rahul Gopinath CISPA Helmholtz Center for Information Security, Hamed Nemati CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print Media Attached | ||
04:25 20mPaper | Fuzzing Symbolic ExpressionsTechnical Track Technical Track Luca Borzacchiello Sapienza University of Rome, Emilio Coppa Sapienza University of Rome, Camil Demetrescu Sapienza University of Rome Pre-print Media Attached | ||
04:45 20mPaper | Growing A Test Corpus with Bonsai FuzzingTechnical Track Technical Track Vasudev Vikram University of California, Berkeley, Rohan Padhye Carnegie Mellon University, Koushik Sen University of California, Berkeley Pre-print Media Attached | ||