caxapa.ru :: Например?

VVB (19.10.2005 12:16, просмотров: 1) ответил Bill на Это не глюк компилятора или линкера. Это глюк программиста. Программист должен

Например? Подскажите одну или несколько программ, которые позволяют отлавливать такие ошибки. Я считал, что при линковке сначала сравниваются типы данных и параметры функций, и если всё нормально -- то линкуется. Т.е. это прямая обязанность линкера, к тому же вся необходимая информация для принятия такого решения есть (или потенциально может быть) в объектных файлах.

- C чекер и аналайзер из комплекта Softune. - Sergey Pinigin(19.10.2005 17:46, )
  - За Си чекер спасибо. VVB(111 знак., 20.10.2005 07:58, )
    - есть другая считалка стека -> - Sergey Pinigin(20.10.2005 08:15, , ссылка)
- splint - bialix(19.10.2005 15:02, )
  - Скачал, попробую. Спасибо. - VVB(19.10.2005 15:46, )
- Нет, линкер может вообще ничего не знать ни о функциях, ни о каких либо типах. Bill(543 знак., 19.10.2005 12:28, )
  - ..хм, это еще почему? blackbit(191 знак., 19.10.2005 13:27, )
    - Далеко не всегда они (которіе "умеют") делают действительно полную сверку. ReAl(530 знак., 27.10.2005 19:22, )
      - Softune похоже вообще соответствие аргументов не проверяет - нарывался. - =AlexD=(28.10.2005 13:51, )
    - Ну, что тут сказать. Все, опять же, зависит от формата объетного файла и самого линкера. Bill(257 знак., 19.10.2005 14:11, )
  - Спасибо за информацию - VVB(19.10.2005 12:46, )

Микроконтроллеры