z3 install

utility 2017. 12. 15. 19:21

# git clone https://github.com/Z3Prover/z3.git

# python scripts/mk_make.py

# cd build; make

# sudo make install

 

if occur error, try this solution :

# apt-get install --reinstall python-pkg-resources

# python scripts/mk_make.py --python

'utility' 카테고리의 다른 글

Intel PIN  (2) 2018.06.06
IDAPython Plugin  (0) 2018.06.02
z3 install  (0) 2017.12.15
gef  (0) 2017.01.30
Pwngdb  (0) 2017.01.18
valgrind  (0) 2016.12.20
Posted by woodonggyu

댓글을 달아 주세요

windows-dll-injector

c/c++ 2017. 11. 27. 01:53

# Tested on Windows XP x32, Windows 7 x32 / x64

https://github.com/woodonggyu/dev-project/tree/master/windows-dll-injector 

 

'c/c++' 카테고리의 다른 글

windows-keylogger  (0) 2018.01.09
windows-dll-injector  (0) 2017.11.27
Posted by woodonggyu

댓글을 달아 주세요

2017년 KUCIS 영남권 세미나에서 제가 발표했던 "Heap Exploitation Techniques" 발표자료 입니다.

Heap Exploitation Techniques.pptx

 

Posted by woodonggyu

댓글을 달아 주세요