splint-3.1.2-6-rosa2014.1.x86_64.rpm


Advertisement

Description

splint - Splint - Secure Programming Lint

Property Value
Distribution ROSA 2014.1
Repository ROSA Contrib x86_64
Package name splint
Package version 3.1.2
Package release 6-rosa2014.1
Package architecture x86_64
Package type rpm
Installed size 2.54 MB
Download size 680.40 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-7-rosa2014.1.i586.rpm 3.1.2 i586 ROSA Contrib Updates
splint-3.1.2-7-rosa2014.1.x86_64.rpm 3.1.2 x86_64 ROSA Contrib Updates
splint-3.1.2-6-rosa2014.1.i586.rpm 3.1.2 i586 ROSA Contrib
splint - - -

Requires

Name Value
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.14)(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-6:2014.1

Download

Type URL
Binary Package splint-3.1.2-6-rosa2014.1.x86_64.rpm
Source Package splint-3.1.2-6.src.rpm

Install Howto

  1. Enable ROSA Contrib 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

2014-07-25 - Denis Silakov <denis.silakov@rosalab.ru> 3.1.2-6
+ Revision: 1684f87
- MassBuild#464: Increase release tag

See Also

Package Description
splitvt-1.6.6-8-rosa2014.1.x86_64.rpm Split terminal into two windows
spotlighter-0.2-3-rosa2014.1.x86_64.rpm A tool that show a movable and resizable spotlight on the desktop screen
spread-4.1.0-3-rosa2014.1.x86_64.rpm Multicast Group Communication Framework
spring-1944-1.6-4-rosa2014.1.noarch.rpm Spring engine based WWII themed game with four fully functional sides
spring-1944-maps-1.6-4-rosa2014.1.noarch.rpm Maps designed specially for Spring: 1944 game
spring-97.0-3-rosa2014.1.x86_64.rpm Realtime strategy game (inspired by Total Annihilation)
spring-evolution-rts-4.9-2-rosa2014.1.noarch.rpm Evolution RTS is a Spring engine based Real Time Strategy game
spring-evolution-rts-maps-4.9-2-rosa2014.1.noarch.rpm Maps designed specially for Evolution RTS game
spring-features-1.0-2-rosa2014.1.noarch.rpm Spring Features contains all of the features made for Spring engine to date
spring-maps-default-1.0-2-rosa2014.1.noarch.rpm Default maps for Spring
spring-mod-nanoblobs-0.65-2-rosa2014.1.noarch.rpm Nanoblobs mod for Spring
spring-zero-k-1.0.10.8-3-rosa2014.1.noarch.rpm Spring engine based game focused on a streamlined economy & advanced interface
spring-zero-k-maps-1.0.10.8-3-rosa2014.1.noarch.rpm Maps designed specially for Zero-K game
springlobby-0.147-4-rosa2014.1.x86_64.rpm Cross-platform lobby client for the Spring RTS project
sprng-2.0b-2-rosa2014.1.x86_64.rpm Scalable Parallel Pseudo Random Number Generators Library
Advertisement
Advertisement