Csmith - Csmith
Оригинальный автор (ы) | Сюэцзюнь Ян, Ян Чен, Эрик Эйде, Джон Регер |
---|---|
изначальный выпуск | 2011 |
Стабильный выпуск | 2.3.0 / 21 июня 2017 г. |
Репозиторий | github |
Написано в | C ++, Perl |
Тип | Компилятор фаззер |
Интернет сайт | вставлять |
Csmith это инструмент для создания тестовых примеров. Он может генерировать случайные программы на C, которые статически и динамически соответствуют стандарту C99. Он используется для компиляторов стресс-тестирования, статических анализаторов и других инструментов, обрабатывающих код C. Это бесплатный компилятор C с открытым исходным кодом и лицензией. фаззер разработан исследователями из Университета Юты. Ранее он назывался Randprog.[1]
внешняя ссылка
- Веб-страница Csmith Университета Юты
- Ярпген: Еще один генератор случайных программ, yarpgen - это генератор случайных программ на C / C ++.
Рекомендации
- ^ Ян, Сюэцзюнь; Чен, Ян; Эйде, Эрик; Регер, Джон (2011). «Поиск и понимание ошибок в компиляторах Си». Материалы 32-й конференции ACM SIGPLAN по проектированию и реализации языков программирования - PLDI '11. п. 283. CiteSeerX 10.1.1.225.1281. Дои:10.1145/1993498.1993532. ISBN 9781450306638.