FuzzRV

FuzzRV

FuzzRV — это проект, направленный на разработку фаззера для автоматизированного тестирования RTL-моделей и симуляторов микропроцессоров с архитектурой RISC-V.

Проект основан на интеграции таких инструментов, как MicroTESK для генерации начальных тестовых программ и Google OSS-Fuzz для выполнения фаззинг-тестирования. В рамках FuzzRV осуществляется работа с Verilog-описаниями, их преобразование в C++ модели через Verilator и запуск мутированных тестов для анализа поведения процессорных моделей.

Фаззинг RISC-V