In order to use LibVex in Kam1n0, we need to compile libVex from valgrind on windows.
- mingw64 with msys tool installed
- add mingw64/bin and msys/bin to environment variable
Clone libvex source (from angr repo).
- git clone email@example.com:angr/vex
We need to update the
Makefile-gcc. Specifically we need to define
CC = gcc
AR = ar
Also we need to re-define HWord in libvex to long long int (64bit)
Then just hit
make; and we can find the
libvex.a file in the