Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/proseminar/2012/padaryan.2012.03.30.pdf Дата изменения: Tue Apr 24 20:46:31 2012 Дата индексирования: Mon Oct 1 21:56:41 2012 Кодировка:

vartan@ispras.ru



· Information security Computer security Software security · · ·
­ ­

· /
2



· · · , · · · ·

· :

3



· · · · , · · ·
4










, ...

· . · .
­ ­ ­

· . · «» .
5



·
­ /
· · ,

·
­ ­ ,

·
­
6



·
­ ­ ­ ­ ­ (IDA Pro) (IDA Pro/HexRays) (IDA Pro, CodeSurfer/x86)

·
­ (SoftICE, OllyDbg) ­

· Bitblaze, CodeSurfer/x86, S2E ...
7


IDA Pro
· · · · · IDC ( 114 ) ( 37 ) : , , Win32 ( FLIRT) Hex Rays
8

· · ·
· · ·


9


10



·
·

· ·

. , .. , . .
­ ­ . ,

·

C.
11


. .

12




13


TrEx ­
·
­ ­

· · ,
­ , ­ ,

·
14


: AMD SimNOW

15



·
­ : AMD SimNOW

·
­ : VMWare Workstation

·
­ : Xen

· :
­ AMD SVM (Secure Virtual Machine) ­ Intel VT-x (Virtualization Extensions) ­ : VMWare Workstation, Microsoft Hyper-V, Xen, KVM
16




17



· ­ , ·
­

· ­
­ ­

18



· :
­ ­

· :
­ ­ I/O, MSR' ­ I/O, .. DMA-

19


QEMU
· ·
­

· ·
­ x86, PowerPC, ARM, Sparc, ...

·
­ Android, Symbian, Tizen, ...

· :

20


QEMU

21



· ­ ,

22/12





, :
·
( )

·
( )

·
( , )

·
( , , )



,

1.
­ ­ ­


LOC; . ( ) = sqrt(A2+B2+C2) (Assignment, Branch, Condition)

2.
­ ­ ­


CFG & ,

3.
­


, , ,

4.
­


(1,2,3)

5.
­


BCD = sqrt(B2+C2)/LOC


:
·
­ ­ , ­

· · QEMU: , · , ·
25


!

26