BAP 설치 시 유의사항

OS : Ubuntu 14.04 32-bit

- 설치 관련

sudo apt-get install ... 혹은 Ubuntu Software Center에서 다음을 설치

g++ (g++ 오류)

gawk (오류는 없음)

ocaml-native-compilers (ocamlc 오류)

camlp4-extra (camlp4of 오류)

ocaml-findlib (ocamlfind 오류)

camlidl (camlidl 오류)

libcamomile-ocaml-dev (camomile 오류)

binutils-dev (bfd 오류)

libpcre-ocaml-dev (PCRE 오류)

zlib1g-dev (zlib 오류)

libcreal-ocaml-dev (GMP, MPIR 오류)

liblablgtk2-gnome-ocaml-dev (lablgnomecanvas 경고)

관련 오류 / 경고	설치할 패키지
g++	g++
ocamlc	ocaml-native-compilers
camlp4of	camlp4-extra
ocamlfind	ocaml-findlib
camlidl	camlidl
camomile	libcamomile-ocaml-dev
bfd	binutils-dev
PCRE	libpcre-ocaml-dev
zlib	zlib1g-dev
GMP, MPIR	libcreal-ocaml-dev
lablgnomecanvas	liblablgtk2-gnome-ocaml-dev

추가설치:

gawk

graphviz

- 코드 에러 관련

ocaml/ast.ml

-> ' & ' 을 ' && ' 로 수정

ocaml/ssa.ml

-> ' & ' 을 ' && ' 로 수정

ocaml/ssa_simp_misc.ml

-> ' or ' 를 ' || ' 로 수정

ocaml/disasm_i386.ml

-> ' or ' 를 ' || ' 로 수정

- make test 관련

yices를 설치해야 진행되는 test가 있음