angr

angr 은 binary analysis framework 로 Shellphish 팀에서 만들었다.

자세한 기능은 잘 알지 못하지만, symbolic excution을 가능하게 해주어 CTF 할 때 편리하다.. 엄청..

 

symbolic excution 은 특정 값이 아닌 문자로 변환하여 프로그램을 구동시키는 방식을 의미한다.

ex ) x + y = 5, x - y = 3

 

https://github.com/angr/ 

위의 github 에 들어가면 설치 방법이나 사용 방법에 대해 알 수 있다.

 

위의 사이트나 다른 블로그를 참조해서 설치하려 했지만 여러가지 오류로 인해서 미친듯이 검색을 해서 힘들게 설치했다.

혹여나 환경을 맞춰주고 똑같이 진행했음에도 오류가 되는 분들은 아래 명령어를 따라해보시길..

 

# pip install virtualenv
# pip install virtualenvwrapper

# mkdir ~/.environments

# echo export WORKON_HOME="~/.environments" >> ~/.bashrc

# echo source [virtualenvwrapper.sh 경로]/virtualenvwrapper.sh >> ~/.bashrc

-> find 명령을 통해 찾으면 된다. 

# source ~/.bashrc

# mkvirtualenv angr && pip install angr

# import angr // import는 되지만 정상적으로 돌아가질 않음.

# vi /etc/apt/sources.list

# deb http://us.archive.ubuntu.com/ubuntu vivid main universe // 마지막 줄에 다음 명령어 추가

# apt-get update

# apt-get install libcapstone-dev

# pip install -I --no-use-wheel capstone

 

# easy_install pip

# pip install -I --no-use-wheel angr-only-z3-custom

# mkvirtualenv angr // angr 사용 시 해당 명령어 입력