From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nickel@altlinux.org>
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: ALT Linux Team development discussions <devel@lists.altlinux.org>
From: Nikolai Kostrigin <nickel@altlinux.org>
Organization: ALT Linux Team
Message-ID: <7b64ae64-c10b-767e-0c32-9fa50bab1fea@altlinux.org>
Date: Mon, 5 Apr 2021 18:04:05 +0300
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.8.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 8bit
Subject: [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 <devel@lists.altlinux.org>
List-Id: ALT Linux Team development discussions <devel.lists.altlinux.org>
List-Unsubscribe: <https://lists.altlinux.org/mailman/options/devel>,
 <mailto:devel-request@lists.altlinux.org?subject=unsubscribe>
List-Archive: <http://lists.altlinux.org/pipermail/devel>
List-Post: <mailto:devel@lists.altlinux.org>
List-Help: <mailto:devel-request@lists.altlinux.org?subject=help>
List-Subscribe: <https://lists.altlinux.org/mailman/listinfo/devel>,
 <mailto:devel-request@lists.altlinux.org?subject=subscribe>
X-List-Received-Date: Mon, 05 Apr 2021 15:04:13 -0000
Archived-At: <http://lore.altlinux.org/devel/7b64ae64-c10b-767e-0c32-9fa50bab1fea@altlinux.org/>
List-Archive: <http://lore.altlinux.org/devel/>
List-Post: <mailto:devel@altlinux.org>

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

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

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

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

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