Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remill binary docker #657

Merged
merged 7 commits into from Aug 10, 2020
Merged

Remill binary docker #657

merged 7 commits into from Aug 10, 2020

Conversation

@ekilmer
Copy link
Contributor

ekilmer commented May 21, 2020

Installs remill and anvill from docker image. This isn't as precise as the previous method since we don't use the .remill_commit_id file

@ekilmer ekilmer requested a review from artemdinaburg May 21, 2020
@ekilmer ekilmer mentioned this pull request May 21, 2020
3 of 3 tasks complete
@ekilmer ekilmer force-pushed the remill-binary-docker branch from 7aca1d6 to a5eb0d2 May 21, 2020
@artemdinaburg
Copy link
Contributor

artemdinaburg commented May 22, 2020

Installs remill from docker image, but isn't as precise as previous method since we don't use the .remill_commit_id file

IMO this is actually a better setup. I hate having to constantly update remill commit id, and now we can immediately know if a remill update broke mcsema.

ekilmer and others added 4 commits May 22, 2020
@ekilmer
Copy link
Contributor Author

ekilmer commented Aug 10, 2020

Someone with admin rights will have to remove the Docker_Linux (800, 18.04) CI result from the Required section

@ekilmer ekilmer marked this pull request as ready for review Aug 10, 2020
@ekilmer
Copy link
Contributor Author

ekilmer commented Aug 10, 2020

Oh, actually, I just noticed that the Anvill Docker image uses a commit file for Remill, which means it won't be the latest version of Remill.

Should we get rid of the Remill commit file in the Anvill repo?

Copy link
Contributor

artemdinaburg left a comment

Approved w/ comments.

.github/workflows/ci.yml Outdated Show resolved Hide resolved
Dockerfile Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
@artemdinaburg artemdinaburg merged commit c170c28 into master Aug 10, 2020
6 checks passed
6 checks passed
Docker_Linux (800, 20.04)
Details
Docker_Linux (800, 18.04)
Details
Docker_Linux (900, 20.04)
Details
Docker_Linux (900, 18.04)
Details
Docker_Linux (1000, 20.04)
Details
Docker_Linux (1000, 18.04)
Details
@artemdinaburg artemdinaburg deleted the remill-binary-docker branch Aug 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.