This repository was archived by the owner on Jan 31, 2022. It is now read-only.

Home

Jump to bottom

pinksawtooth edited this page Oct 28, 2016 · 5 revisions

dead_code_elimination.cppを試す

依存ライブラリ

apt install libboost-dev
apt-get install libcapstone-dev

z3をビルドする必要がある。 https://github.com/Z3Prover/z3

Clone this wiki locally