185 похожих чатов

Https://Www.Opennet.Ru/Opennews/Art.Shtml?Num=59986 Исследователи из Швейцарской высшей технической школы Цюриха разработали систему fuzzing-тестирования

Cascade, нацеленную на выявление ошибок и уязвимостей в процессорах на базе архитектуры RISC-V

9 ответов

5 просмотров

Это разве не в другой чат?

Alexander-Chichigin Автор вопроса
Alexander Chichigin
Который из них? 😂

Формальные методы верификации ПО на практике

Alexander-Chichigin Автор вопроса
Konstantin Romanov
Формальные методы верификации ПО на практике

Я бы не сказал, что фаззинг — сильно формальный метод, но можно переслать...

Alexander Chichigin
Я бы не сказал, что фаззинг — сильно формальный ме...

Но это явно не компилятор. В смысле экспортёр кода в TikZ будет большим компилятором чем фаззинг.

Alexander-Chichigin Автор вопроса
Konstantin Romanov
Но это явно не компилятор. В смысле экспортёр кода...

Этот чат помимо компиляторов и интерпретаторов ещё посвящён инструментальным средствам (линковщики, отладчики, генераторы парсеров, фаззеры тоже), не говоря про связь процессоров (и их корректности) с компиляторами. 👌

Вообще, заметил, что у многих компиляторщиков очень большая оторванность от железок. Хотя казалось бы

Alex
Вообще, заметил, что у многих компиляторщиков очен...

Парсер-комбинаторы строить не инсткрукции эмитить) Просто другой конец одной большой задачи)

Aλexander Syrotenko
Парсер-комбинаторы строить не инсткрукции эмитить)...

Инструкции эмитить тоже не то, чтобы сложно. Но не всегда нужно. А вот на другом конце как правило на входе будет текст, который приходится парсить

Похожие вопросы

Обсуждают сегодня

Гайз, кто-нибудь пробовал запустить probe-rs под камень, которого нет в probe-rs? Мб есть какой-нибудь пример у кого... Через target-gen попробовал сгенерировать chip-descript...
Максим Смирнов
2
здравствуйте. совершаю вот такую вещь: strcpy(line, (char)current_number); где current number — неподписанный шорт, line — массив чаров. ругань следующая: main.c:29:30: error...
Roberto's Ширгозиев
13
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
Можно попросить небольшое ревью кода? Тут немнога, я ничего интереснее не придумал, чем написать аналог tree в качестве практики с cmake. https://github.com/hrimov/tree-unix/...
Andrew Hrimov
11
Всем привет. Ребят подскажите пожалуйста. Вопрос по дизасемблировани. Начну с начала. У меня есть скомпилированная программа на ГО (я разработчик) - в ней есть защита лицензии...
Zloy
11
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
кто тебе сказал, что она угроблена? многие только начинают жизнь, после увольнения из Гугла, Майкрософта, Оракла,...
Alex Kom
9
Полного набора чего? ООП это инкапсуляция и полиморфизм, а не этот ваш синтаксический сахар
Yuri Volkov
8
Карта сайта