Linux-x64 z3 Installation

2015.06.09 21:42

- z3 페이지 : https://github.com/z3prover/z3/wiki


- Tutorial and Documentation : https://github.com/z3prover/z3/wiki/Documentation


- 설치 : https://github.com/z3prover/z3/wiki/Building%20the%20unstable%20branch


1.git clone https://github.com/Z3Prover/z3.git -b unstable

2. # cd z3

3.python scripts/mk_make.py

4.cd build

5. # make



- tutorial : http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm

(from z3 import * 추가 후 실습)


- z3 Namespace Reference : http://z3prover.github.io/api/html/namespacez3py.html#a305d7caa8e0329560be140b2252df36b

'List > Linux' 카테고리의 다른 글

Boa webserver fuzzing with AFL  (0) 2017.04.02
Packet Capture Setup  (0) 2017.03.16
Linux-x64 z3 Installation  (0) 2015.06.09
glibc 2.3.2 이하 버전의 double free bug  (6) 2015.05.15
프롬프트 변경  (0) 2015.03.14
Linux x86, x86_64 System Call table  (0) 2015.01.31

smleenull List/Linux

티스토리 툴바