Трассировка вызовов

• Хорошая книжка по отладке: https://en.wikibooks.org/wiki/Linux_Applications_Debugging_Techniques

Strace

https://strace.io

• strace — руководство

• Статьи на хабре:

  • про сам strace

  • ещё одна

  • и про use cases с его участием

• kernel.yama.ptrace_scope и strace -p PID / gdb -p PID

Что умеет:

• Отслеживание системных вызовов с помощью ptrace

  • + вывод сопутствующей информации

  • strace date — сколько системных вызовов? / -c

• + фильтр на вызовы/группы вызовов

  • -efile/…, -z/-y/-P

  • strace wc /usr/share/dict/words + все эти ключи

  • (also: язык описания -e в strace)

• + у всех подпроцессов

  • -f, -foo ☺

  • -eexecve/…

  • strace -f -eexecve /bin/sh -c "date; id"

• + трассировка стека вызовов -k и показ параметров (-s###, -v)

  • с ключами -s1024 -vv

• + вброс ошибок

  • Простой пример

  • Ролик и слайды

    • И вообще доклады автора тут

  • strace -e openat -P /dev/null -e fault=openat:error=EACCES:when=3 cat /dev/null{,}{,}

  • strace -e fault=read:error=EPERM:when=5 -y -P /usr/share/dict/words wc /usr/share/dict/words

    • берём getline — что может пойти не так?

• --tips

ИРЛ:

• Какие файлы (не) открывает (в т. ч. все открываемые файлы) (-efile / -z)

  • Что оттуда берёт / кладёт (-s###)

• Почему висит (-p)

• Куда полезло в сеть
• …
• Что сделает, если syscall обломается — error injection
• …

• если будет время: те самые use cases

LD_PRELOAD

Файл с примером:

   1 #include <stdio.h>
   2 #include <string.h>
   3 #include <stdlib.h>
   4 
   5 int main(int argc, char *argv[]) {
   6         int i;
   7         char *s;
   8 
   9         s = strdup(argv[argc-1]);
  10         for(i=0; i<4; i++)
  11                 printf("%s: %d, %d\n", s, rand(), i*2+1);
  12 
  13         return 0;
  14 }

ld.so — LD_PRELOAD, LD_LIBRARY_PATH и т. д.

• LD_PRELOAD trick (another one)

• Простой пример:

     1 int rand(){
     2     return 42; //the most random number in the universe
     3 }
  

• And now:

  $ cc -shared -o ura.so ura.c
  $ cc ranex.c -o randex
  $ ./randex
  $ LD_PRELOAD=`pwd`/ura.so ./randex

• Обёртка вместо подмены: поиск исходной функции

     1 #include <dlfcn.h>
     2 
     3 typedef int (*rand_type)(void);
     4 
     5 int rand(void) {
     6     int res;
     7     res = ((rand_type)(dlsym(RTLD_NEXT, "rand")))();
     8     return res % 2 ? res : 42;
     9 }
  

• Пример ИРЛ

В ту же тему: ldd

Прочее

• ltrace

  • ltrace grep -P "a.*b.*c" /etc/printcap

    • -l libpcre2-8.so.0 / -e pcre2_compile_8

• xtruss

• …

• ftrace trace-cmd

• SystemTap

• …

Д/З

0. Прочитать про

   • strace / ltrace

   • errno

   • ld.so

1. Написать программу move.c, принимающую два параметра в командной строке: move infile outfile, которая перемещает содержимое файла infile в файл outfile (если таковой был, его содержимое удаляется), и в случае успеха удаляет infile.

   • Программа должна проверять по возможности все возможные ошибки и сообщать о них;
     • В каждом случае необходимо выставлять различный код ошибки
   • Программа должна по возможности работать безопасно — не удалять исходный файл, пока целевой не закрыт, удалять целевой файл и сохранять исходный, если есть подозрение, что что-то пошло не так

   • Данные надо копировать (разрешено целиком считывать файл в память); использование link(2) не допускается.

   • Написать тесты с помощью strace error injection, которые позволяют проверить как можно больше ошибочных ситуаций:

     • проверяют код ошибки и наличие того файла, который должен был остаться ☺;

     • скорее всего, обработать таким образом malloc() не получится — и не требуется!

   • Написать .so библиотеку для LD_PRELOAD, при подгрузке которой файл, в имени которого есть строка "PROTECT", не удаляется (как минимум — не удаляется при помощи вашего move). Написать тест, который это проверяет

   • Как обычно, написать Makefile:

     • По умолчанию — сборка move и библиотеки

     • test: запуск тестов на вброс ошибки и теста на LD_PRELOAD

     • clean: удаление генератов

2. Создать в репозитории каталог 06_Tracing и положить туда решение задачи