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
791 stars 139 forks source link

DockerHub push #168

Closed aurelf closed 7 months ago

aurelf commented 7 months ago

A new PR based on DockerHub push #165