Fuzzing Symbolic Expressions

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 S...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings / International Conference on Software Engineering S. 711 - 722
Hauptverfasser: Borzacchiello, Luca, Coppa, Emilio, Demetrescu, Camil
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.05.2021
Schlagworte:
concolic execution
Distance measurement
Engines
Fuzzing
fuzzing testing
Hybrid power systems
SMT solver
Software engineering
Switches
ISBN:1665402962, 9781665402965
ISSN:1558-1225
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract 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, FUZZY-SAT, 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.
AbstractList 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, FUZZY-SAT, 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.
Author Coppa, Emilio
Borzacchiello, Luca
Demetrescu, Camil
Author_xml – sequence: 1
  givenname: Luca
  surname: Borzacchiello
  fullname: Borzacchiello, Luca
  email: borzacchiello@diag.uniromal.it
  organization: Sapienza University of Rome, Italy
– sequence: 2
  givenname: Emilio
  surname: Coppa
  fullname: Coppa, Emilio
  email: coppa@diag.uniromal.it
  organization: Sapienza University of Rome, Italy
– sequence: 3
  givenname: Camil
  surname: Demetrescu
  fullname: Demetrescu, Camil
  email: demetres@diag.uniromal.it
  organization: Sapienza University of Rome, Italy
BookMark eNotjsFqAjEQQAO1ULV-QT34A7udSTLJzrEsaxWEHmzPEuOkBHRXdluofn2F9vQuj8ebqFHbtaLUHKFEBH5e19vGGgZdatBYAoDHOzVB58iCZqdHaoxEVYFa04OaDUPeg7WeEZwdq_ny-3rN7ediezntu2OOi-bn3MvN6trhUd2ncBxk9s-p-lg27_Wq2Ly9ruuXTRGMwa9CKpsAjY9oyEcXmEOw7I2nSELgvQEEcVJFTuwCRRt9pENI2qYDRmum6umvm0Vkd-7zKfSXHd_-gZz5BdVYPp0
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/ICSE43902.2021.00071
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 722
ExternalDocumentID 9402056
Genre orig-research
GroupedDBID -~X
.4S
.DC
123
23M
29O
5VS
6IE
6IF
6IH
6IK
6IL
6IM
6IN
8US
AAJGR
AAWTH
ABLEC
ADZIZ
AFFNX
ALMA_UNASSIGNED_HOLDINGS
APO
ARCSS
AVWKF
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
EDO
FEDTE
I-F
I07
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RIO
RNS
XOL
ID FETCH-LOGICAL-a331t-e84f0137c1357c6a99aa497375c5e50773010e6e8c9f96a5c4c7c5daf24fd1c43
IEDL.DBID RIE
ISBN 1665402962
9781665402965
ISICitedReferencesCount 20
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000684601800058&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1558-1225
IngestDate Wed Aug 27 02:21:08 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a331t-e84f0137c1357c6a99aa497375c5e50773010e6e8c9f96a5c4c7c5daf24fd1c43
OpenAccessLink http://hdl.handle.net/11573/1553682
PageCount 12
ParticipantIDs ieee_primary_9402056
PublicationCentury 2000
PublicationDate 2021-May
PublicationDateYYYYMMDD 2021-05-01
PublicationDate_xml – month: 05
  year: 2021
  text: 2021-May
PublicationDecade 2020
PublicationTitle Proceedings / International Conference on Software Engineering
PublicationTitleAbbrev ICSE
PublicationYear 2021
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssib044791064
ssj0006499
Score 2.3332112
Snippet Recent years have witnessed a wide array of results in software testing, exploring different approaches and methodologies ranging from fuzzers to symbolic...
SourceID ieee
SourceType Publisher
StartPage 711
SubjectTerms concolic execution
Distance measurement
Engines
Fuzzing
fuzzing testing
Hybrid power systems
SMT solver
Software engineering
Switches
Title Fuzzing Symbolic Expressions
URI https://ieeexplore.ieee.org/document/9402056
WOSCitedRecordID wos000684601800058&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEJ4g8eAJFYwPNHvw6ALb7WN7JhBNDCFBDTfSTtvEg4vhYZRfb1sWjIkXb23TQ99fp51vPoBbozgqzURKifYGilY01c66NLOMaGUswagN-PIoRqNiOpXjGtztuTDW2uh8ZjshGf_yzRzX4amsK4Oxw_gBHAjBt1yt3dqhVHjgC1f_6hTmNGpHerj0VpJftIHUFZR2e0RyUsV62uVZxanLerL70J8MPEhHkhbJOhGDfymvROAZNv7X5GNo_TD4kvEem06gZstTaOwkHJJqRzehPVxvNr5GMvl60yFEcDL4rFxjy2ULnoeDp_59WgkmpCrPs1VqC-pCCEE_vkwgV1IqRaXIBUNm_cUv7Oae5bZA6SRXDCkKZEY5Qp3JkOZnUC_npT2HBIXIDHUiN87QXDvNOOqCoKFGEMrYBTRDZ2fv25gYs6qfl38XX8FRGM2to2Ab6qvF2l7DIX6sXpeLmziR34mglpE
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1JTwIxFH5BNNETKhgX1Dl4dIDpdJmeCUQiEhLQcCNdEw8OhsUov962DBgTL97apofuX1_7vvcB3GlBlZCExRhJZ6BIgWNpjY0TQ5AU2iAVtAFf-mwwyCYTPizB_Y4LY4wJzmem4ZPhL1_P1Mo_lTW5N3YI3YN9gjFqbdha29WDMXPQ5y__xTlMcVCPdIDp7CS3bD2ty2vtthCnqIj2tM2TglWXtHiz1x51HEwHmhZKGgGFf2mvBOjpVv7X6GOo_XD4ouEOnU6gZPJTqGxFHKJiT1eh3l2t165GNPp6kz5IcNT5LJxj80UNnrudcfshLiQTYpGmyTI2GbY-iKAbYcIUFZwLgTlLGVHEuKuf388tQ02muOVUEIUVU0QLi7DVicLpGZTzWW7OIVKMJRpblmqrcSqtJFTJDCmNNUOYkAuo-s5O3zdRMaZFPy__Lr6Fw4fxU3_a7w0er-DIj-zGbbAO5eV8Za7hQH0sXxfzmzCp35s_mdg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+%2F+International+Conference+on+Software+Engineering&rft.atitle=Fuzzing+Symbolic+Expressions&rft.au=Borzacchiello%2C+Luca&rft.au=Coppa%2C+Emilio&rft.au=Demetrescu%2C+Camil&rft.date=2021-05-01&rft.pub=IEEE&rft.isbn=9781665402965&rft.issn=1558-1225&rft.spage=711&rft.epage=722&rft_id=info:doi/10.1109%2FICSE43902.2021.00071&rft.externalDocID=9402056
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1558-1225&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1558-1225&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1558-1225&client=summon