Я бы посоветовал посмотреть, есть ли у вас возможностьприменять стандарты MISRA, Они были написаны с большой продуманностью и множеством правил, которые простой для проверки компилятором. Например, Правило, которое я использую, требует, чтобы все команды NOP имели свою собственную строку. Это значит, когда вы положили; в конце оператора цикла он из-за ошибки говорит, что его нетс собственной линии.

В этой (старой) версииКак выстрелить себе в ногуи во многих других версиях в Интернете, C это всегда язык, который учитывает самую простую процедуру. При программировании на С, вы должны помнить это и быть осторожным. Если вы хотите защиту, выберите другой язык.

Эта поговоркаприписаны самому Бьярне Страуструпу (C ++). (Неправильно) процитировать: "

С легко выстрелить себе в ногу »

В дополнение кLykathea»предложение PC-LintВы также можете получить лучшую (или, по крайней мере, больше) диагностику, если повысите уровень предупреждения компилятора. Что-то вроде/W4 или же-Wall

Хотя я'я не уверен, что ваша конкретная проблема была бы решена с этим (MS VC не 'кажется, помечает его даже при всех включенных предупреждениях). Я думаю что'потому что этоне редкость идиома дляfor Циклы должны быть пустыми, когда работа выполняется как побочные эффекты выражений управления циклами.

Несколько вещей, которые спасли меня в прошлом, от моей головы:

Используйте, если(3 == бла), а не (бла == 3), потому что если вы ошиблись и наберете (3 = бла), компилятор будет жаловаться.

Использоватьвсе-предупреждение переключатель. Ваш компилятор должен предупредить вас о таких пустых выражениях.

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

Дон»не пытайтесь обойти какие-либо меры предосторожности, установленные компилятором или ОС. Они там для вашей простоты программирования.

ОК · C by Programming Research - еще один хороший инструмент статического анализа для C.

Хорошая подсветка синтаксиса сделает некоторые подобные случаи более заметными.

Любая хорошая среда программирования GUI ("IDE» - Интегрированная среда разработки), такая как Eclipse, выдаст предупреждение в таком случае.

Я бы начал с изучениялубок а такжеGDB, Если вам нужны более продвинутые, используйте эти два инструмента. Но они - хорошее начало.

Также посмотрите налязг статический анализ

GCC обладает большей частью функциональности, встроенной в Lint черезпредупреждающие флаги.