How to Install and Uninstall splint-data Package on Kali Linux

Last updated: May 15,2024

1. Install "splint-data" package

This guide let you learn how to install splint-data on Kali Linux

$ sudo apt update $ sudo apt install splint-data

2. Uninstall "splint-data" package

This is a short guide on how to uninstall splint-data on Kali Linux:

$ sudo apt remove splint-data $ sudo apt autoclean && sudo apt autoremove

3. Information about the splint-data package on Kali Linux

Package: splint-data
Source: splint
Version: 1:3.1.2+dfsg-5
Installed-Size: 572
Maintainer: Debian QA Group
Architecture: all
Replaces: splint (<< 3.1.2.dfsg-1)
Breaks: splint (<< 3.1.2.dfsg-1)
Size: 68400
SHA256: 39b67ae981d755b8a145e02902d2de43989cd074ff83b378e0d488f8c073903b
SHA1: 512dfca425f50badd2ad9ad2a686d1ca251c6d6a
MD5sum: 1dc7a73069970490d5f081088e35a0d0
Description: tool for statically checking C programs for bugs - data files
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 data files that are necessary to use splint.
Description-md5:
Multi-Arch: foreign
Homepage: http://www.splint.org/
Tag: role::app-data
Section: devel
Priority: optional
Filename: pool/main/s/splint/splint-data_3.1.2+dfsg-5_all.deb