[devel] База данных сэмплов кода для улучшения фаззинг-тестирования ПО

[Nikolai Kostrigin]

Здравствуйте!

  В рамках разработки и улучшения методик фаззинг-тестирования ПО под
эгидой ИСП РАН создается база данных кода для тестовых сэмплов.

  Интересует такой код, покрытие которого по состояниям, полностью не
описывается покрытием по строкам/базовым блокам и ребрам.

  К такому коду относятся (перечисление в порядке повышения уровня
абстракций состояний):

   - структуры данных: связные списки, деревья...
   - работа с некоторыми абстракциями: например, аллокаторы памяти
   - парсеры различных форматов: например, JSON
   - Десериализаторы и порождаемая ими логика: например, protobuf, pickle…
   - интерпретаторы языков программирования
   - JIT компиляторы
   - …

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

  Для желающих непосредственно участвовать в проекте развития фаззинг
тестирования привожу ссылку [1] на GitHub репозиторий проекта.
  Полностью оформленный сэмпл можно подготовить согласно ТЗ [2],[3]
(формат docx и md).

  Спасибо.

[1] https://github.com/ispras/TrustedDynamic
[2] https://github.com/ispras/TrustedDynamic/blob/main/ТЗ на SAF.docx
[3]
https://github.com/ispras/TrustedDynamic/pull/3/commits/74dbbdc8d6ef7dde7d3089516c900144dcbe23b7#diff-12a9d7ea1b1ccbe06a936a8609095d979fe1f30031d5a0ce0dbb69d0007c2208

-- 
Best regards,
Nikolai Kostrigin