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