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

[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

Re: [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
> 

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

[Nikolai Kostrigin]

05.04.2021 19:31, 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
>>
> 
> _______________________________________________
> Devel mailing list
> Devel@lists.altlinux.org
> https://lists.altlinux.org/mailman/listinfo/devel
> 

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

[Leonid Krivoshein]

05.04.2021 18:04, Nikolai Kostrigin пишет:
> Здравствуйте!
>
>    В рамках разработки и улучшения методик фаззинг-тестирования ПО под
> эгидой ИСП РАН создается база данных кода для тестовых сэмплов.
>
>    Интересует такой код, покрытие которого по состояниям, полностью не
> описывается покрытием по строкам/базовым блокам и ребрам.
>
>    К такому коду относятся (перечисление в порядке повышения уровня
> абстракций состояний):
>
>     - структуры данных: связные списки, деревья...
>     - работа с некоторыми абстракциями: например, аллокаторы памяти
>     - парсеры различных форматов: например, JSON
>     - Десериализаторы и порождаемая ими логика: например, protobuf, pickle…
>     - интерпретаторы языков программирования
>     - JIT компиляторы
>     - …
>
>    Заинтересовавшихся просьба привести примеры подобного кода с привязкой
> к проекту, в котором он реализован.


По первой и второй позиции не совсем понятно, как и чего там файзить, 
если это чистые макросы. Т.е., если и будут проблемы, то не в 
библиотечном коде, а где он используется. Характерно для самой 
распространённой uthash, в какой-то степени и klib. В этой же группе -- 
libcdata, и я бы отнёс сюда glibc вкупе с основным графическим стеком 
(Gtk/Qt), но тут конечно всегда найдётся, чего пофайзить. )) Все 
перечисленные имеют свой апстрим, где говорится, в каких проектах они 
используются.


>    Для желающих непосредственно участвовать в проекте развития фаззинг
> тестирования привожу ссылку [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,
Leonid Krivoshein.