splint-3.1.2-6.puias6.i686.rpm


Advertisement

Description

splint - An implementation of the lint program

Property Value
Distribution CentOS 6
Repository PUIAS Computational i386
Package name splint
Package version 3.1.2
Package release 6.puias6
Package architecture i686
Package type rpm
Installed size 3.06 MB
Download size 1.14 MB
Official Mirror springdale.math.ias.edu
Splint is a tool for statically checking C programs for coding errors and
security vulnerabilities. With minimal effort, Splint can be used as a
better lint. If additional effort is invested adding annotations to programs,
Splint can perform even stronger checks than can be done by any standard lint.

Alternatives

Package Version Architecture Repository
splint-3.1.2-6.puias6.x86_64.rpm 3.1.2 x86_64 PUIAS Computational
splint-3.1.1-1.2.el6.rf.i686.rpm 3.1.1 i686 Repoforge (RPMforge)
splint-3.1.1-1.2.el6.rf.x86_64.rpm 3.1.1 x86_64 Repoforge (RPMforge)
splint - - -

Requires

Name Value
libc.so.6(GLIBC_2.7) -
rtld(GNU_HASH) -

Provides

Name Value
lclint = 3.1.2-6.puias6
splint = 3.1.2-6.puias6
splint(x86-32) = 3.1.2-6.puias6

Obsoletes

Name Value
lclint <= 3.0.0

Download

Type URL
Binary Package splint-3.1.2-6.puias6.i686.rpm
Source Package splint-3.1.2-6.puias6.src.rpm

Install Howto

  1. Download the latest puias-computational rpm from
    http://springdale.math.ias.edu/data/puias/computational/6/i386/
  2. Install puias-computational rpm:
    # rpm -Uvh puias-computational*rpm
  3. Install splint rpm package:
    # yum install splint

Files

Path
/usr/bin/splint
/usr/share/doc/splint-3.1.2/README
/usr/share/doc/splint-3.1.2/manual.pdf
/usr/share/doc/splint-3.1.2/splintrc.demo
/usr/share/man/man1/splint.1.gz
/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-08-22 - Milos Jakubicek <xjakub@fi.muni.cz> - 3.1.2-6
- Specfile sanity revisited: proper Provides/Obsoletes on lclint
and some other minor changes to make rpmlint silent
2009-08-10 - Ville Skyttä <ville.skytta@iki.fi> - 3.1.2-5
- Convert specfile to UTF-8.
2009-07-26 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 3.1.2-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
2009-02-25 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 3.1.2-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
2008-09-05 - Tom "spot" Callaway <tcallawa@redhat.com> - 3.1.2-2
- fix license tag
2008-07-12 - Panu Matilainen <pmatilai@redhat.com> - 3.1.2-1
- update to 3.1.2
2008-02-19 - Fedora Release Engineering <rel-eng@fedoraproject.org> - 3.1.1-16
- Autorebuild for GCC 4.3
2006-09-11 - Paul Nasrat <pnasrat@redhat.com> - 3.1.1-15
- Rebuild for FC6
2006-05-31 - Paul Nasrat <pnasrat@redhat.com> - 3.1.1-14
- Add flex br
2006-04-20 - Jose Pedro Oliveira <jpo at di.uminho.pt> - 3.1.1-13
- Manual.pdf - file permissions corrected.
- Included a demo .splintrc file as doc (splintrc.demo == src/.splintrc).

See Also

Package Description
springdale-computational-6-2.sdl6.10.noarch.rpm yum computational repository configuration file
stix-fonts-1.0.0-3.puias6.noarch.rpm Scientific and engineering fonts
stix-fonts-doc-1.0.0-3.puias6.noarch.rpm Scientific and engineering fonts, documentation
stix-integrals-fonts-1.0.0-3.puias6.noarch.rpm Scientific and engineering fonts, additional integral glyphs
stix-pua-fonts-1.0.0-3.puias6.noarch.rpm Scientific and engineering fonts, PUA glyphs
stix-sizes-fonts-1.0.0-3.puias6.noarch.rpm Scientific and engineering fonts, additional glyph sizes
stix-variants-fonts-1.0.0-3.puias6.noarch.rpm Scientific and engineering fonts, additional glyph variants
suitesparse421-mkl-doc-4.2.1-1.sdl6.noarch.rpm Documentation files for SuiteSparse
suitesparse444-4.4.4-1.sdl6.i686.rpm A collection of sparse matrix libraries
suitesparse444-devel-4.4.4-1.sdl6.i686.rpm Development headers for SuiteSparse
suitesparse444-doc-4.4.4-1.sdl6.noarch.rpm Documentation files for SuiteSparse
suitesparse444-static-4.4.4-1.sdl6.i686.rpm Static version of SuiteSparse libraries
sundials-2.7.0-6.sdl6.i686.rpm Suite of nonlinear solvers
sundials-devel-2.7.0-6.sdl6.i686.rpm Suite of nonlinear solvers (developer files)
sundials-doc-2.5.0-2.sdl6.i686.rpm Suite of nonlinear solvers (documentation)
Advertisement
Advertisement