Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Wed 26 May 2021 16:25 - 16:45 at Blended Sessions Room 1 - 2.4.1. Fuzzing Chair(s): Hakan Erdogmus
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.

Conference Day
Wed 26 May

Displayed 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 ErdogmusCarnegie Mellon University
16:05
20m
Paper
Input AlgebrasArtifact ReusableTechnical TrackArtifact Available
Technical Track
Rahul GopinathCISPA Helmholtz Center for Information Security, Hamed NematiCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
Pre-print Media Attached
16:25
20m
Paper
Fuzzing Symbolic ExpressionsTechnical Track
Technical Track
Luca BorzacchielloSapienza University of Rome, Emilio CoppaSapienza University of Rome, Camil DemetrescuSapienza University of Rome
Pre-print Media Attached
16:45
20m
Paper
Growing A Test Corpus with Bonsai FuzzingTechnical Track
Technical Track
Vasudev VikramUniversity of California, Berkeley, Rohan PadhyeCarnegie Mellon University, Koushik SenUniversity of California, Berkeley
Pre-print Media Attached

Conference Day
Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

04:05 - 05:05
04:05
20m
Paper
Input AlgebrasArtifact ReusableTechnical TrackArtifact Available
Technical Track
Rahul GopinathCISPA Helmholtz Center for Information Security, Hamed NematiCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
Pre-print Media Attached
04:25
20m
Paper
Fuzzing Symbolic ExpressionsTechnical Track
Technical Track
Luca BorzacchielloSapienza University of Rome, Emilio CoppaSapienza University of Rome, Camil DemetrescuSapienza University of Rome
Pre-print Media Attached
04:45
20m
Paper
Growing A Test Corpus with Bonsai FuzzingTechnical Track
Technical Track
Vasudev VikramUniversity of California, Berkeley, Rohan PadhyeCarnegie Mellon University, Koushik SenUniversity of California, Berkeley
Pre-print Media Attached