Package - splint
Primary informations
Download package: http://deb.debian.org/debian/pool/main/s/splint/splint_3.1.2+dfsg-5_amd64.deb (Size: 695.1KiB)| Property | Value |
|---|---|
| Package | splint |
| Version | 1:3.1.2+dfsg-5 |
| Installed-Size | 2320 |
| Maintainer | Debian QA Group |
| Architecture | amd64 |
| Replaces | splint-data (<< 1:3.1.2+dfsg-1) |
| Depends | splint-data (= 1:3.1.2+dfsg-5), libc6 (>= 2.14), libfl2 (>= 2.5.33) |
| Suggests | splint-doc-html |
| Breaks | splint-data (<< 1:3.1.2+dfsg-1) |
| Description | tool for statically checking C programs for bugs |
| Description-md5 | 8e7e32bbdb6feca91226586802c3b837 |
| Multi-Arch | foreign |
| Homepage | http://www.splint.org/ |
| Tag | devel::lang:c, devel::library, devel::testing-qa, implemented-in::c, interface::commandline, role::devel-lib, role::program, scope::utility, security::TODO, use::checking, works-with::software:source |
| Section | devel |
| Priority | optional |
| Filename | pool/main/s/splint/splint_3.1.2+dfsg-5_amd64.deb |
| Size | 711796 |
| MD5sum | 0a4471113f82206ede653f0848e1386f |
| SHA256 | 3b06d29c8327b55df7c12f590ffdcae2c3d989e83351d453866f770887f39049 |
Files in package
- /usr/bin/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/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/overrides/splint
- /usr/share/man/man1/splint.1.gz
- /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