Инструментарий Cascade позволил выявить 29 уязвимостей в процессорах RISC-V
Исследователи разработали систему fuzzing-тестирования Cascade для выявления ошибок в процессорах на базе архитектуры RISC-V. Инструментарий уже позволил выявить 37 ошибок в процессорах, из которых 29 были классифицированы как ранее неизвестные уязвимости. Большинство из них приводили к проблемам с безопасностью.
Существующие до этого системы fuzzing-тестирования процессоров ограничивались выполнением коротких порций кода, охватывающих небольшую часть набора инструкций. ? Cascade нацелен на генерацию больших и сложных программ, охватывающих нетривиальные потоки выполнения команд и приводящих к возникновению нетипичных состояний CPU.
Если в ходе выполнения возникнет ошибка в потоке данных, то она каскадно отразится на дальнейшем ходе выполнения и с большой вероятностью изменит поток выполнения, что приведёт к незавершению программы.