Чистый ANSI C

Насчет 'живого' не уверен, но старый софт из соотв временного промежутка наверняка почти весь

Уточни вопрос. Проектов таких много. ANSI, C89 или C99 — про статистику говорить не берусь. Но на чистом C написанно очень многе. (От ядер OS, до X11 и дальше.)

интерес вызывает больше строгость соблюдения стандарта, отсутствия костылей.

http://www.lua.org/faq.html#1.1

ANSI c, она же c89

Хм, готовых свободных решений для static c analysis не знаю. Но появилась идея для следующего lor-contest:

берём C grammar, модифицируем для K&R, C89 и C99 и пытаемя распразить всё, что в /usr/ports начиная с минимального. =)

Втыкаем в статистику. =) PROFIT

PS: можно задействовать и gcc с разными флагами.

сам стандарт(и 89 и последующие) по природе своей есть костыль и компромисс - фиксирующий текущее некоторое усреднённое(в хз какой метрике) состояние и одинаково всем текущим лидирующим(по число пользобазы) реализациям удобное/неудобное.

язык программирования как результат работы социальной машины отбора эволюционных изменений.

т.е. в чистом смысле чистого С никогда не было кроме моментов утверждения стандартов которые фиксировали наиболее распространнёные эволюционные побеги.

klee вроде должен, ну и frama-c, конечно.

Что ты имеешь в виду?

ого, даже всё понятно. тебе осталось избавится от легастении и будет читаемо. алсо, автор говорил про вполне конкретный чистый си, а не про си вообще. // зачем это нужно? ansi c слишком устарел, я без gnu c11 чувствую себя не комфортно (и это плохо, да, но стараюсь отдавать отчёт в своих действиях, когда использую нестандартные расширения).

чистого С никогда не было

Утраиваю. Самому приходилось вкуривать различные диалекты Сей, которые разнились от архитектуры к архитектуре.

С анси понятно, а чем с99 не устраивал?

Возможно, G-WAN, хотя не уверен. Уж больно загадочная штука.

там вроде мультипоточность, улучшенная поддержка юникода и безымянные структуры, из того, чем я пользовался. и ещё не помню, есть ли в c99 инициализация через точку для структур, в ansi c точно не было.

Чистый С, каким его задумали и реализовали авторы, - это совсем не то, что стандарт ANSI, включающий колоссальное число изменений и расширений.

отсутствия костылей

Обильное унавоживание кода макросами в Pure C само по себе есть костыль.

Зато меньше кнопки давить нужно! И меньше вероятность ошибиться где-нибудь.

Во всевозможных встраиваемых системах чаще всего применяется именно чистый C.

меньше вероятность ошибиться где-нибудь

Отладка C-шного кода с макросами — тот ещё мазохизм.

Твоя воля. Я отладчиками пользоваться не умею.

Я отладчиками пользоваться не умею

Та я тоже не очень их жалую, но разбирать замакрованный код, в любом случае, очень тяжко.

ANSI C УГ лютое. переменные объявляются строго в начале блока, комментариев в стиле C++ нет...