ru.linux

 
 - RU.LINUX ---------------------------------------------------------------------
 From : alexey.vyskubov@nokia.com            2:5020/400     27 Dec 2001  18:13:15
 To : Alexander Dilevsky
 Subject : Re: Что это за программа такая --- lint?
 -------------------------------------------------------------------------------- 
 

 > Верификатор программ на C. Изобретен во времена C Кернигана и Ричи, когда
 > компьютеры были медленными, и проверка программы на логическую правильность
 > при необходимости выполнялась еще до компиляции отдельной программой. Сейчас
 > практически не используется, ибо его функциональность реализована в самих
 > компиляторах.
 
 Да ты пользовался ли ей когда? Где это компилятор проверяет код на
 memory leaks, например? Или на то, что ты не испольуешь код возврата
 функции?
 
 -- 
 Алексей
 --- ifmail v.2.15dev5
  * Origin: Nokia (2:5020/400)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    Re: Что это за программа такая --- lint?   Alexander Dilevsky   23 Dec 2001 21:06:21   Re: Что это за программа такая --- lint?   alexey.vyskubov@nokia.com   27 Dec 2001 18:13:15