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.0 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding:content-language; bh=+WvKv2BlKa5GI2JEJTI1T/3oxauvGyPQtmGsU03D69k=; b=e2iCJzyd6v6pGh63lTXdbaoYj0SsZQYRIK6HzWMKmh4R+S/fOyWlIC1OTd3hG4uIHz mg4yYq6L/9cX3HH3VDZueQsOFqa/DyG7YCe5k5YjGbJ45x8CQXg21DXNRydOIATvV2I6 i9S6/W5WJS7C/GPMVdamYSgL6Y5wdtZAf6BLWWFcNgLoKc0jfyb0mbL9kXwcS3+WeprO gbDL7f2XJadQaFNfmiuBzU77CXxAE1kA4j3V9wUSm2r3hbYBGxs+F8FoYN3850i4HHpT Hnvg/kWP9lAu/+xZo+c436eETSnsab+V6ZAqEYA7iCEXRn4Z15sc7unnlAoGG7HIOCuN 9eEw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding :content-language; bh=+WvKv2BlKa5GI2JEJTI1T/3oxauvGyPQtmGsU03D69k=; b=eBl5RAhpCZNuIgJRz4iUKMN2BGR+RD9Dop481T3qw/cnCyV6SNm3VPNg4SzjzmX7em EDsyF+KBaKPvoidnfqL1G3X/KtJojhJOMlUTX+RhzD6I/8D/Wv9Wwoi1kFx7ryyR0TNl 09SNZ2h+AMVWpyXCfIuvHLwGo3I2BBPrlt/RgOXifMaMqQsYQAi5W919qSqj/nhK/NUy aAr1RRvQeA2PTvfvtYYHkCkOK5eAHwpi6sOe5eG1jkPgO/o7DGvxQSc/uIX1orGCQKOT OcTEr3RxWdrP/8oDl2B/jzKBz8jx2eVbinOyBZU3oxub891lVHXXL7MIvSXh8R3LGd90 HzgQ== X-Gm-Message-State: AOAM532ZrAKiQAQBD7Zfsma/eNx4LXQIa1tiqI0qbl2tfEKa/YMV/qYT BqSl/Ybf00vyFWf0+F3VT2yicYzFaVA= X-Google-Smtp-Source: ABdhPJzxWz7Mr4A3gp3h1gLLQvHqbMyEqdsNWo6d2C+kOHzMv4QxFWVmuTAOZLDSmkN7miT86SbF8Q== X-Received: by 2002:ac2:5e6a:: with SMTP id a10mr18641908lfr.181.1617650532233; Mon, 05 Apr 2021 12:22:12 -0700 (PDT) To: devel@lists.altlinux.org References: <7b64ae64-c10b-767e-0c32-9fa50bab1fea@altlinux.org> From: Leonid Krivoshein Message-ID: <6a4a0327-d51e-5bdd-b4c1-203950422dbb@gmail.com> Date: Mon, 5 Apr 2021 22:22:11 +0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 In-Reply-To: <7b64ae64-c10b-767e-0c32-9fa50bab1fea@altlinux.org> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: ru 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: Mon, 05 Apr 2021 19:22:16 -0000 Archived-At: List-Archive: List-Post: 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.