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

[Paul Wolneykien]

В Mon, 5 Apr 2021 18:04:05 +0300
Nikolai Kostrigin <nickel на altlinux.org> пишет:

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

  Мало что понял, но сразу вопрос: почему в devel@? В интернете что,
мало примеров кода?


>   К такому коду относятся (перечисление в порядке повышения уровня
> абстракций состояний):
> 
>    - структуры данных: связные списки, деревья...
>    - работа с некоторыми абстракциями: например, аллокаторы памяти
>    - парсеры различных форматов: например, 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
>