How to Install and Uninstall splint-doc-html Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: November 26,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 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                splint-doc-html
            
                    
    
    Copied

2. Uninstall "splint-doc-html" package

This guide covers the steps necessary to uninstall splint-doc-html on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                splint-doc-html
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the splint-doc-html package on Ubuntu 20.10 (Groovy Gorilla)

Package: splint-doc-html
Architecture: all
Version: 1:3.1.2+dfsg-1build1
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-1build1_all.deb
Size: 149108
MD5sum: 81963e4e50be528e5d2339e25388ec4e
SHA1: c87bd34d6f1ff7ae3d3080cdc676fa87f99b4f8f
SHA256: c38cdfb08c3ec7f38400a4961df77716450bfb53947ec646eb4759015d764075
SHA512: 8149c7cbce4bc5b5d4be9116c8c24acdb79e89b464f24573e3264dffc2f9c6ccbd598ebb7701b28b2f6ea0719f6faef88131728864d827eb1f4164c480e1bdd8
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