Подписался на вопрос, тоже очень интересно. :)

Но немного в другом контексте. Я пытаюсь написать фаззер для своего языка, который понимал бы входную грамматику для генерации синтаксически корректных программ.
На днях задавал вопрос на реддите, где среди прочего посоветовали Zest — утилиту для семантического фаззинга, которая интегрируется в AFL и xsmith — фреймворк для генерации программ с заданной грамматикой.
Посмотрите тред, может быть, найдёте что-то полезное для себя.

upd: поправил ссылку на тред.

понимаю, но по идее чем более разнообразные примеры - тем выше вероятность восстановить исходную или более близкую грамматику, верно?

конечно. на гитхабе, наверное, можно восстановить грамматику c++

на объеме гитхаба

На xsmith у меня получилось написать простой генератор программ для подмножества языка, буквально за вечер. Очень простая штука. Но недостатки в том, что: 1) он очень медленный; 2) из коробки отсутствует возможность интеграции с AFL. Последнее, вроде бы, собираются добавить в следующие релизы.

о, благодарен. изучу

Сорцы закрыты, но собранный компилятор можно найти в интернете

Начните отсюда: https://sci-hub.do/10.1109/icse-c.2017.14

А из-за использования GPL-ных binutils не будет проблем? Или человек, запускающий компиляцию через compiler explorer, не считается за пользователя?

благодарю

Спасибо

http://alexanius.ru/gcc_generic_3.html
Оператор ветвления
Мы создаем метки true_label / false_label

Но ведь если у нас будет много конструкций if-else
То у нас будет пересечение имен
Я правильно понимаю?

Можно ли решить это добавлением еще одного лекс-блока, и привязки контекста объявлений к нему

Аля
if (var)
{}
else
{}
Оборачивается в
{
if (var)
{}
else
{}
}
Чтобы избежать пересечений контекста

Но что тгда будет с вложеными ифами?

@alexanius ?

Генерируйте имена на ходу. Например, sprintf(label_name, "true_label_%d", N).

В примерах имя было взято для понимания того где какая ветвь расположена

Само по себе имя станет ассемблерной меткой (скорей всего, не проверял), там уже лексические блоки не помогут

Так надо уникальные имена генерировать. И, да, зачем транслироваться в ассемблер, если можно в C без всех этих меток?

Не очень понял про трансляцию в Си в контексте создания фронта для gcc

А, я думал, он что-то отдельное пишет

Печаль(

А как вообще в gcc с хранением имен переменных?
Я могу получить предыдущее объявление по ссылке, или мне надо собственную таблицу символов хранить?