Бинарные уязвимости/Инструменты поиска бинарных уязвимостей - История изменений

Romankholin94: /* Примеры с занятия */

2025-11-10T19:11:40Z

Примеры с занятия

← Предыдущая версия		Версия от 19:11, 10 ноября 2025
Строка 137:		Строка 137:
	== Примеры с занятия ==		== Примеры с занятия ==

	Бинарник, который были рассмотрен на семинаре: [[Reverse examples 2025.zip]].		Бинарник, который были рассмотрен на семинаре: [[Media:Reverse examples 2025.zip]].

Romankholin94: /* Примеры с занятия */

2025-11-10T19:11:22Z

Примеры с занятия

← Предыдущая версия		Версия от 19:11, 10 ноября 2025
Строка 137:		Строка 137:
	== Примеры с занятия ==		== Примеры с занятия ==

	Бинарник, который были рассмотрен на семинаре: [[~~Media:~~Reverse examples 2025.zip]].		Бинарник, который были рассмотрен на семинаре: [[Reverse examples 2025.zip]].

Romankholin94: /* Примеры с занятия */

2025-11-10T19:11:10Z

Примеры с занятия

← Предыдущая версия		Версия от 19:11, 10 ноября 2025
Строка 137:		Строка 137:
	== Примеры с занятия ==		== Примеры с занятия ==

	Бинарник, который были рассмотрен на семинаре: [[Media:~~2023 reverse~~ examples.zip]] ~~(плюс сорцы)~~.		Бинарник, который были рассмотрен на семинаре: [[Media:Reverse examples 2025.zip]].

WGH: /* gdb */ info proc mappings

2023-11-02T01:25:53Z

gdb: info proc mappings

← Предыдущая версия		Версия от 01:25, 2 ноября 2023
Строка 133:		Строка 133:
	* <code>x/10i $pc</code> - посмотреть несколько инструкций вперед.		* <code>x/10i $pc</code> - посмотреть несколько инструкций вперед.
	* <code>layout asm</code> - переключиться в псевдографический режим с листингом ассемблерных команд.		* <code>layout asm</code> - переключиться в псевдографический режим с листингом ассемблерных команд.
			* <code>info proc mappings</code> - показать карту памяти процесса

	== Примеры с занятия ==		== Примеры с занятия ==

	Бинарник, который были рассмотрен на семинаре: [[Media:2023 reverse examples.zip]] (плюс сорцы).		Бинарник, который были рассмотрен на семинаре: [[Media:2023 reverse examples.zip]] (плюс сорцы).

WGH: /* IDA Pro */ IDA Free

2023-10-31T19:32:10Z

IDA Pro: IDA Free

← Предыдущая версия		Версия от 19:32, 31 октября 2023
Строка 87:		Строка 87:
	</pre>		</pre>

	== IDA ~~Pro~~ ==		== IDA ==

	Интерактивный дизассемблер и декомпилятор.		Интерактивный дизассемблер и декомпилятор.

			Версия IDA Free вполне подходит для наших задач, её можно [https://hex-rays.com/ida-free/ скачать с официального сайта]. Ссылки на скачивание могут не открываться из РФ, вот на всякий случай зеркала:

			* https://course.secsem.ru/idafree83_linux.run
			* https://course.secsem.ru/idafree83_windows.exe
			* https://course.secsem.ru/idafree83_mac.app.zip

	=== Шорткаты ===		=== Шорткаты ===

WGH: /* Шорткаты */

2023-10-31T19:27:57Z

Шорткаты

← Предыдущая версия		Версия от 19:27, 31 октября 2023
Строка 95:		Строка 95:
	{{клавиша\|F5}}		{{клавиша\|F5}}
	</center>		</center>
	==== ~~IDA~~ ====		==== Режим дизассемблера ====
	* {{клавиша\|P}} — создать функцию, начиная с текущей позиции курсора		* {{клавиша\|P}} — создать функцию, начиная с текущей позиции курсора
	* {{клавиша\|F5}} — декомпилировать функцию		* {{клавиша\|F5}} — декомпилировать функцию
Строка 106:		Строка 106:
	* {{клавиша\|R}} — переопределить число в инструкции как строку (<code>mov rdx, 335F47414C465Fh</code> -> <code>mov rdx, '3_GALF_'</code>)		* {{клавиша\|R}} — переопределить число в инструкции как строку (<code>mov rdx, 335F47414C465Fh</code> -> <code>mov rdx, '3_GALF_'</code>)

	==== Hex-Rays ====		==== Режим декомпилятора (Hex-Rays) ====
	* {{клавиша\|N}} — переименовать		* {{клавиша\|N}} — переименовать
	* {{клавиша\|Y}} — поменять тип		* {{клавиша\|Y}} — поменять тип

WGH: /* IDA */ dead link

2023-10-31T19:25:58Z

IDA: dead link

← Предыдущая версия		Версия от 19:25, 31 октября 2023
Строка 105:		Строка 105:
	* {{клавиша\|A}} — переопределить байты, начиная с курсора, как строку		* {{клавиша\|A}} — переопределить байты, начиная с курсора, как строку
	* {{клавиша\|R}} — переопределить число в инструкции как строку (<code>mov rdx, 335F47414C465Fh</code> -> <code>mov rdx, '3_GALF_'</code>)		* {{клавиша\|R}} — переопределить число в инструкции как строку (<code>mov rdx, 335F47414C465Fh</code> -> <code>mov rdx, '3_GALF_'</code>)
	~~Неплохой [https://radare.gitbooks.io/radare2book/content/debugger/migration.html#shortcuts список] из доков по radare2.~~

	==== Hex-Rays ====		==== Hex-Rays ====

WGH: /* Примеры с занятия */

2023-10-31T19:24:55Z

Примеры с занятия

← Предыдущая версия		Версия от 19:24, 31 октября 2023
Строка 131:		Строка 131:
	== Примеры с занятия ==		== Примеры с занятия ==

	~~Бинарники~~, ~~которые~~ были ~~рассмотрены~~ на семинаре: [[Media:~~2019~~ reverse examples.zip]].		Бинарник, который были рассмотрен на семинаре: [[Media:2023 reverse examples.zip]] (плюс сорцы).

Romankholin94: /* Примеры с занятия */

2021-10-28T08:20:57Z

Примеры с занятия

← Предыдущая версия		Версия от 08:20, 28 октября 2021
Строка 131:		Строка 131:
	== Примеры с занятия ==		== Примеры с занятия ==

	Бинарники, которые были рассмотрены на семинаре~~: [[Media:2020_reverse_examples.zip]].~~		Бинарники, которые были рассмотрены на семинаре: [[Media:2019 reverse examples.zip]].

	~~Исходник первого примера~~: [[Media:2019 reverse ~~example 1~~.c]]

	~~Пример валидного ключа: <code>AAAAA-BBBBB-CCCCC-B334C~~
	~~</code>~~

	~~Алгоритм проверки ключа на Python:~~
	~~<pre>~~
	~~import string~~
	~~import hashlib~~

	~~def validate_key(s):~~
	~~if len(s) != 23:~~
	~~return False~~

	~~for i, c in enumerate(s):~~
	~~if i in (5, 11, 17):~~
	~~if c != '-':~~
	~~return False~~
	~~else:~~
	~~if c not in (string.ascii_uppercase + string.digits):~~
	~~return False~~

	~~m = hashlib.md5()~~
	~~m.update(s[:17].encode('ascii'))~~
	~~m.update(bytes([0x4d,0x67,0xde,0xb9,0x60,0xce,0x38,0x30,0xe1,0xb7,0x40,0xe5,0xeb,0x39,0xe0,0x15]))~~

	~~return s[18:] == m.hexdigest()[:5~~].~~upper()~~
	~~</pre>~~

Romankholin94: Новая страница: «== strings == Выводит константные строки, которые есть в бинарнике. Строки определяются эврис…»

2020-11-09T14:47:49Z

Новая страница: «== strings == Выводит константные строки, которые есть в бинарнике. Строки определяются эврис…»

Новая страница

== strings ==

Выводит константные строки, которые есть в бинарнике. Строки определяются эвристикой, поэтому часто бывают ложные срабатывания. IDA тоже умеет определять строки.

<pre>
$ strings reverse_example_1
/lib64/ld-linux-x86-64.so.2
libcrypto.so.1.0.0
_ITM_deregisterTMCloneTable
/lib64/ld-linux-x86-64.so.2
libcrypto.so.1.0.0
_ITM_deregisterTMCloneTable
__gmon_start__
_Jv_RegisterClasses
_ITM_registerTMCloneTable
MD5_Final
MD5_Init
MD5_Update
libc.so.6
fopen
__stack_chk_fail
fgets
malloc
stderr
fwrite
__sprintf_chk
__libc_start_main
free
GLIBC_2.3.4
GLIBC_2.4
GLIBC_2.2.5
OPENSSL_1.0.0
D$(1
T$(dH3
AUATH
D$h1
|$hdH3<%(
x[]A\A]
AWAVA
AUATL
[]A\A]A^A_
%02X
./cd-key.txt
failed to open CD key file
failed to read CD key file
invalid cdkey
Good job!
;*3$"
.shstrtab
.interp
.note.ABI-tag
.gnu.hash
.dynsym
.dynstr
.gnu.version
.gnu.version_r
.rela.dyn
.rela.plt
.init
.plt.got
.text
.fini
.rodata
.eh_frame_hdr
.eh_frame
.init_array
.fini_array
.jcr
.dynamic
.got.plt
.data
.bss
</pre>

== strace ==

Выводит трассу системных вызовов. Полезно, чтобы определить, какие файлы читает программа, и как вообще взаимодействует с внешним миром (в том числе сеть).

<pre>
$ strace ./reverse_example_1
...
openat(AT_FDCWD, "./cd-key.txt", O_RDONLY) = 3
fstat(3, {st_mode=S_IFREG|0644, st_size=24, ...}) = 0
read(3, "AAAAA-BBBBB-CCCCC-DDDDD\n", 4096) = 24
write(2, "invalid cdkey\n", 14) = 14
exit_group(1) = ?
</pre>

== IDA Pro ==

Интерактивный дизассемблер и декомпилятор.

=== Шорткаты ===
<center style="font-size: 500%">
{{клавиша|F5}}
</center>
==== IDA ====
* {{клавиша|P}} — создать функцию, начиная с текущей позиции курсора
* {{клавиша|F5}} — декомпилировать функцию
* {{клавиша|Enter}} — проследовать по курсору (например, перейти к функции или массиву)
* {{клавиша|Esc}} — назад (противоположность {{клавиша|Enter}})
* {{клавиша|X}} — показать ссылки на то, что под курсором (на функцию, переменную, строку, etc.)
* {{клавиша|C}} — переопределить байты, начиная с курсора, как код.
* {{клавиша|D}} — переопределить байты, начиная с курсора, как данные (последовательные нажатия переключают размер переменной byte-word-dword(-qword))
* {{клавиша|A}} — переопределить байты, начиная с курсора, как строку
* {{клавиша|R}} — переопределить число в инструкции как строку (<code>mov rdx, 335F47414C465Fh</code> -> <code>mov rdx, '3_GALF_'</code>)
Неплохой [https://radare.gitbooks.io/radare2book/content/debugger/migration.html#shortcuts список] из доков по radare2.

==== Hex-Rays ====
* {{клавиша|N}} — переименовать
* {{клавиша|Y}} — поменять тип
** Может показаться, что с помощью {{клавиша|Y}} можно и переименовать, или с помощью {{клавиша|N}} задать тип, однако это не так
* {{клавиша|Enter}} — проследовать по курсору
* {{клавиша|Esc}} — назад
* {{клавиша|Tab}} — перейти к данному месту из декомпилированного в дизассемблированный код и обратно

[https://www.hex-rays.com/products/decompiler/manual/interactive.shtml Полный список] на официальном сайте.

== gdb ==

С '''gdb''' можно познакомиться по любому туториалу в интернете.

Однако в отладке приложений без исходников есть некоторая специфика, и тут могут быть особенно полезные такие команды:

* <code>b * 0x400155</code> - поставить брэйкпоинт на адрес.
* <code>p (char*)$rdi</code> - напечатать как строку содержимое памяти, на которую указывает регистр <code>rdi</code>. См. также [https://en.wikipedia.org/wiki/X86_calling_conventions#System_V_AMD64_ABI статью про соглашения вызовов на Википедии].
* <code>help x</code> - почитать справку по команде <code>x</code>, которая очень полезна для изучения содержимого памяти.
* <code>x/10i $pc</code> - посмотреть несколько инструкций вперед.
* <code>layout asm</code> - переключиться в псевдографический режим с листингом ассемблерных команд.

== Примеры с занятия ==

Бинарники, которые были рассмотрены на семинаре: [[Media:2020_reverse_examples.zip]].

Исходник первого примера: [[Media:2019 reverse example 1.c]]

Пример валидного ключа: <code>AAAAA-BBBBB-CCCCC-B334C
</code>

Алгоритм проверки ключа на Python:
<pre>
import string
import hashlib

def validate_key(s):
if len(s) != 23:
return False

for i, c in enumerate(s):
if i in (5, 11, 17):
if c != '-':
return False
else:
if c not in (string.ascii_uppercase + string.digits):
return False

m = hashlib.md5()
m.update(s[:17].encode('ascii'))
m.update(bytes([0x4d,0x67,0xde,0xb9,0x60,0xce,0x38,0x30,0xe1,0xb7,0x40,0xe5,0xeb,0x39,0xe0,0x15]))

return s[18:] == m.hexdigest()[:5].upper()
</pre>