python3에서 angr 설치

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에서 angr 모듈 설치하기

(1) pip3 install angr

(2) git clone https://github.com/angr/angr-dev.git

(3) cd angr-dev

(4) ./setup.sh -i -e angr

4. Windows10에서 angr모듈 설치하기(feat.가상환경)

▶ python3는 설치되었다고 가정하고 진행!!!!!!!!!!!!!!

(1) 가상환경 설치(cmd창 진행)

 [1] pip3 install virtualenv

 [2] virtualenv angr        # virtualenv "사용할 가상환경이름"

(2) 가상환경 실행(cmd창 진행)

 ▶ call angr/scripts/activate     # call "생성한 가상환경이름"/scripts/activate

(3) 가상환경 종료(cmd창 진행)

 ▶ call angr/scripts/deactive    # call "생성한 가상환경이름"/scripts/deactivate

(4) angr 설치

 ▶ pip3 install pyvex

 ▶ pip3 install unicorn

 ▶ pip3 install simuvex

 ▶ pip3 install angr

※ 위 방법대로 안될시!

 ▶ python -m venv [생성할 가상환경이름]

※ 참고 : https://blog.kimtae.xyz/170

※ 참고 : https://dgkim5360.tistory.com/entry/python-virtualenv-on-linux-ubuntu-and-windows