Skip to content

Lifting-Bits tools testing of master branch #662

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.

Sign up for GitHub

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

Merged
merged 6 commits into from
Dec 16, 2020
Merged

Lifting-Bits tools testing of master branch #662

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
025eaad
Testing of latest vcpkg PRs
ekilmer Dec 10, 2020
d104a48
Test remill vcpkg packaging with latest commit
ekilmer Dec 10, 2020
852bf87
Use master branch - remill, anvill, mcsema
ekilmer Dec 11, 2020
6d2f27e
Use updated rellic vcpkg branch in lifting-bits repo
ekilmer Dec 11, 2020
d8e332e
Update rellic to master
ekilmer Dec 16, 2020
3abc5ab
Update remill portfile definition to 4.0.11 commit
ekilmer Dec 16, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions .gitmodules
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,16 +1,16 @@
[submodule "mcsema"]
path = mcsema
url = https://github.com/ekilmer/mcsema.git
branch = vcpkg
url = https://github.com/lifting-bits/mcsema.git
branch = master
[submodule "remill"]
path = remill
url = https://github.com/lifting-bits/remill.git
branch = vcpkg
branch = master
[submodule "anvill"]
path = anvill
url = https://github.com/ekilmer/anvill.git
branch = vcpkg
url = https://github.com/lifting-bits/anvill.git
branch = master
[submodule "rellic"]
path = rellic
url = https://github.com/ekilmer/rellic.git
branch = vcpkg
url = https://github.com/lifting-bits/rellic.git
branch = master
2 changes: 1 addition & 1 deletion anvill
Open in desktop
Submodule anvill updated 9 files
+104 −0 .github/workflows/vcpkg_ci.yml
+46 −35 CMakeLists.txt
+237 −0 CMakeLists_vcpkg.txt
+1 −1 Dockerfile
+4 −4 README.md
+6 −5 ci/install_binja.sh
+16 −5 ci/run_tests.sh
+13 −7 cmake/anvillConfig.cmake.in
+27 −0 cmake/anvillConfig_vcpkg.cmake.in
2 changes: 1 addition & 1 deletion mcsema
Open in desktop
Submodule mcsema updated 9 files
+117 −0 .github/workflows/vcpkg_ci.yml
+35 −18 CMakeLists.txt
+305 −0 CMakeLists_vcpkg.txt
+1 −1 Dockerfile
+173 −0 cmake/modules/FindProtobuf.cmake
+112 −0 cmake/modules/FindZ3.cmake
+8 −0 cmake/modules/testz3.cpp
+12 −2 mcsema/Arch/X86/Runtime/CMakeLists.txt
+237 −300 tools/mcsema_disass/ida7/CFG_pb2.py
6 changes: 3 additions & 3 deletions ports/remill/portfile.cmake
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
vcpkg_from_github(
OUT_SOURCE_PATH SOURCE_PATH
REPO ekilmer/remill
REF abebf20a29456ed2f5229277b575ca4d6859b0b6
SHA512 d23a653bbbb2a9d0a36eb8425651154df0bd3339f8286d9e7449b128b6ae045c0aaefc864613910c2cda548d395b1f3c926bbb9b7b58e46657aa6572fa8179f3
REPO lifting-bits/remill
REF 37741957d6d43bcaafac8e316a875a1b7ce4838f
SHA512 325aa81c0b9ace4e2b908f8afffcec6f9f998b98363a5ff09d7f5ea4b57dc9b6d2e2d0c860baac3072bb4c01b147e2dee6d2375b6b251f02362c02f327b328d9
HEAD_REF vcpkg
)

Expand Down
2 changes: 1 addition & 1 deletion ports/remill/vcpkg.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "remill",
"version-string": "2020-12-05",
"version-string": "4.0.11",
"description": "Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode",
"homepage": "https://github.com/lifting-bits/remill",
"default-features": [
Expand Down
2 changes: 1 addition & 1 deletion rellic
Open in desktop
Submodule rellic updated 8 files
+89 −0 .github/workflows/vcpkg_ci.yml
+14 −2 CMakeLists.txt
+10 −11 rellic/AST/IRToASTVisitor.cpp
+2 −2 rellic/AST/Util.cpp
+92 −30 rellic/AST/Z3ConvVisitor.cpp
+6 −2 rellic/AST/Z3ConvVisitor.h
+381 −0 scripts/build_with_vcpkg.sh
+9 −0 tests/tools/decomp/bool.c
2 changes: 1 addition & 1 deletion remill
Open in desktop
Submodule remill updated 8 files
+89 −0 .github/workflows/vcpkg_ci.yml
+420 −15 CMakeLists.txt
+0 −412 CMakeLists_old.txt
+4 −0 CMakeLists_vcpkg.txt
+1 −1 Dockerfile
+2 −2 README.md
+1 −0 scripts/build.sh
+6 −2 scripts/travis.sh