시스템 해킹

1574,

1/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 : 3059 Date : 2017/04/19 12:32


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

1574

pwnable.kr echo1 질문2 (스포 주의)[2]

turttle2s

10/05

1223

1573

LOB GATE문제 풀면서 궁금한점[3]

hackxx123

08/24

899

1572

libc관련 - 2[5]

lMaxl04

08/24

871

1571

ASLR이 걸려있을때 ret에 ROP으로 jmp %esp을 사용한 경우.[3]

lMaxl04

06/29

1131

1570

리모트 환경에서의 스택 주소 확인 방법이 궁금합니다.[2]

lMaxl04

06/16

930

1569

해킹 프리서버 없어졌나요?[1]

terfkim

04/15

1712

1568

스택에 데이터 넣을 때 SIGSEGV[4]

turttle2s

02/04

1445

1567

pwnable.kr echo1 질문[2]

turttle2s

06/17

1719

1566

ROP strcpy 관련 질문입니다.[3]

heeyoung0511

06/16

1566

1565

Level2 -> Level3 에서 vi와 /usr/bin/Editor의 차이[2]

hyemin1826

07/18

1800

1564

Trainer3 ftz.hackerschool.org 호스트 접속 불가[1]

hyemin1826

07/18

3207

1563

dll인젝션 실험중 질문 드립니다.[1]

kkk477

05/31

1837

1562

패킷 복호화를 마스터 하려면 어떤 과정이 있어야하나요?

sa0814

04/01

1683

1561

사기[2]

jas08

03/31

1974

1560

시스템 콜이 가능한 메모리 영역과 불가능한 메모리 영역이 존재하나요?

ocal

03/30

1721

1559

pwntools 사용시와 기본 socket 모듈 이용시 차이?[4]

ocal

01/09

2257

1558

lob level19(nightmare) 관련질문[1]

dnjsdnwja

12/18

1734

1557

ftz level2 질문있습니다[1]

kihyun1998

12/13

1821

1556

ftz level2번 푸는데요 권한이...

kihyun1998

12/06

1700

1555

시스템해킹할때 [3]

thsrhkdwns

12/05

2176

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