splint-3.1.2-5-rosa.lts2012.0.x86_64.rpm


Advertisement

Description

splint - Splint - Secure Programming Lint

Property Value
Distribution ROSA Enterprise Desktop
Repository ROSA Contrib Updates x86_64
Package name splint
Package version 3.1.2
Package release 5-rosa.lts2012.0
Package architecture x86_64
Package type rpm
Installed size 2.55 MB
Download size 681.16 KB
Official Mirror mirror.rosalab.ru
Splint is a tool for statically checking C programs for security
vulnerabilities and coding mistakes. With minimal effort, Splint can
be used as a better lint. If additional effort is invested adding
annotations to programs, Splint can perform stronger checking than can
be done by any standard lint.

Alternatives

Package Version Architecture Repository
splint-3.1.2-5-rosa.lts2012.0.i586.rpm 3.1.2 i586 ROSA Contrib Updates
splint - - -

Requires

Name Value
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libc.so.6(GLIBC_2.7)(64bit) -

Provides

Name Value
splint == 3.1.2-5:2012.0

Download

Type URL
Binary Package splint-3.1.2-5-rosa.lts2012.0.x86_64.rpm
Source Package splint-3.1.2-5.src.rpm

Install Howto

  1. Enable ROSA Contrib Updates repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install splint rpm package:
    # urpmi splint

Files

Path
/usr/bin/splint
/usr/share/doc/splint/README
/usr/share/man/man1/splint.1.xz
/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

Changelog

2009-09-08 - Thierry Vignaud <tvignaud@mandriva.com> 3.1.2-5mdv2010.0
+ Revision: 434058
- rebuild

See Also

Package Description
splitvt-1.6.6-6-rosa.lts2012.0.x86_64.rpm Split terminal into two windows
spread-4.1.0-2-rosa.lts2012.0.x86_64.rpm Multicast Group Communication Framework
spring-data-0.74-0.b1.2-rosa.lts2012.0.noarch.rpm Data for the Spring realtime strategy game
spring-maps-default-1.0-2-rosa.lts2012.0.noarch.rpm Default maps for Spring
spring-mod-nanoblobs-0.65-2-rosa.lts2012.0.noarch.rpm Nanoblobs mod for Spring
sprog-0.14-5-rosa.lts2012.0.noarch.rpm A graphical tool to build programs by plugging parts together
spybye-0.3-6-rosa.lts2012.0.x86_64.rpm A proxy to help finding malware
spyder-2.0.12-1-rosa.lts2012.0.noarch.rpm Scientific Python Development Environment
sqlgrey-1.7.6-4-rosa.lts2012.0.noarch.rpm Postfix grey-listing policy service
sqlitebrowser-2.0-0.r68.1-rosa.lts2012.0.x86_64.rpm Design and edit database files compatible with SQLite
sqliteman-1.2.2-1-rosa.lts2012.0.x86_64.rpm Lightweigth but powerfull Sqlite3 manager
squeak-image-4.1-1-rosa.lts2012.0.noarch.rpm The image files for Squeak
squeak-vm-4.0.3.2202-3-rosa.lts2012.0.x86_64.rpm The Squeak virtual machine
squid-ecap-gzip-1.3.0-2-rosa.lts2012.0.x86_64.rpm Squid-Gzip compresion on the fly
squid-purge-20040201-3-rosa.lts2012.0.x86_64.rpm Squid pruger utility
Advertisement
Advertisement