Compare commits
5 Commits
fa92aeebd4
...
labs/08
| Author | SHA1 | Date | |
|---|---|---|---|
| 734e183c67 | |||
| 4af9e13120 | |||
| d7f2db8780 | |||
| 88e75e848a | |||
| dd6c23d79f |
@ -1,70 +0,0 @@
|
|||||||
global task_regs
|
|
||||||
global task_stack
|
|
||||||
|
|
||||||
section .note.GNU-stack
|
|
||||||
|
|
||||||
section .text
|
|
||||||
|
|
||||||
task_regs: ; rdi - указатель первое на число, rsi - указатель второе на число, rdx - результат
|
|
||||||
push rax
|
|
||||||
mov rax, [rdi]
|
|
||||||
mov [rdx], rax
|
|
||||||
mov rax, [rdi + 8]
|
|
||||||
mov [rdx + 8], rax
|
|
||||||
mov rax, [rsi + 8]
|
|
||||||
add [rdx + 8], rax
|
|
||||||
mov rax, [rsi]
|
|
||||||
adc [rdx], rax
|
|
||||||
pop rax
|
|
||||||
ret
|
|
||||||
|
|
||||||
task_stack: ; разрядность - 1 байт. Дальше читаем сколько надо. Читает в 2 раза больше разрядности
|
|
||||||
push rbp
|
|
||||||
mov rbp, rsp
|
|
||||||
mov al, [rbp + 8]
|
|
||||||
test al, 64
|
|
||||||
jnz .64bit
|
|
||||||
test al, 32
|
|
||||||
jnz .32bit
|
|
||||||
test al, 16
|
|
||||||
jnz .16bit
|
|
||||||
test al, 8
|
|
||||||
.8bit:
|
|
||||||
xor rax, rax
|
|
||||||
mov al, [rbp + 9]
|
|
||||||
mov ah, [rbp + 10]
|
|
||||||
mov cl, [rbp + 11]
|
|
||||||
mov ch, [rbp + 12]
|
|
||||||
add al, cl
|
|
||||||
adc ah, ch
|
|
||||||
jmp .end
|
|
||||||
.16bit:
|
|
||||||
xor rax, rax
|
|
||||||
mov ax, [rbp + 11] ; старшая часть 1-го
|
|
||||||
mov dx, [rbp + 15] ; старшая часть 2-го
|
|
||||||
mov cx, [rbp + 9] ; младшая
|
|
||||||
mov bx, [rbp + 13] ;младшая
|
|
||||||
add cx, bx
|
|
||||||
adc ax, dx
|
|
||||||
pushfq ; Сохраним флаги на всякий
|
|
||||||
sal eax, 16
|
|
||||||
mov ax, cx
|
|
||||||
popfq
|
|
||||||
jmp .end
|
|
||||||
.32bit:
|
|
||||||
xor rax, rax
|
|
||||||
mov eax, [rbp + 11] ; старшая часть 1-го
|
|
||||||
mov edx, [rbp + 15] ; старшая часть 2-го
|
|
||||||
mov ecx, [rbp + 9] ; младшая
|
|
||||||
mov ebx, [rbp + 13] ;младшая
|
|
||||||
add ecx, ebx
|
|
||||||
adc eax, edx
|
|
||||||
pushfq ; Сохраним флаги на всякий
|
|
||||||
sal rax, 32
|
|
||||||
mov eax, ecx
|
|
||||||
popfq
|
|
||||||
jmp .end
|
|
||||||
.64bit:
|
|
||||||
;crush
|
|
||||||
.end:
|
|
||||||
ret
|
|
||||||
@ -1,55 +0,0 @@
|
|||||||
#include <stdio.h>
|
|
||||||
|
|
||||||
typedef struct
|
|
||||||
{
|
|
||||||
unsigned long h;
|
|
||||||
unsigned long l;
|
|
||||||
} LongNum;
|
|
||||||
|
|
||||||
typedef unsigned char byte;
|
|
||||||
|
|
||||||
extern void task_regs(LongNum* a, LongNum* b, LongNum* result);
|
|
||||||
|
|
||||||
extern unsigned long task_stack(); // Для передачи через Си потребуется функцкия-обертка
|
|
||||||
|
|
||||||
unsigned long stack_wrapper(void* arr, byte bits)
|
|
||||||
{
|
|
||||||
unsigned long result = 0;
|
|
||||||
byte shift = bits >> 3;
|
|
||||||
printf("shift is %d", shift);
|
|
||||||
__asm__(
|
|
||||||
"pushq %%rsp\n\t"
|
|
||||||
"movq $2, %%rcx\n\t"
|
|
||||||
"subq $2, %%rsp\n\t"
|
|
||||||
"movb %2, (%%rsp)\n\t"
|
|
||||||
"xorq %%rdx, %%rdx\n\t"
|
|
||||||
"pop %%dx\n\t"
|
|
||||||
"stack_push_loop:\n\t"
|
|
||||||
"subq %%rdx, %%rsp\n\t"
|
|
||||||
"movq (%1), %%rsp\n\t"
|
|
||||||
"addq %%rdx, %1\n\t"
|
|
||||||
"loopq stack_push_loop\n\t"
|
|
||||||
"call stack_wrapper\n\t"
|
|
||||||
"addq %%rdx, %%rdx\n\t" // умножаем на 2
|
|
||||||
"addq %%rdx, %%rsp\n\t"
|
|
||||||
"popq %%rsp"
|
|
||||||
:"=a"(result)
|
|
||||||
:"b"(arr), "d"(shift)
|
|
||||||
:"%rcx"
|
|
||||||
);
|
|
||||||
result = task_stack();
|
|
||||||
return result;
|
|
||||||
}
|
|
||||||
|
|
||||||
int main()
|
|
||||||
{
|
|
||||||
LongNum a = { 0x00000000, 0x01000000}; // По факту передача через стек)
|
|
||||||
LongNum b = { 0x10100010, 0x0900000f};
|
|
||||||
LongNum c;
|
|
||||||
|
|
||||||
task_regs(&a, &b, &c);
|
|
||||||
printf("asdfasfasfasfda %lx %lx", c.h, c.l); // Проверим, что сложили +- корректно
|
|
||||||
int nums[2] = {88, 11};
|
|
||||||
stack_wrapper(nums, sizeof(int));
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
17
08-debugging/Makefile
Normal file
17
08-debugging/Makefile
Normal file
@ -0,0 +1,17 @@
|
|||||||
|
|
||||||
|
all: test testee
|
||||||
|
|
||||||
|
test: test.o
|
||||||
|
gcc $^ -o $@ -g
|
||||||
|
|
||||||
|
test.o: test.c
|
||||||
|
gcc -c $^ -g
|
||||||
|
|
||||||
|
testee: testee.o
|
||||||
|
ld $^ -o $@
|
||||||
|
|
||||||
|
testee.o: testee.asm
|
||||||
|
nasm -felf64 $^ -o $@ -g
|
||||||
|
|
||||||
|
clean:
|
||||||
|
rm *.o test *.gch testee
|
||||||
@ -2,3 +2,13 @@
|
|||||||
|
|
||||||
## Отладчик
|
## Отладчик
|
||||||
|
|
||||||
|
Всю основу написания отладчиков на Linux держит на своих плечах один единственный систенмый вызов - ptrace ("process trace"). Он позволяет выполнять все то, что мы привыкли делать в дебаггере - шаг с обходом, шаг с заходом, просмотр регистров, мучения оперативы и прочие радости отладки. Как тут помочь не знаю, потому что подробный гайд займет целую статью. Предложение простое - почитать великую статью по написанию (первые 2 части покроют весь материал этой лабы): https://blog.tartanllama.xyz/writing-a-linux-debugger-setup/
|
||||||
|
|
||||||
|
В основном пробелмы будут сопряжены только с чтением того, что вообще может делать ptrace, а может он почти все, что нас инетерсует, тольк вот интерфейс у него мягко скажем не по solid.
|
||||||
|
|
||||||
|
Внутри своего кода я ввел специальный макрос `DONT_CARE`, который призван сигнализировать о том, что при определенном флаге некоторые поля будут игнорироваться.
|
||||||
|
|
||||||
|
В остальном удачи и учтите, что программа останавливается как-то по своей логике, а не по логике обычного человека. Она остановится не в момент ptrace (PTRACE_TRACEME, ...), а в момент execv. Почему так? да фиг его знает если честно. Скорее всего просто в этот момент программа посылает сигнал о том, что образ потока был переписан. Других идей у меня нет.
|
||||||
|
|
||||||
|
Собственно именно поэтому continue прожималось мной 2 раза, а не один, как хотелось бы верить по логике
|
||||||
|
|
||||||
|
|||||||
67
08-debugging/test.c
Normal file
67
08-debugging/test.c
Normal file
@ -0,0 +1,67 @@
|
|||||||
|
#include<stdio.h>
|
||||||
|
#include<stdlib.h>
|
||||||
|
#include<unistd.h>
|
||||||
|
#include<sys/types.h>
|
||||||
|
#include<sys/ptrace.h>
|
||||||
|
#include<sys/user.h>
|
||||||
|
#include<sys/wait.h>
|
||||||
|
|
||||||
|
#define DONT_CARE 0
|
||||||
|
|
||||||
|
int stats;
|
||||||
|
struct user_regs_struct regs;
|
||||||
|
|
||||||
|
void continue_execution(pid_t pid)
|
||||||
|
{
|
||||||
|
ptrace(PTRACE_CONT, pid, DONT_CARE, DONT_CARE);
|
||||||
|
waitpid(pid, &stats, 0);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
void print_rax(pid_t pid)
|
||||||
|
{
|
||||||
|
ptrace(PTRACE_GETREGS, pid, DONT_CARE, ®s);
|
||||||
|
printf("rax = %llu\n", regs.rax);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
void step(pid_t pid)
|
||||||
|
{
|
||||||
|
ptrace(PTRACE_SINGLESTEP, pid, DONT_CARE, DONT_CARE);
|
||||||
|
waitpid(pid, &stats, 0);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
int main()
|
||||||
|
{
|
||||||
|
printf("procces is run ");
|
||||||
|
pid_t pid;
|
||||||
|
pid = fork();
|
||||||
|
if (pid==0)
|
||||||
|
{
|
||||||
|
printf(" -- child\n");
|
||||||
|
ptrace(PTRACE_TRACEME, 0, 0, 0);
|
||||||
|
execl("./testee", "testee", NULL);
|
||||||
|
printf("____AFTER_TRACE_CHILD____\n");
|
||||||
|
}
|
||||||
|
else if(pid > 0)
|
||||||
|
{
|
||||||
|
char buff;
|
||||||
|
printf(" -- parrent\n");
|
||||||
|
continue_execution(pid); // to start app
|
||||||
|
continue_execution(pid);
|
||||||
|
if (stats & SIGTRAP)
|
||||||
|
{
|
||||||
|
printf("--BREAKPOINT--\n");
|
||||||
|
while (stats != 0)
|
||||||
|
{
|
||||||
|
read(0, &buff, 1);
|
||||||
|
print_rax(pid);
|
||||||
|
step(pid);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
printf("____PROCESS_WAS_TERMINATED____\n");
|
||||||
|
}
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
26
08-debugging/testee.asm
Normal file
26
08-debugging/testee.asm
Normal file
@ -0,0 +1,26 @@
|
|||||||
|
global _start
|
||||||
|
|
||||||
|
section .data
|
||||||
|
msg: db "I'm alive", `\n`, 0
|
||||||
|
msg_len equ $-msg
|
||||||
|
|
||||||
|
section .text
|
||||||
|
_start:
|
||||||
|
xor rax, rax,
|
||||||
|
add rax, 1
|
||||||
|
;int3
|
||||||
|
add rax, 12
|
||||||
|
;int3
|
||||||
|
mov rax, 33
|
||||||
|
;int3
|
||||||
|
|
||||||
|
mov rax, 1
|
||||||
|
mov rdi, 1
|
||||||
|
mov rsi, msg
|
||||||
|
mov rdx, msg_len
|
||||||
|
syscall
|
||||||
|
int3
|
||||||
|
|
||||||
|
mov rax, 60
|
||||||
|
mov rdi, 0
|
||||||
|
syscall
|
||||||
Reference in New Issue
Block a user