python3에서 z3 설치

1. 설치 전에..

(1) 설치환경

 ▶ Ubuntu 18.04 desktop 에서 설치하려고 한다.

(2) 특이사항

 [1] python3의 가상환경을 생성하고 그 위에 설치한다.

 [2] 가상환경에 설치하는 이유? 

  ▶ angr의 모듈의 내부도 Z3의 solver를 이용하는데 angr와 Z3를 동시에 설치하면 서로의 영역에 침범해서 모듈을 사용할 수 없다.

  ▶ 이 부분은 직접 겪었고, 그 외에도 가상환경에서 설치하고 삭제해야 관리가 용이하다는 면에서 가상환경에서 설치를 추천한다.

(3) 사전에 설치한 프로그램

▶ 만약 아래 프로그램이 설치되지 않았다면 설치하고 진행하기를 권장한다.

 [1] sudo apt install python3 

 [2] sudo apt install python3-pip

 [3] sudo apt install git

2. 가상환경 설치

(1) sudo apt-get install virtualenvwrapper python2.7-dev build-essential libxml2-dev libxslt1-dev git libffi-dev cmake libreadline-dev libtool debootstrap debian-archive-keyring libglib2.0-dev libpixman-1-dev libqt4-dev graphviz-dev binutils-multiarch nasm libc6:i386 libgcc1:i386 libstdc++6:i386 libtinfo5:i386 zlib1g:i386

(2) vi ~/.bashrc  // (4) vi ~/.zshrc    [저는 zsh를 사용하기 때문에]

 ▶ mkdir ~/.environments

 ▶ source $(find / -name virtualenvwrapper.sh 2>/dev/null)

(3) source ~/.bashrc

(4) mkvirtualenv z3

3. Ubuntu 18.04 Desktop에서 Z3 모듈 설치하기

(1) git clone https://github.com/Z3Prover/z3.git

(2) cd z3

(3) python3 scripts/mk_make.py

(4) cd bulid

(5) make