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
771 stars 137 forks source link

DockerHub push #165

Closed AndrewQuijano closed 2 months ago

AndrewQuijano commented 3 months ago

Resolves this issue: https://github.com/eurecom-s3/symcc/issues/163

Here is proof I got this to work https://hub.docker.com/layers/andrewquijano92/symcc/latest/images/sha256-0c47748fb5dffa7ec15a095ffc767730691c79292c356fb09c66c8809c712bd5?context=repo

aurelf commented 2 months ago

Thanks for the PR, sorry for the delay, I have some modifications pending, but no time to finish and test.

aurelf commented 2 months ago

You made the PR from your master branch, I can't push my changes to it. I'm closing this PR and make a new PR #168