WoofWare.PawPrint

Стан проєкту: Невідомо

An implementation of a deterministic .NET runtime, which can fuzz over all sources of nondeterminism; also some nascent tools for the symbolic analysis of IL.

Досліджуване ПЗ або обладнання
.NET
Тип роботи
Зворотна розробка й документування
Основний публічний репозиторій
github.com/smaug123/woofware.pawprint
9Зірки на GitHub

Проєкти впорядковано за останньою зафіксованою кількістю зірок репозиторію. Зірки показують зацікавленість, а не поступ роботи. Відсутні значення залишаються невідомими.

Про проєкт і його завдання

An implementation of a deterministic .NET runtime, which can fuzz over all sources of nondeterminism; also some nascent tools for the symbolic analysis of IL.

Можливість долучитися

Правила участі невідомі

Правила використання ШІ
Не зазначено

Системи учасників за документацією

Середовище учасника не описано

Заявлений прогрес

Прогрес не опубліковано

Вихідний код, збирання та релізи