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 Image? #163

Closed AndrewQuijano closed 2 months ago

AndrewQuijano commented 3 months ago

Hello, Is there a plan to publish the docker image on DockerHub for easier pulling instead of just installing it? I am open to provide the update to GitHub actions to allow building and pushing the image to DockerHub if you can create a secret with the DockerHub password and what will be the docker hub account name.

AndrewQuijano commented 3 months ago

This would be a quick edit to the GitHub Actions

https://github.com/docker/build-push-action

aurelf commented 3 months ago

Hi, sure that's something we had in mind, in particular to simplify SymQEMU tests. Now we are splitting the runtime to a separate repo (PR #162 ), so it's not really a motivation anymore. That said, making available a Docker image up to date with the main branch is a good idea anyway.
I thought maybe doing a github Package, instead of DockerHub? Maybe this would be better (easier to use here maybe?) although the two options are not exclusive.

AndrewQuijano commented 3 months ago

I figure more options the better, at least with DockerHub, the workflow is pretty well documented, and I don't mind giving a shot at getting the export going for you, (once the secret is populated), or I can just wait until the PR is complete!

aurelf commented 3 months ago

No need to wait for the other PRs, it would be great if you could make a PR, I created the secrets : 

          username: ${{ secrets.DOCKER_USERNAME }}
          password: ${{ secrets.DOCKER_PASSWORD }}

this should allow to push images to eurecoms3/symcc on DockerHub.

AndrewQuijano commented 3 months ago

https://github.com/eurecom-s3/symcc/pulls