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

From: Nikolai Kostrigin <nickel@altlinux.org>
To: devel@lists.altlinux.org
Subject: Re: [devel] База данных сэмплов кода для улучшения фаззинг-тестирования ПО
Date: Tue, 6 Apr 2021 10:24:25 +0300
Message-ID: <8c1e3b54-1547-cda4-4dd9-328671aaff1d@altlinux.org> (raw)
In-Reply-To: <20210405193124.4f5a6d25@rigel.localdomain>


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
>