How to Install and Uninstall splint-doc-html Package on Ubuntu 21.10 (Impish Indri)

Last updated: December 23,2024

1. Install "splint-doc-html" package

In this section, we are going to explain the necessary steps to install splint-doc-html on Ubuntu 21.10 (Impish Indri)

$ sudo apt update $ sudo apt install splint-doc-html

2. Uninstall "splint-doc-html" package

Please follow the guidelines below to uninstall splint-doc-html on Ubuntu 21.10 (Impish Indri):

$ sudo apt remove splint-doc-html $ sudo apt autoclean && sudo apt autoremove

3. Information about the splint-doc-html package on Ubuntu 21.10 (Impish Indri)

Package: splint-doc-html
Architecture: all
Version: 1:3.1.2+dfsg-5
Multi-Arch: foreign
Priority: optional
Section: universe/doc
Source: splint
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1045
Suggests: splint
Conflicts: splint-doc
Breaks: splint (<< 1:3.1.2+dfsg-1)
Replaces: splint (<< 1:3.1.2+dfsg-1), splint-doc
Filename: pool/universe/s/splint/splint-doc-html_3.1.2+dfsg-5_all.deb
Size: 148868
MD5sum: dc5d8a7301c3c72a5bac15b7f98f8b96
SHA1: 1875748d87369961b2d336c76520ef598e9a79f0
SHA256: 6f89745a17ed4b5c1ef78330128de58b9bf2b7c867dea817210f427928921b50
SHA512: 7fd16ca9046f7013572da2358093c6c3d71e0775438629cbf0c4f30f597d8c7d2f2a13da255915f2113f699ea534564fe4507e279d7beb39d3f6e40745c33b52
Homepage: http://www.splint.org/
Description-en: tool for statically checking C programs for bugs - HTML documentation
splint is an annotation-assisted lightweight static checker. It is a tool for
statically checking C programs for security vulnerabilities and coding
mistakes. If additional effort is invested in adding annotations to programs,
splint can perform stronger checking.
.
splint does many of the traditional lint checks including unused declarations,
type inconsistencies, use before definition, unreachable code, ignored return
values, execution paths with no return, likely infinite loops, and fall
through cases. Problems detected by Splint include:
.
* Dereferencing a possibly null pointer
* Using or returning storage that is undefined or not properly defined
* Type mismatches, with greater precision and flexibility than by C compilers
* Memory management errors like use of dangling references and memory leaks
* Inconsistent (with specified interface) global variable modification or use
* Problematic control flow such as likely infinite loops etc.
* Buffer overflow vulnerabilities
* Dangerous macro implementations or invocations
* Violations of customized naming conventions
.
This package contains the manual (HTML documentation) for splint.
Description-md5: e5ce463a12117e8f1538ac41a10545ac