search

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
GNU General Public License v3.0
781 stars 137 forks source link

Drop python2 usage #158

Closed lekcyjna123 closed 6 months ago

lekcyjna123 commented 7 months ago

Hi,

here is an update to SymCC related to https://github.com/eurecom-s3/qsym/pull/5. All python2 references has been removed, because python2 is dead.

PR is in draft because first https://github.com/eurecom-s3/qsym/pull/5 has to be merged to properly update submodule.