@misc{EURECOM+6349, author = {Francillon, Aurélien}, title = {An evaluation of symbolic execution systems and the benefits of compilation with SymCC}, howpublished = {SOSYSEC 2020, Séminaire sur la Sécurité des logiciels et des systèmes, 25 Septembre 2020, Rennes, France}, year = {2020}, note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in SOSYSEC 2020, Séminaire sur la Sécurité des logiciels et des systèmes, 25 Septembre 2020, Rennes, France and is available at :}, }