SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update packages related to concolic (#325)

Browse Source 
* update packages related to concolic

* install z3 on CI macOS

I have no clue how this worked before...

Co-authored-by: Dominik Maier <domenukk@gmail.com>
This commit is contained in:
julihoh 2021-10-11 21:24:37 +02:00 committed by GitHub
parent 6e2aa47285
commit 7930d42948
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/build_and_test.yml vendored
View File

@ -151,6 +151,8 @@ jobs:
profile: minimal profile: minimal
toolchain: stable toolchain: stable
- uses: Swatinem/rust-cache@v1 - uses: Swatinem/rust-cache@v1
- name: Install deps
run: brew install z3
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- name: MacOS Build - name: MacOS Build
run: cargo build --verbose run: cargo build --verbose
@ -171,7 +173,7 @@ jobs:
- name: Add nightly rustfmt and clippy - name: Add nightly rustfmt and clippy
run: rustup toolchain install nightly --component rustfmt --component clippy --allow-downgrade run: rustup toolchain install nightly --component rustfmt --component clippy --allow-downgrade
- name: Install deps - name: Install deps
run: brew install llvm libpng nasm coreutils && brew link --force llvm run: brew install llvm libpng nasm coreutils z3 && brew link --force llvm
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- name: Increase map sizes - name: Increase map sizes
run: ./scripts/shmem_limits_macos.sh run: ./scripts/shmem_limits_macos.sh

2
libafl/Cargo.toml
View File

@ -83,7 +83,7 @@ libm = "0.2.1"
wait-timeout = { version = "0.2", optional = true } # used by CommandExecutor to wait for child process wait-timeout = { version = "0.2", optional = true } # used by CommandExecutor to wait for child process
z3 = { version = "0.10", optional = true } # for concolic mutation z3 = { version = "0.11", optional = true } # for concolic mutation
[target.'cfg(target_os = "android")'.dependencies] [target.'cfg(target_os = "android")'.dependencies]
backtrace = { version = "0.3", optional = true, default-features = false, features = ["std", "libbacktrace"] } # for llmp_debug backtrace = { version = "0.3", optional = true, default-features = false, features = ["std", "libbacktrace"] } # for llmp_debug

2
libafl_concolic/symcc_runtime/Cargo.toml
View File

@ -25,7 +25,7 @@ libafl = {path = "../../libafl", version="0.6", default-features=false, features
[build-dependencies] [build-dependencies]
cmake = "0.1" cmake = "0.1"
bindgen = "0.58" bindgen = "0.59"
regex = "1" regex = "1"
lazy_static = "1.4" lazy_static = "1.4"
which = "4.1" which = "4.1"