Dependencies & building

[anon8675309]

After installing the listed dependencies in dockers/Dockerfile, I am still unable to run cargo build. I'm trying this on Debian 9 (stretch).

vagrant@debian9:~/finch$ sudo apt-get install -y build-essential clang curl libcapstone-dev wget libcapstone3
Reading package lists... Done
Building dependency tree       
Reading state information... Done
build-essential is already the newest version (12.3).
libcapstone-dev is already the newest version (3.0.4-1).
libcapstone3 is already the newest version (3.0.4-1).
clang is already the newest version (1:3.8-36).
wget is already the newest version (1.18-5+deb9u3).
curl is already the newest version (7.52.1-5+deb9u10).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
vagrant@debian9:~/finch$ cargo build
   Compiling libunicorn-sys v0.9.1
   Compiling falcon_capstone v0.4.0
error: could not find native static library `unicorn`, perhaps an -L flag is missing?

error: aborting due to previous error

error: could not compile `libunicorn-sys`.
warning: build failed, waiting for other jobs to finish...
error: build failed

On a related note, Debian 9 has version 4.4.1 of z3 in its apt repos. Can that be used instead of compiling z3 from source? Current version is current version is 4.8.7 and the one from the Dockerfile is 4.7.1. If 4.4.1 will not work, what version of z3 has the minimum features required (or are we locked in at exactly version 4.7.1)?

[endeav0r]

This is going to be the way to use finch moving forward https://github.com/falconre/falconre/blob/master/examples/symex-one.py

I would check out the docker container in the falconre repo.

What you're running into is a missing unicorn dep. Unicorn was used to help validate instruction translation, but really we don't want it in there because it makes license things yucky, so it's gone.