splint 3.1.2.dfsg1-2 source package in Ubuntu

Changelog

splint (3.1.2.dfsg1-2) unstable; urgency=low

  * Add README.source to be compliant with policy 3.8.0
  * Update Maintainer to official Debian ID
  * Remove DM-Upload-Allowed: yes
  * Update to debian/compat 6 and use dh_lintian instead of dh_installing
    override files.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  29 Apr 2009 12:12:24 +0100

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync on 2009-04-29
Uploaded to:
Karmic
Original maintainer:
Y Giridhar Appaji Nag
Architectures:
any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release on 2015-10-22 universe devel
Trusty release on 2013-10-18 universe devel
Precise release on 2011-10-13 universe devel

Downloads

File Size SHA-256 Checksum
splint_3.1.2.dfsg1.orig.tar.gz 1.7 MiB 4f1247514b7c7a4ed5a68841e2406749fa31dd82efafc41c617ff500e81c7145
splint_3.1.2.dfsg1-2.diff.gz 24.0 KiB 38a1810bad30d3ed45e3c3bbc324ad4ede7ead1b34a264959e8b63148e25a465
splint_3.1.2.dfsg1-2.dsc 1.3 KiB 64d4f53b0c9ab8b4deb2c5464a42c0af478d23e7bd15717202c52d4f5af13a07

Available diffs

View changes file

Binary packages built by this source

splint: No summary available for splint in ubuntu wily.

No description available for splint in ubuntu wily.

splint-data: tool for statically checking C programs for bugs - data files

 splint is an annotation-assisted lightweight static checker. It is a tool for
 statically checking C programs for security vulnerabilities and coding
 mistakes. If additional effort is invested in adding annotations to programs,
 splint can perform stronger checking.
 .
 splint does many of the traditional lint checks including unused declarations,
 type inconsistencies, use before definition, unreachable code, ignored return
 values, execution paths with no return, likely infinite loops, and fall
 through cases. Problems detected by Splint include:
 .
  * Dereferencing a possibly null pointer
  * Using or returning storage that is undefined or not properly defined
  * Type mismatches, with greater precision and flexibility than by C compilers
  * Memory management errors like use of dangling references and memory leaks
  * Inconsistent (with specified interface) global variable modification or use
  * Problematic control flow such as likely infinite loops etc.
  * Buffer overflow vulnerabilities
  * Dangerous macro implementations or invocations
  * Violations of customized naming conventions
 .
 This package contains the data files that are necessary to use splint.

splint-dbgsym: debug symbols for package splint

 splint is an annotation-assisted lightweight static checker. It is a tool for
 statically checking C programs for security vulnerabilities and coding
 mistakes. If additional effort is invested in adding annotations to programs,
 splint can perform stronger checking.
 .
 splint does many of the traditional lint checks including unused declarations,
 type inconsistencies, use before definition, unreachable code, ignored return
 values, execution paths with no return, likely infinite loops, and fall
 through cases. Problems detected by Splint include:
 .
  * Dereferencing a possibly null pointer
  * Using or returning storage that is undefined or not properly defined
  * Type mismatches, with greater precision and flexibility than by C compilers
  * Memory management errors like use of dangling references and memory leaks
  * Inconsistent (with specified interface) global variable modification or use
  * Problematic control flow such as likely infinite loops etc.
  * Buffer overflow vulnerabilities
  * Dangerous macro implementations or invocations
  * Violations of customized naming conventions

splint-doc-html: No summary available for splint-doc-html in ubuntu natty.

No description available for splint-doc-html in ubuntu natty.