Cascade, нацеленную на выявление ошибок и уязвимостей в процессорах на базе архитектуры RISC-V
Это разве не в другой чат?
Который из них? 😂
Формальные методы верификации ПО на практике
Я бы не сказал, что фаззинг — сильно формальный метод, но можно переслать...
Но это явно не компилятор. В смысле экспортёр кода в TikZ будет большим компилятором чем фаззинг.
Этот чат помимо компиляторов и интерпретаторов ещё посвящён инструментальным средствам (линковщики, отладчики, генераторы парсеров, фаззеры тоже), не говоря про связь процессоров (и их корректности) с компиляторами. 👌
Вообще, заметил, что у многих компиляторщиков очень большая оторванность от железок. Хотя казалось бы
Парсер-комбинаторы строить не инсткрукции эмитить) Просто другой конец одной большой задачи)
Инструкции эмитить тоже не то, чтобы сложно. Но не всегда нужно. А вот на другом конце как правило на входе будет текст, который приходится парсить
Обсуждают сегодня