Просмотр кода страницы Си (язык программирования)

=== Способы преодоления недостатков языка ===
Недостатки Си давно и хорошо известны, и с момента появления языка предпринималось множество попыток повысить качество и безопасность кода на Си, не принося в жертву его возможности.

==== Средства анализа корректности кода ====
Практически все современные компиляторы Си позволяют проводить ограниченный статический анализ кода с выдачей предупреждений о потенциальных ошибках. Также поддерживаются опции встраивания в код проверок выхода за пределы массива, разрушения стека, выхода за пределы динамической памяти, чтения неинициализированных переменных, возможностей неопределённого поведения и т. п. Однако дополнительные проверки могут сказаться на производительности итогового приложения, поэтому чаще всего их применяют только на этапе отладки.

Существуют специальные программные средства для статического анализа кода на Си для выявления не-синтаксических ошибок. Их применение не гарантирует безошибочности программ, но позволяет выявить значительную часть типичных ошибок и потенциальных уязвимостей. Максимальный эффект данных средств достигается не при эпизодическом использовании, а при применении в составе отработанной системы постоянного контроля качества кода, например, в системах непрерывной интеграции и развёртывания. Также может требоваться аннотирование кода специальными комментариями, чтобы исключить ложные срабатывания анализатора на корректных участках кода, формально попадающих под критерии ошибочных.

==== Стандарты безопасного программирования ====
Выпущено значительное количество исследований о правильном программировании на Си, от небольших статей до объёмных книг. Для поддержания качества кода на Си принимаются корпоративные и отраслевые стандарты. В частности:
* [[MISRA C]] — стандарт, разработанный Motor Industry Software Reliability Association для использования Си в разработке встроенных систем транспортных средств. Сейчас MISRA C используется во многих отраслях, в том числе в военной, медицинской и аэрокосмической. Редакция 2013 года содержит 16 директив и 143 правила, включающие требования к коду и ограничения на использование определённых языковых средств (например, запрещено использование функций с переменным числом параметров). На рынке имеется около десятка инструментов проверки кода на соответствие MISRA C и несколько компиляторов со встроенной проверкой ограничений этого стандарта.
* [[CERT C Coding Standard]] — стандарт, разрабатываемый [[Координационный центр CERT|координационным центром CERT]]<ref>{{Cite web|url=https://wiki.sei.cmu.edu/confluence/display/c/SEI+CERT+C+Coding+Standard|title=SEI CERT C Coding Standard - SEI CERT C Coding Standard - Confluence|publisher=wiki.sei.cmu.edu|access-date=2018-12-09|archive-date=2018-12-08|archive-url=https://web.archive.org/web/20181208151631/https://wiki.sei.cmu.edu/confluence/display/c/SEI+CERT+C+Coding+Standard|url-status=live}}</ref>. Он также имеет целью обеспечение надёжного и безопасного программирования на Си. Включает правила и рекомендации для разработчиков, в том числе примеры неправильного и правильного кода по каждому отдельно взятому случаю. Стандарт используется в разработке продуктов такими компаниями как [[Cisco]] и [[Oracle]]<ref>{{Cite web|url=https://wiki.sei.cmu.edu/confluence/display/c/Introduction|title=Introduction - SEI CERT C Coding Standard - Confluence|publisher=wiki.sei.cmu.edu|access-date=2019-05-24|archive-date=2019-05-24|archive-url=https://web.archive.org/web/20190524063951/https://wiki.sei.cmu.edu/confluence/display/c/Introduction|url-status=live}}</ref>.

==== Стандарты POSIX ====
Компенсации некоторых недостатков языка способствует набор стандартов [[POSIX]]. Стандартизируется установка <code>errno</code> многими функциями, позволяя обрабатывать ошибки, возникающие, например, в функциях работы с файлами, а также вводятся [[Thread-safety|потокобезопасные]] аналоги некоторых функций стандартной библиотеки, безопасные варианты которых в стандарте языка присутствуют лишь в расширении K<ref>{{Cite web|url=https://wiki.sei.cmu.edu/confluence/display/c/CON33-C.+Avoid+race+conditions+when+using+library+functions|title=CON33-C. Avoid race conditions when using library functions - SEI CERT C Coding Standard - Confluence|author=|website=|date=|publisher=wiki.sei.cmu.edu|lang=en|access-date=2019-01-23|archive-date=2019-01-23|archive-url=https://web.archive.org/web/20190123223449/https://wiki.sei.cmu.edu/confluence/display/c/CON33-C.+Avoid+race+conditions+when+using+library+functions|url-status=live}}</ref>.