Отладка

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

О структуре исполняемых файлов (коротко)

ELF:

• nm для статически собранных объектников

• readelf / objdump для динамически собранных объектников

• ldd (LD_LIBRARY_PATH=, LD_PRELOAD= — в следующей лекции)

Что нужно для отладки

• Без оптимизации
• Без привязки к исходнику — дизассемблер + имена

• Привязка к исходнику — debuginfo

  • Поиск исходника
• То же для всех библиотек

  • -debuginfo-версии пакетов с библиотеками

  • + их исходники (обычно содержатся в -debuginfo)

⇒ cc -O0 -g

GDB

Документация

• Выполнение

  • run

  • continue

  • next

  • step

  • finish

  • advance

• Точки останова

  • По номеру строки (оптимизация ) breakpoint

    • b main + run — это start

  • По изменению ячейки (=> выражения) watchpoint

  • По C++-исключению или syscall-у catchpoint

• Просмотр

  • Ячейки (=> выражения, в т. ч. адресного) print, display, x

  • куска исходника вокруг точки останова list

  • дампа памяти dump

• Стек вызовов

  • Просмотр backtrace

  • Переход up, down

• «Отладка назад»

• Запись/воспроизведение

• …!

Пример на bt с несколькими функциями

   1 #include <stdio.h>
   2 int N = 42;
   3 
   4 
   5 int fun2(int n) {
   6         return n*2+1;
   7 }
   8 
   9 int fun1(int c) {
  10         c += 1;
  11         return fun2(c) + fun2(c*2);
  12 }
  13 
  14 int main(int argc, char *argv[]) {
  15         int i;
  16 
  17         for(i=0; i <10; i++)
  18                 printf("%d\n", fun1(N+i));
  19         return 0;
  20 }

• b fun2 + run + bt

Пример игры со стеком:

   1 #include <stdio.h>
   2 
   3 int tst(long *p) {
   4   long x;
   5   x = (long) p;
   6   return 0;
   7 }
   8 
   9 int tst2() {
  10   long int *a;
  11   *a = 42;
  12   return 0;
  13 }
  14 
  15 int main(int argc, char *argv[]) {
  16         long b=7;
  17         tst(&b);
  18         tst2();
  19         printf("⇒ %ld\n", b);
  20         return 0;
  21 }

• Он ещё и не падает, скотина! И компилируется без ошибок!! (Правда, ключ -Wall спасает, но не от всего).

• Падает, если закомментировать вызов tst(&b);

• Как поймать:

  • Посмотрим адрес b (локальная переменная ⇒ на стеке) p/x &b

  • Посмотрим состояние стека в tst() с помощью x/8x $sp и мусора под стеком x/8x $sp-8 (стек растёт вниз!)

  • Посмотрим адрес x в tst() и чему оно становится равно

  • Посмотрим адрес a в tst2(), какой «мусор» (ой ли?) там лежит, и что из всего этого получается!

Такой вот этот ваш Си! Всё можно написать))

elfutils debuginfod

• В частности, для ALT: https://debuginfod.altlinux.org/

  • Пример с libpcre (если успеем)

  • ~/.cache/debuginfod_client

Материалы:

• Статья на Хабре

• статья некоторого товарища, основавшего Школу Хакеров

  • Перевод на Хабре

• Шпаргалка по GDB: https://sourceware.org/gdb/onlinedocs/refcard.pdf

• Учебник

• ptrace_scope и gdb -p

  • ALT:

    # cat /etc/sysctl.d/99-sysctl.conf
    kernel.yama.ptrace_scope = 0

• GDB srver

  • Способ удалённой отладки / отладки программ, работающих с экраном (например, с curses)

Интерфейсы для gdb

• gdb -tui

• cgdb

• Nemiver, KDbg

• Встроенные в IDE

• Бонус: gdbgui

• Проброс GdbGUI с сервера практикума:
  0. Установка GdbGUI

        1 [myacc@linuxprac]$ pip3 install gdbgui
        2 
     

     • Стартовый сценарий лежит в ~/.local/bin/; это хорошее место для добавления в $PATH

  1. Проброс порта www-сервера

     [me@myhost ~]$ ssh myacc@linuxprac -L5000:localhost:5000

  2. Запуск backend-а

        1 [myacc@linuxprac]$ ~/.local/bin/gdbgui prog
        2 
     

  3. Запуск frontend-а

        1 [me@myhost ~]$ firefox http://127.0.0.1:5000
        2 
     

Сценарии для GDB

• вот так всё просто

• обучающая статья — её имеет смысл отщёлкать!

• на примерах

• Пример для кода с fun2() (кумулятивный, разберём понемногу)

  set pagination off
  b fun2 if n > 98
  command 1
          bt
          cont
  end
  
  run
  quit

• .gdbinit

  • Пример (перекрашивание, сохранение истории и специальные функции для вывода содержимого QString):

    set history save on
    set style address foreground yellow
    
    define printqs5static
      set $d=$arg0.d
      printf "(Qt5 QString)0x%x length=%i: \"",&$arg0,$d->size
      set $i=0
      set $ca=(const ushort*)(((const char*)$d)+$d->offset)
      while $i < $d->size
        set $c=$ca[$i++]
        if $c < 32 || $c > 127
          printf "\\u%04x", $c
        else
          printf "%c" , (char)$c
        end
      end
      printf "\"\n"
    end
    
    define printqs5dynamic
      set $d=(QStringData*)$arg0.d
      printf "(Qt5 QString)0x%x length=%i: \"",&$arg0,$d->size
      set $i=0
      while $i < $d->size
        set $c=$d->data()[$i++]
        if $c < 32 || $c > 127
          printf "\\u%04x", $c
        else
          printf "%c" , (char)$c
        end
      end
      printf "\"\n"
    end

• Сценарии для gdb на Питоне (в документации). А что, так можно было?

Д/З

• Установить в сборочное окружение -debuginfo версии библиотек. В разных дистрибутивах могут называться по-разному, приезжать вместе с -devel версиями и даже отсутствовать. В ALT называются libчтототам-debuginfo-версия и лежат в отдельной секции репозитория (вот пример sources.list с сервера практикума)

  frbrgeorge@linuxprac ~/src $ grep "^[^#]" /etc/apt/sources.list.d/yandex.list
  rpm [alt] http://mirror.yandex.ru/altlinux Sisyphus/x86_64 classic debuginfo
  rpm [alt] http://mirror.yandex.ru/altlinux Sisyphus/x86_64-i586 classic
  rpm [alt] http://mirror.yandex.ru/altlinux Sisyphus/noarch classic

• Прощёлкать как минимум make-your-debugging-easier и gdb-scripting

• Задача.

  • Написать простейшую (или нет, см. далее ☺) программу-генератор арифметической прогрессии range.c, принимающую от одного до трёх параметров по аналогии с питоновским range()

    • Без параметров — выводит help
    • С одним параметром N — выводит в столбик последовательность [0, 1, … N-1]
    • С двумя — M, N — последовательность [M, M+1, … N-1]
    • С тремя — M, N, S — последовательность [M, M+S, M+2S, … N-1]
  • Написать следующие gdb-сценарии (формат вывода произвольный):

    1. Запустить ./range с параметрами 1 12 и вывести содержимое переменных, отвечающих на зачало, конец, шаг и текущее значение элемента прогрессии, только когда этот элемент кратен 5

    2. Запустить ./range с параметрами -100 100 3 и вывести содержимое переменных, отвечающих на зачало, конец, шаг и текущее значение элемента прогрессии только для 28, 29, 30, 31, 32, 33, 34, и 35 по счёту элементов прогрессии

  • Написать Makefile, в котором будут

    1. Компиляция бинарника с ключами -O0 -g

    2. Цель test: — запуск этих gdb-сценариев и сравнение их вывода с эталонным

       • gdb любит выводить много лишней/динамической информации, например, адреса, которые вполне могут не повторяться при новом запуске.

       • я использовал в gdb-сценариях связку echo @@@ и print …, после чего grep-ал строки, начинающиеся на @@@, и с эталоном сравнивал только их.

       • Ещё я использовал --batch и --quiet, а вот logging не использовал

       • Чтобы вывод утилиты range не мешал, его надо перенаправлять в /dev/null прямо в самой команде run

    3. Цель clean: — удаление всех генератов

• Вариант для тех, кому скучно так тупо программировать на Си. Дописать функции и типы данных к этой программе, решить Д/З с ней:

     1 int main(int argc, char *argv[]) {
     2         range I;
     3         argparse(argc, argv, &I.start, &I.stop, &I.step);
     4         for(range_init(&I); range_run(&I); range_next(&I))
     5                 printf("%d\n", range_get(&I));
     6         return 0;
     7 }
  

  • Заодно и поотлаживаете ☺!

• Создать в репозитории с решениями подкаталог 05_Debugging и положить туда все исходники решения этой задачи