Fuzzing Symbolic Expressions

12 Feb 2021 Luca Borzacchiello Emilio Coppa Camil Demetrescu

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... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • SOFTWARE ENGINEERING
  • CRYPTOGRAPHY AND SECURITY