splint (1:3.1.2+dfsg-6)

Details

Core information at a glance

Distribution
debian
Origin
debian-forky
Repository
https://deb.debian.org/debian
Codename
forky
Component
main
Source
none
Architecture
s390x
Section
devel
Priority
optional
Maintainer
Debian QA Group <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
2.5 kB
Size expected
660 kB
Size actual
660 kB
Size match

Dependencies

Required package dependencies

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

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
MD5b57977d9…71dd1a99
SHA-1645329e4…fe587eaa
SHA-2562bb59d23…3b841e4e
SHA-512c6633205…917a209e

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