From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nickel@basealt.ru>
X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on
 sa.local.altlinux.org
X-Spam-Level: 
X-Spam-Status: No, score=-4.3 required=5.0 tests=ALL_TRUSTED,BAYES_00,
 RP_MATCHES_RCVD autolearn=unavailable autolearn_force=no version=3.4.1
From: Nikolai Kostrigin <nickel@basealt.ru>
Organization: BaseALT
To: community@lists.altlinux.org
Message-ID: <44d97b05-e440-6f91-bfcc-75f755b5ec11@basealt.ru>
Date: Mon, 5 Apr 2021 17:22:29 +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: [Comm] =?utf-8?b?0JHQsNC30LAg0LTQsNC90L3Ri9GFINGB0Y3QvNC/0LvQvtCy?=
 =?utf-8?b?INC60L7QtNCwINC00LvRjyDRg9C70YPRh9GI0LXQvdC40Y8g0YTQsNC30Lc=?=
 =?utf-8?b?0LjQvdCzLdGC0LXRgdGC0LjRgNC+0LLQsNC90LjRjyDQn9Ce?=
X-BeenThere: community@lists.altlinux.org
X-Mailman-Version: 2.1.12
Precedence: list
Reply-To: nickel@basealt.ru, ALT Linux Community general discussions
 <community@lists.altlinux.org>
List-Id: ALT Linux Community general discussions <community.lists.altlinux.org>
List-Unsubscribe: <https://lists.altlinux.org/mailman/options/community>,
 <mailto:community-request@lists.altlinux.org?subject=unsubscribe>
List-Archive: <http://lists.altlinux.org/pipermail/community>
List-Post: <mailto:community@lists.altlinux.org>
List-Help: <mailto:community-request@lists.altlinux.org?subject=help>
List-Subscribe: <https://lists.altlinux.org/mailman/listinfo/community>,
 <mailto:community-request@lists.altlinux.org?subject=subscribe>
X-List-Received-Date: Mon, 05 Apr 2021 14:22:35 -0000
Archived-At: <http://lore.altlinux.org/community/44d97b05-e440-6f91-bfcc-75f755b5ec11@basealt.ru/>
List-Archive: <http://lore.altlinux.org/community/>
List-Post: <mailto:mandrake-russian@linuxteam.iplabs.ru>

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

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

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

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

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