Skip to content

Commit

Permalink
Update Unicorn
Browse files Browse the repository at this point in the history
  • Loading branch information
cnheitman committed Dec 20, 2024
1 parent ab77ede commit a5af309
Show file tree
Hide file tree
Showing 7 changed files with 795 additions and 793 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/codecov.yml
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ jobs:
- name: Install Unicorn
run: |
python -m pip install unicorn==2.0.0
python -m pip install unicorn
- name: Install LIEF
run: |
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/linux.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ jobs:
runs-on: ubuntu-latest
strategy:
matrix:
python-version: ['3.8', '3.9', '3.10', '3.11', '3.12']
python-version: ['3.9', '3.10', '3.11', '3.12', '3.13']
boost-interface: ['ON', 'OFF']
capstone-version: ['5.0.3']
steps:
Expand Down Expand Up @@ -70,7 +70,7 @@ jobs:
- name: Install Unicorn
run: |
python -m pip install unicorn==2.0.1
python -m pip install unicorn
- name: Install LIEF
run: |
Expand Down
10 changes: 5 additions & 5 deletions .github/workflows/osx.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ jobs:
runs-on: macos-14
strategy:
matrix:
python-version: ['3.8', '3.9', '3.10', '3.11', '3.12', '3.13']
python-version: ['3.9', '3.10', '3.11', '3.12', '3.13']
steps:
- name: Checkout
uses: actions/checkout@v4
Expand All @@ -27,8 +27,8 @@ jobs:

- name: Install Z3
run: |
wget https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-arm64-osx-13.7.zip
unzip z3-4.13.3-arm64-osx-13.7.zip
wget -q https://github.com/Z3Prover/z3/releases/download/z3-4.13.3/z3-4.13.3-arm64-osx-13.7.zip
unzip -q z3-4.13.3-arm64-osx-13.7.zip
sudo python -m pip install z3-solver==4.13.3.0
- name: Install Deps
Expand All @@ -51,7 +51,7 @@ jobs:
- name: Install Capstone
run: |
wget https://github.com/aquynh/capstone/archive/5.0.3.tar.gz
wget -q https://github.com/aquynh/capstone/archive/5.0.3.tar.gz
tar -xf ./5.0.3.tar.gz
cd ./capstone-5.0.3
bash ./make.sh
Expand Down Expand Up @@ -88,5 +88,5 @@ jobs:
# NOTE Tests will fail because currently they only pass with Unicorn
# v2.0.0. However, Unicorn v2.0.0 does not build on the macos-14 runner.
- name: Unittests
run:
run: |
DYLD_LIBRARY_PATH=/usr/local/lib/ ctest --test-dir build --output-on-failure
2 changes: 1 addition & 1 deletion .github/workflows/vcpkg.yml
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ jobs:
- name: Test
run: |
${{ matrix.python-executable }} --version
${{ matrix.python-executable }} -m pip install lief==0.15.1 unicorn==2.0.1.post1 z3-solver
${{ matrix.python-executable }} -m pip install lief==0.15.1 unicorn z3-solver
ctest --preset test-${{ matrix.cmake-preset }} -C Release --output-on-failure
- name: Install
Expand Down
2 changes: 1 addition & 1 deletion Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ RUN python3 -m pip install --upgrade pip && \
lief \
meson \
setuptools \
unicorn==2.0.0 \
unicorn \
z3-solver

# libcapstone >= 5.0.x
Expand Down
8 changes: 4 additions & 4 deletions src/testers/riscv/unicorn_test_riscv32.py
Original file line number Diff line number Diff line change
Expand Up @@ -591,10 +591,10 @@ def diff_state(state1, state2):
"x29": 0x0,
"x30": 0x0,
"x31": 0x2107ff,
"f0": 0x0123456789abcdef,
"f1": 0xfedcba9876543210,
"f2": 0xfefedcdc56567878,
"f3": 0x123456789098cd01,
"f0": 0x01234567,
"f1": 0xfedcba98,
"f2": 0xfefedcdc,
"f3": 0x12345678,
"f4": 0x0,
"f5": 0x0,
"f6": 0x0,
Expand Down
1,560 changes: 781 additions & 779 deletions src/testers/x86/unicorn_test_x86.py

Large diffs are not rendered by default.

0 comments on commit a5af309

Please sign in to comment.