У Ubuntu есть утилита lint? Как это установить? В компьютерном программировании lint является утилитой Unix ..
https://en.wikipedia.org/wiki/Lint_%28software%29 [!d3 ]
thufir@mordor:~$
thufir@mordor:~$ gcc program.c -o prog
program.c:5:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
main()
^
thufir@mordor:~$
thufir@mordor:~$ ./prog
Hello World
thufir@mordor:~$
thufir@mordor:~$ lint program.c
No command 'lint' found, did you mean:
Command 'line' from package 'util-linux' (main)
Command 'jlint' from package 'jlint' (universe)
Command 'link' from package 'coreutils' (main)
Command 'dlint' from package 'dlint' (universe)
Command 'lift' from package 'lift' (universe)
Command 'tint' from package 'tint' (universe)
Command 'hlint' from package 'hlint' (universe)
lint: command not found
thufir@mordor:~$
Я пытаюсь использовать lint так:
В компьютерном программировании lint является утилитой Unix ..
Это отображает стандартный вывод команды lint program.c на компьютере и в то же время сохраняет его копию в файле program.lint. Если файл с именем program.lint уже существует, он удаляется и заменяется.lint program.c | tee program.lint
Из apt-cache search lint
splint - инструмент для статической проверки программ на C для ошибок. splint-data - инструмент для статической проверки программ на C для ошибок - файлы данных splint-doc-html - инструмент для статической проверки программ на C для ошибок - HTML-документацияsudo apt-get install splint
Для документации, примеров и загрузок посетите веб-сайт http://www.splint.org.