Реверс-инжиниринг беспроводных ценников

https://dmitry.gr/?r=05.Projects&proj=29.%20eInk%20Price%20Tags

Потрясающая статья об устройстве двух ценников с экранами E-Ink. Автор тщательно изучает работу устройств и пишет своё ПО чтобы превратить ценники в фоторамки с беспроводной загрузкой изображений.

Интересные статьи по Rust — 2

http://adventures.michaelfbryan.com/posts/how-not-to-riir/

Как не переписать всё на Раст. В данном случае автор ограничивается безопасной обёрткой для CHMLib.

http://adventures.michaelfbryan.com/posts/how-to-riir/

Как переписать всё на Раст. На примере tinyvm автор показывает как шаг за шагом заменить сишный код на Rust.

Интересные статьи по Rust

Why Learn Rust the Dangerous Way?

http://cliffle.com/p/dangerust/0/

Весьма интересный подход к изучению Rust. Сначала пишем unsafe код в стиле Си, затем постепенно используем возможности Rust для обеспечения максимальной безопасности.

Learn Rust With Entirely Too Many Linked Lists

https://rust-unofficial.github.io/too-many-lists/index.html

Дались вам эти связные списки! Один из частых упрёков в сторону Rust — сложность реализации связных списков. Статья рассматривает ключевые особенности Rust и помогает найти правильный подход к связным спискам.

Бен Клеменс, Язык С в XXI веке

Отличный вариант продолжить изучение Си после книг Столярова. Много приближенных к реальности задач и подходов к их решению. Подробно рассмотрены возможности, внесённые последними стандартами, многопоточность и некоторые популярные библиотеки.

Андрей Столяров. Программирование: введение в профессию

http://stolyarov.info/books/programming_intro/

Дочитал трилогию, очень понравилась, жду четвёртый том. Кратко расскажу о содержании.

Том 1. Знакомство с Unix и Pascal. У многих подгорает от Паскаля, но я не вижу проблемы потратить на него немного времени, если человек начинает совсем уж с нуля. Имеющие опыт программирования могут просто почитать исходники и понять, что имеется в виду. Вместе с тем, Паскаль имеет одну очень важную особенность — указатели, понимание которых будет востребовано при изучении Си.

Том 2. Ассемблер и Си. Конечно, пользуясь языками высокого уровня можно игнорировать детали архитектуры и ОС, но мне такой подход не кажется правильным. Опять же, не нужно становиться гуру ассемблера, а потратить несколько часов на понимание того, что же на самом деле делает компьютер при исполнении кода, весьма полезно. Тем более, если цель — изучать Си, очень хорошо видно как некоторые его аспекты вылезли из ассемблера. Так же автор рассматривает стандартную библиотеку, устройство тулчейна и системы контроля версий.

Том 3. ОС и сеть. Вот где-то здесь и начинается написание близких к реальности программ. Описаны способы взаимодействия программы с внешним миром, указаны различные нюансы, усложняющие жизнь за границей сферического «Hello, world» в вакууме.

Том 4 в процессе написания. Автор обещает обзор парадигм различных языков программирования и графические интерфейсы. Несмотря на то, что финансовая цель была достигнута ещё в начале года, я сделал пожертвование в качестве благодарности за огромную пользу, которую мне принесли труды автора.

nm: кто занял весь флэш?

Если хочется узнать какой код занимает больше всего флэша в микроконтроллере, стоит воспользоваться утилитой nm. Параметр radix задаёт формат отображения чисел. Десятичный удобен для понимания размера, но портит адреса. Пример цели size для make:

size:
    $(PREFIX)nm --print-size --size-sort --radix=d $(BUILD_DIR)/$(TARGET).elf

Таким образом можно узнать, что функция HAL_RCC_OscConfig занимает больше килобайта!

arm-none-eabi-nm --print-size --size-sort --radix=d ./build/target.elf
....
134218896 00001100 T HAL_RCC_OscConfig

Для некоторых случаев можно сократить этот размер закомментировав настройку ненужных источников тактирования. Странно, что это не делается автоматически для источников, отсутствующих в данном МК.

Pwn Adventure 3: Pwnie Island

Великолепные видео-уроки по реверс-инжинирингу сетевой игры Pwnie Island. Игра была сделана именно для этой цели, поэтому в ней оставлена отладочная информация, чтобы не скучать, а сразу перейти к веселью.

О сколько нам открытий чудных…

Узнал как инициализировать массив в Си несколькими повторяющимися значениями:

int widths[] = { [0 ... 9] = 1, [10 ... 99] = 2, [100] = 3 };

Поддерживается только GCC. Источник: https://gcc.gnu.org/onlinedocs/gcc/Designated-Inits.html

На той же странице есть интересное замечание про инициализацию union из int и float — если явно инициализировать float целочисленной константой, то она будет преобразована к float. Если же привести целое к union, то оно останется целым.

О легаси коде

https://tiffnix.com/blog/2014/10/19/refactoring-legacy.html

«I’ve taken up maintaining a project that my friend Darkflux works on. It’s called Fate of the Republic (FotR), a Star-Wars MUD. The website is fateoftherepublic.com, and you can connect via Telnet to fateoftherepublic.com:1313

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

Doxygen, gprof и другие

Начал использовать Doxygen для документирования кода. В поисках документации наткнулся на отличную статью Handbook of Open Source Tools из которой узнал про gprof, который можно применить к микроконтроллерам. Осталось найти время и разобраться с новым инструментом, т. к. выглядит он чрезвычайно полезным.

OpenOCD RTOS Support

Оказывается, OpenOCD поддерживает отладку ОС для МК, но по умолчанию эта возможность выключена. Поскольку сейчас делаю проект на FreeRTOS, решил попробовать сделать отладку более удобной. Чтобы включить поддержку ОС нужно:

  1. Добавить флаг -rtos auto в строку $_TARGETNAME configure в файле target/xxx.cfg
  2. Добавить в проект файл с определением символа uxTopUsedPriority, т.к. он отсутствует в последних версиях FreeRTOS
  3. Исправить флаги линкера, как указано в файле, чтобы линкер не выкинул этот символ при сборке

Запустив отладку я увидел, что OpenOCD автоматически определил FreeRTOS и нашёл создаваемые ею задачи. К сожалению, собственно отладка у меня не заработала — при попытке дойти до точки останова в main() связь с отладчиком терялась. Пока что пришлось вернуться к отладке без поддержки ОС. Возможно, проблема связана с плагином cortex-debug для vscode. В Eclipse, судя по чужому опыту, всё работает без проблем. Возможно, ещё вернусь к этому вопросу.

Использованные материалы:

STM32 HAL: используем printf

В сгенерированный кубом код нужно добавить следующий кусок в main.c:

#include  <errno.h>
#include  <sys/unistd.h> // STDOUT_FILENO, STDERR_FILENO

int _write(int file, char *data, int len)
{
   if ((file != STDOUT_FILENO) && (file != STDERR_FILENO))
   {   
      errno = EBADF;
      return -1; 
   }   

   // arbitrary timeout 1000
   HAL_StatusTypeDef status =
      HAL_UART_Transmit(&huart1, (uint8_t*)data, len, 1000);

   // return # of bytes written - as best we can tell
   return (status == HAL_OK ? len : 0); 
}

Я добавляю после /* USER CODE BEGIN 4 */. UART должен быть предварительно настроен. Да, это блокирующий код, но пока что он меня устраивает.

STM32: OpenOCD semihosting

Небольшая заметка для себя, чтобы не гуглить заново в следующий раз.

  • В Makefile меняем параметры линкера: вместо -specs=nano.specs пишем -specs=rdimon.specs, вместо -lnosys пишем -lrdimon. Мне также пришлось добавить -Wl,—no-wchar-size-warning, т. к. размерность wchar где-то не совпала.
  • В коде до main объявляем функцию extern void initialise_monitor_handles(void) и вызываем её в начале main. Важный момент — при отсутствии принимающей стороны на хосте этот вызов приведёт к HardFault, т. е. система сможет работать только под отладчиком.
  • Запускаем OpenOCD с командой arm semihosting enable и в его выводе увидим сообщения от printf. Ещё один важный момент — вывод будет в отладочных сообщениях, по telnet его не видно.
  • Для младших контроллеров может стать проблемой увеличение размера прошивки. В STM32F030 пришлось уменьшить размер Min_Heap_Size в LD-скрипте.