시스템 해킹

1574,

6/79

vngkv123

python z3....

http://www.hackerschool.org/HS_Boards/zboard.php?id=QNA_system&no=1863 [복사]

z3을 pip install z3으로 한번해봤었고
githup에서 git clone으로 받아서 설치해봣는데

from z3 import *이나 import z3으로했을때,

s = Solver()하면

Solver()가 없다고 나오네용 ㅠ_ㅠ
AttributeError: 'module' object has no attribute 'Solver'

이거 어떻게 모듈 다운받으셧나용 ㅠ

Hit : 3030 Date : 2017/04/19 12:32


해쿨러	저도 그래서 깃헙에서 받아서 빌드하고 설치했습니다	2017/04/19
해쿨러	pip uninstall 하시고 깃헙에 나와있는 빌드 설명대로 따라가니까 저는 잘 됐습니다 안되시면 apt install python-z3 libz3-4 도 해보세요	2017/04/19

1474

uaf 취약점 ,메모리 릭 관련 문제[2]

pkdo1030

07/15

2423

1473

r0pbabay 를 푸는데....[1]

ewqqw

07/07

1934

1472

시스템 해킹강좌 21강부터 자료 부탁드려도 될까요?

sexissports

06/23

2398

1471

c언어 함수 정의중에...

vngkv123

06/20

2106

1470

checksec, ELF기능, 그외 질문....

vngkv123

06/14

2238

1469

pwnable과 실전 시스템 해킹의 차이[2]

choboKing

06/11

4365

1468

ret2kernel32? (윈도우 ret2libc)[3]

choboKing

06/11

2135

1467

ulimit -f 관련하여 질문드려봅니당

vngkv123

06/01

2060

1466

쉘코드를 이용해서 bof 를 할때[4]

tkakr7458

05/22

2554

1465

unlink매크로에서 P....[5]

vngkv123

05/12

2227

1464

heap에서 unsafe unlink가 조금 이해가 안되네용 ㅠ[6]

vngkv123

05/10

3954

1463

heap에서 bin관련[3]

vngkv123

04/30

2382

1462

codegate nuclear문제 중 libc leak질문..[3]

vngkv123

04/27

3045

1461

fgets함수를 이용한 버퍼오버플로우

ewqqw

04/23

3791

1460

format string 버퍼오버플로우

ewqqw

04/22

2063

1459

angry_doraemon같은 문제 로컬등록..

vngkv123

04/22

2449

1458

버퍼오버플로우 관련[1]

ewqqw

04/21

2194

1457

버퍼 오버플로우 관련[2]

ewqqw

04/20

2136

1456

format string bug + got overwite[3]

tkakr7458

04/19

2376

python z3....[2]

vngkv123

04/19

3029

[1][2][3][4][5] 6 [7][8][9][10]..[79]