splint-3.1.2-x86_64-2_slack.txz


Advertisement

Description

splint - Secure Programming Lint

Property Value
Distribution Slackware 14.1
Repository Slackonly x86_64
Package filename splint-3.1.2-x86_64-2_slack.txz
Package name splint
Package version 3.1.2
Package release 2_slack
Package architecture x86_64
Package type txz
Homepage -
License -
Maintainer -
Download size 1.20 MB
Installed size 4.00 MB
Splint is a tool for statically checking C programs for security
vulnerabilities and coding mistakes.
Splint is developed and maintained by the Secure Programming Group
at the University of Virginia Department of Computer Science. David
Evans is the project leader and the primary developer of Splint.

Alternatives

Package Version Architecture Repository
splint-3.1.2-i486-2_slack.txz 3.1.2 i486 Slackonly
splint - - -

Download

Type URL
Mirror packages.slackonly.com
Binary Package splint-3.1.2-x86_64-2_slack.txz
Source Package -

Install Howto

  1. Download splint-3.1.2-x86_64-2_slack.txz
  2. Install splint txz package:
    # upgradepkg --install-new splint-3.1.2-x86_64-2_slack.txz

Files

Path
/install/slack-desc
/usr/
/usr/bin/splint
/usr/doc/
/usr/doc/splint-3.1.2/README
/usr/doc/splint-3.1.2/manual.pdf
/usr/doc/splint-3.1.2/splint.SlackBuild
/usr/doc/splint-3.1.2/html/footer.html
/usr/doc/splint-3.1.2/html/header.html
/usr/doc/splint-3.1.2/html/manual.htm
/usr/doc/splint-3.1.2/html/realloc.htm
/usr/man/
/usr/man/man1/splint.1.gz
/usr/share/
/usr/share/splint/
/usr/share/splint/imports/assert.lcl
/usr/share/splint/imports/assert.lcs
/usr/share/splint/imports/ctype.lcl
/usr/share/splint/imports/ctype.lcs
/usr/share/splint/imports/errno.lcl
/usr/share/splint/imports/errno.lcs
/usr/share/splint/imports/limits.lcl
/usr/share/splint/imports/limits.lcs
/usr/share/splint/imports/locale.lcl
/usr/share/splint/imports/locale.lcs
/usr/share/splint/imports/math.lcl
/usr/share/splint/imports/math.lcs
/usr/share/splint/imports/setjmp.lcl
/usr/share/splint/imports/setjmp.lcs
/usr/share/splint/imports/signal.lcl
/usr/share/splint/imports/signal.lcs
/usr/share/splint/imports/stdarg.lcl
/usr/share/splint/imports/stdarg.lcs
/usr/share/splint/imports/stdio.lcl
/usr/share/splint/imports/stdio.lcs
/usr/share/splint/imports/stdlib.lcl
/usr/share/splint/imports/stdlib.lcs
/usr/share/splint/imports/string.lcl
/usr/share/splint/imports/string.lcs
/usr/share/splint/imports/strings.lcl
/usr/share/splint/imports/strings.lcs
/usr/share/splint/imports/time.lcl
/usr/share/splint/imports/time.lcs
/usr/share/splint/lib/CTrait.syms
/usr/share/splint/lib/CTraitGen.lcl
/usr/share/splint/lib/bool.h
/usr/share/splint/lib/file.mts
/usr/share/splint/lib/file.xh
/usr/share/splint/lib/filerw.mts
/usr/share/splint/lib/filerw.xh
/usr/share/splint/lib/lclinit.lci
/usr/share/splint/lib/linux.h
/usr/share/splint/lib/lslinit.lsi
/usr/share/splint/lib/posix.h
/usr/share/splint/lib/posix.lcd
/usr/share/splint/lib/posixstrict.lcd
/usr/share/splint/lib/standard.h
/usr/share/splint/lib/standard.lcd
/usr/share/splint/lib/standardstrict.lcd
/usr/share/splint/lib/stdio.h
/usr/share/splint/lib/stdlib.h
/usr/share/splint/lib/tainted.mts
/usr/share/splint/lib/tainted.xh
/usr/share/splint/lib/unix.h
/usr/share/splint/lib/unix.lcd
/usr/share/splint/lib/unixstrict.lcd

See Also

Package Description
splix-2.0.0-x86_64-2_slack.txz CUPS printer drivers for SPL
spotify64-0.9.17.8.gd06432d.31-x86_64-3_slack.txz digital music service, 64-bit edition
spotlighter-0.1-x86_64-1_slack.txz show a spot light on the desktop
spqr-2.0.2-x86_64-1_slack.txz sparse matrix factoring routines
spring-100.0-x86_64-7_slack.txz a powerful free RTS engine
spyder-2.3.8-x86_64-2_slack.txz interactive Python IDE
sql-0.4.0-x86_64-1_slack.txz python DB API 2.0 for humans
sqlalchemy-migrate-0.9.1-x86_64-19_slack.txz Database schema migration for SQLAlchemy
sqlcipher-3.3.1-x86_64-1_slack.txz 256 bit AES encryption SQLite extension
sqlite2-2.8.17_7-x86_64-1_slack.txz simple, self contained database engine
sqlite3-1.3.3-x86_64-1_slack.txz Database interface module
sqlitebrowser-3.5.1-x86_64-2_slack.txz light QT-based GUI editor for SQLite databases
sqliteman-1.2.2-x86_64-2_slack.txz SQLite Data Browser
sqlmap-0.9-noarch-1_slack.txz SQL injection mapper
sqlninja-0.2.5-x86_64-2_slack.txz a SQL Server injection & takeover tool
Advertisement
Advertisement