From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on sa.local.altlinux.org X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=ALL_TRUSTED,BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.1 To: devel@lists.altlinux.org References: <7b64ae64-c10b-767e-0c32-9fa50bab1fea@altlinux.org> <20210405193124.4f5a6d25@rigel.localdomain> From: Nikolai Kostrigin Organization: ALT Linux Team Message-ID: <8c1e3b54-1547-cda4-4dd9-328671aaff1d@altlinux.org> Date: Tue, 6 Apr 2021 10:24:25 +0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.0 MIME-Version: 1.0 In-Reply-To: <20210405193124.4f5a6d25@rigel.localdomain> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [devel] =?utf-8?b?0JHQsNC30LAg0LTQsNC90L3Ri9GFINGB0Y3QvNC/0Ls=?= =?utf-8?b?0L7QsiDQutC+0LTQsCDQtNC70Y8g0YPQu9GD0YfRiNC10L3QuNGPINGE0LA=?= =?utf-8?b?0LfQt9C40L3Qsy3RgtC10YHRgtC40YDQvtCy0LDQvdC40Y8g0J/Qng==?= X-BeenThere: devel@lists.altlinux.org X-Mailman-Version: 2.1.12 Precedence: list Reply-To: ALT Linux Team development discussions List-Id: ALT Linux Team development discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 06 Apr 2021 07:24:32 -0000 Archived-At: List-Archive: List-Post: 05.04.2021 19:31, Paul Wolneykien пишет: > В Mon, 5 Apr 2021 18:04:05 +0300 > Nikolai Kostrigin пишет: > >> Здравствуйте! >> >> В рамках разработки и улучшения методик фаззинг-тестирования ПО под >> эгидой ИСП РАН создается база данных кода для тестовых сэмплов. >> >> Интересует такой код, покрытие которого по состояниям, полностью не >> описывается покрытием по строкам/базовым блокам и ребрам. > > Мало что понял, но сразу вопрос: почему в 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 >