Welcome to Blaze! Below are the things you'll need to get started. This is assuming you are running a Ubuntu/Debian system, otherwise modifications will need to be made.
- To get ghcup run
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
- You can list the available tools and versions from ghcup with
ghcup list
- Install stack:
ghcup install stack
- Install Binary Ninja. You'll need a license that supports headless mode.
- to your
~/.profile
addexport BINJA_PLUGINS=<path-to-binja-plugin-folder>
- Get z3 from
https://github.com/Z3Prover/z3.git
- run
./configure; mkdir build
- run
cd build; make
, thenmake install
- The directory structure should look like
blaze/blaze
,blaze/binaryninja-haskell
,blaze/ghidra-haskell
,blaze/binary-analysis
- Run
stack build
from the blaze project. - To test Blaze run
stack test
within theblaze
directory.
Distribution A. (Approved for public release; distribution unlimited.)