splint (1:3.1.2+dfsg-6)

Details

Core information at a glance

Distribution
kali
Origin
kali-rolling
Repository
https://http.kali.org/kali
Codename
kali-rolling
Component
main
Source
none
Architecture
i386
Section
devel
Priority
optional
Maintainer
Debian QA Group <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
2.7 kB
Size expected
766.3 kB
Size actual
766.3 kB
Size match

Dependencies

Required package dependencies

  • splint-data (= 1:3.1.2+dfsg-6)
  • libc6 (>= 2.42)

Suggested packages

Recommended additional packages

  • splint-doc-html

Description

tool for statically checking C programs for bugs

Homepage Download .deb

Tags

Package classification tags

devel::lang:c
devel::library
devel::testing-qa
implemented-in::c

Checksums

Hash values and integrity verification status

TypeActualMatch
MD51d6e669c…c08ec7ab
SHA-13901a2e5…d0f64dbb
SHA-2564326f51a…51fa01d8
SHA-512501811ab…418fbaa4

Contents

Files and directories included

.
usr
usr/bin
usr/bin/splint
usr/share
usr/share/doc
usr/share/doc/splint
usr/share/doc/splint/changelog.Debian.gz
usr/share/doc/splint/changelog.gz
usr/share/doc/splint/changelog.html.gz
usr/share/doc/splint/copyright
usr/share/doc/splint/examples
usr/share/doc/splint/examples/dbacl.splintrc
usr/share/doc/splint/examples/linux-2.4.23.txt
usr/share/doc/splint/examples/rtai.splintrc
usr/share/doc/splint/examples/splint.splintrc
usr/share/lintian
usr/share/lintian/overrides
usr/share/lintian/overrides/splint
usr/share/man
usr/share/man/man1
usr/share/man/man1/splint.1.gz
usr/share/splint
usr/share/splint/lib
usr/share/splint/lib/posix.lcd
usr/share/splint/lib/posixstrict.lcd
usr/share/splint/lib/standard.lcd
usr/share/splint/lib/standardstrict.lcd
usr/share/splint/lib/unix.lcd
usr/share/splint/lib/unixstrict.lcd