splint-3.1.2.git20180129-1-x86_64.pkg.tar.xz


Advertisement

Description

splint - A tool for statically checking C programs for security vulnerabilities and coding mistakes

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename splint-3.1.2.git20180129-1-x86_64.pkg.tar.xz
Package name splint
Package version 3.1.2.git20180129
Package release 1
Package architecture x86_64
Package type xz
Homepage http://repo.or.cz/splint-patched.git
License GPL
Maintainer Sergej Pupykin <pupykin.s+arch@gmail.com>
Download size 661.39 KB
Installed size 2.32 MB

Alternatives

Package Version Architecture Repository
splint - - -

Requires

Name Value
flex -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package splint-3.1.2.git20180129-1-x86_64.pkg.tar.xz
Source Package -

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install splint xz package:
    # pacman -Sy splint

Files

Path
/etc/
/etc/profile.d/splint.sh
/usr/
/usr/bin/genflagcodes
/usr/bin/splint
/usr/share/
/usr/share/man/
/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/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/lslinit.lsi
/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/tainted.mts
/usr/share/splint/lib/tainted.xh
/usr/share/splint/lib/unix.lcd
/usr/share/splint/lib/unixstrict.lcd

See Also

Package Description
splix-2.0.0-14-x86_64.pkg.tar.xz CUPS drivers for SPL (Samsung Printer Language) printers
spring-104.0-7-x86_64.pkg.tar.zst A free 3D real-time-strategy (RTS) game engine
springlobby-0.269-2-x86_64.pkg.tar.zst A free cross-platform lobby client for the Spring RTS project
spyder-3.3.6-2-any.pkg.tar.xz The Scientific Python Development Environment (Python 3 version)
sqlcipher-4.3.0-1-x86_64.pkg.tar.zst SQLite extension that provides transparent 256-bit AES encryption of database files
sqlite-replication-3.30.1.4-1-x86_64.pkg.tar.zst Replication Enabled SQL Database Engine in a C Library
sqlitebrowser-3.11.2-1-x86_64.pkg.tar.xz SQLite Database browser is a light GUI editor for SQLite databases, built on top of Qt
sqlmap-1.4.2-1-any.pkg.tar.zst Automatic SQL injection and database takeover tool
squashfs-tools-4.4-1-x86_64.pkg.tar.xz Tools for squashfs, a highly compressed read-only filesystem for Linux
squeak-vm-4.10.2.2614-4-x86_64.pkg.tar.xz Full-featured implementation of the Smalltalk programming language and environment
squid-4.10-1-x86_64.pkg.tar.zst Full-featured Web proxy cache server
sratom-0.6.4-1-x86_64.pkg.tar.xz An LV2 Atom RDF serialisation library
srslte-19.12-1-x86_64.pkg.tar.zst Open source SDR LTE software suite from Software Radio Systems (SRS)
srslte-avx2-19.12-1-x86_64.pkg.tar.zst Open source SDR LTE software suite from Software Radio Systems (SRS) (with AVX2 extensions)
ssdeep-2.14.1-1-x86_64.pkg.tar.xz A program for computing context triggered piecewise hashes
Advertisement
Advertisement