Programowanie w systemie UNIX/lint

Programy

• lint
• splint

Instalacja

Szukamy:

apt-cache search lint

Znajdujemy splint:

splint - tool for statically checking C programs for bugs.
splint-data - tool for statically checking C programs for bugs - data files
splint-doc-html - tool for statically checking C programs for bugs - HTML documentation

instalujemy:

sudo apt-get install splint

Użycie

Wywołanie:

lint

W Ubuntu

Nie odnaleziono polecenia 'lint', czy chodziło ci o:
Polecenie 'jlint' z pakietu 'jlint' (universe)
Polecenie 'dlint' z pakietu 'dlint' (universe)
Polecenie 'line' z pakietu 'util-linux' (main)
Polecenie 'link' z pakietu 'coreutils' (main)
Polecenie 'tint' z pakietu 'tint' (universe)
Polecenie 'hlint' z pakietu 'hlint' (universe)
lint: nie znaleziono polecenia

Zamiast linta w ubuntu jest splint:

splint *.c