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 name splint
Package version 3.1.2.git20180129
Package release 1
Package architecture x86_64
Package type xz
Installed size 2.32 MB
Download size 661.39 KB
Official Mirror ftp5.gwdg.de
A tool for statically checking C programs for security vulnerabilities and coding mistakes.
Packager: Sergej Pupykin <pupykin.s+arch@gmail.com>. License: GPL

Alternatives

Package Version Architecture Repository
splint - - -

Requires

Name Value
flex -

Download

Type URL
Binary Package splint-3.1.2.git20180129-1-x86_64.pkg.tar.xz
Source Package unknown

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-4-x86_64.pkg.tar.xz A free 3D real-time-strategy (RTS) game engine
springlobby-0.267-2-x86_64.pkg.tar.xz A free cross-platform lobby client for the Spring RTS project
spyder2-3.2.8-2-any.pkg.tar.xz Scientific PYthon Development EnviRonment providing MATLAB-like features for Python 2.x series
spyder3-3.2.8-2-any.pkg.tar.xz Scientific PYthon Development EnviRonment providing MATLAB-like features for Python 3.x series
sqlcipher-3.4.2-1-x86_64.pkg.tar.xz SQLite extension that provides transparent 256-bit AES encryption of database files
sqlitebrowser-3.10.1-1-x86_64.pkg.tar.xz SQLite Database browser is a light GUI editor for SQLite databases, built on top of Qt
sqlmap-1.2.9-1-any.pkg.tar.xz Automatic SQL injection and database takeover tool
squashfs-tools-4.3-5-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.3-2-x86_64.pkg.tar.xz Full-featured Web proxy cache server
sratom-0.6.2-2-x86_64.pkg.tar.xz An LV2 Atom RDF serialisation library
ssdeep-2.14.1-1-x86_64.pkg.tar.xz A program for computing context triggered piecewise hashes
sshfs-3.5.0-1-x86_64.pkg.tar.xz FUSE client based on the SSH File Transfer Protocol
sshguard-2.2.0-1-x86_64.pkg.tar.xz Brute force detector for SSH, Exim, VSFTPD and more. Blocks by ip with iptables
Advertisement
Advertisement