Вот задумался, а почему бы и не воспользоваться специализированным софтом, который поможет найти потенциальные ошибки в коде, мною не замеченные, но потенциально опасные? Посоветуйте, пожалуйста, проверенную временем программу.

splint наверное, ну и до кучи:
http://en.wikipedia.org/wiki/List_of_tools...c_code_analysis

Да и ещё про MISRA стандарты тоже можете погуглить.

Еще могу порекомендовать Klocwork (ну и сюда загляните)

Спасибо. Думаю использование подобных программ позволит с другой стороны взглянуть на "культуру написания кода".