Compare commits
2 Commits
labs/08
...
fa92aeebd4
| Author | SHA1 | Date | |
|---|---|---|---|
| fa92aeebd4 | |||
| 623731461f |
70
05-subroutines-params/task.asm
Normal file
70
05-subroutines-params/task.asm
Normal file
@ -0,0 +1,70 @@
|
|||||||
|
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
|
||||||
55
05-subroutines-params/task1.c
Normal file
55
05-subroutines-params/task1.c
Normal file
@ -0,0 +1,55 @@
|
|||||||
|
#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;
|
||||||
|
}
|
||||||
@ -1,17 +0,0 @@
|
|||||||
|
|
||||||
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,13 +2,3 @@
|
|||||||
|
|
||||||
## Отладчик
|
## Отладчик
|
||||||
|
|
||||||
Всю основу написания отладчиков на Linux держит на своих плечах один единственный систенмый вызов - ptrace ("process trace"). Он позволяет выполнять все то, что мы привыкли делать в дебаггере - шаг с обходом, шаг с заходом, просмотр регистров, мучения оперативы и прочие радости отладки. Как тут помочь не знаю, потому что подробный гайд займет целую статью. Предложение простое - почитать великую статью по написанию (первые 2 части покроют весь материал этой лабы): https://blog.tartanllama.xyz/writing-a-linux-debugger-setup/
|
|
||||||
|
|
||||||
В основном пробелмы будут сопряжены только с чтением того, что вообще может делать ptrace, а может он почти все, что нас инетерсует, тольк вот интерфейс у него мягко скажем не по solid.
|
|
||||||
|
|
||||||
Внутри своего кода я ввел специальный макрос `DONT_CARE`, который призван сигнализировать о том, что при определенном флаге некоторые поля будут игнорироваться.
|
|
||||||
|
|
||||||
В остальном удачи и учтите, что программа останавливается как-то по своей логике, а не по логике обычного человека. Она остановится не в момент ptrace (PTRACE_TRACEME, ...), а в момент execv. Почему так? да фиг его знает если честно. Скорее всего просто в этот момент программа посылает сигнал о том, что образ потока был переписан. Других идей у меня нет.
|
|
||||||
|
|
||||||
Собственно именно поэтому continue прожималось мной 2 раза, а не один, как хотелось бы верить по логике
|
|
||||||
|
|
||||||
|
|||||||
@ -1,67 +0,0 @@
|
|||||||
#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;
|
|
||||||
}
|
|
||||||
@ -1,26 +0,0 @@
|
|||||||
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