lint: lệnh không tìm thấy

Ubuntu có tiện ích lint không? Nó được cài đặt như thế nào?

Trong lập trình máy tính, lint là một tiện ích Unix ..

https://en.wikipedia.org/wiki/Lint_%28software%29

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:~$ 

Tôi đang cố gắng sử dụng lint như vậy:

chương trình lint.c | chương trình tee.lint

Điều này sẽ hiển thị đầu ra tiêu chuẩn của lệnh lint program.c tại máy tính, đồng thời lưu một bản sao của nó trong tệp chương trình.lint. Nếu một tệp có tên chương trình.lint đã tồn tại, nó sẽ bị xóa và thay thế.

https://en.wikipedia.org/wiki/Tee_%28command%29#Unix-like_2

Trang man mà tài liệu tham khảo wikipedia dành cho BSD, tôi không thể tìm thấy trang nào cho biến thể Linux. Tôi có cần phải cài đặt nó, có lẽ?

Xem splint- viết lại GPL lint.

Tuy nhiên, splintkhông hỗ trợ đầy đủ C99.

Đó là khuyến cáo để sử dụng cppcheck.

Từ apt-cache search lint

nẹp - công cụ để kiểm tra tĩnh các chương trình C cho các lỗi.
splint-data - công cụ kiểm tra tĩnh các chương trình C để tìm lỗi - tệp dữ liệu
splint-doc-html - công cụ kiểm tra tĩnh các chương trình C để tìm lỗi - tài liệu HTML

Cài đặt

sudo apt-get install splint

Tài liệu

Để biết tài liệu, ví dụ và tải xuống, hãy kiểm tra trang web của họ tại http://www.splint.org .