Гибкость языка Си может снижать надёжность программного обеспечения из-за слабости ограничений, накладываемых системой типов и семантикой языка. 2 Это приводит к высокой вероятности внесения в код ошибок, связанных с неспецифицированным поведением программ (ошибки управления памятью, ошибки синхронизации). 2

Однако есть и способы повысить надёжность программ на Си:

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