 |
| FTP Search |
| Directory |
| Content Search |
|
|
|
|
lclint
LCLint is a tool for statically checking C programs.
/Main/Other/m68k/non-free/LCLint is a tool for statically checking C programs. With minimal effort, LCLint can be used as a better lint. If additional effort is invested adding annotations to programs, LCLint can perform stronger checks than can be done by any standard lint. LCLint 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. Our main focus, however, is on more powerful checks that are made possible by additional information given in source code annotations. Annotations are stylized comments that document certain assumptions about functions, variables, parameters, and types. They may be used to indicate where the representation of a user-defined type is hidden, to limit where a global variable may be used or modified, to constrain what a function implementation may do to its parameters, and to express checked assumptions about variables, types, structure fields, function parameters, and function results. In addition to the checks specifically enabled by annotations, many of the traditional lint checks are improved by exploiting this additional information.Info:
Homepage: - Package version: 2.1b-1 Architecture: m68k Distribution: Other Filename: lclint_2.1b-1.deb Browse inside lclint_2.1b-1.deb:
Download lclint_2.1b-1.deb:
1995-09-26 ftp://ftp.3logic.net/.1/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1995-09-26 ftp://ftp.3logic.net/.1/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.gnome.org/mirror/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.gnome.org/mirror/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-23 ftp://ftp.ens-cachan.fr/mirror/Debian/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-23 ftp://ftp.ens-cachan.fr/mirror/Debian/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.hosteurope.de/mirror/ftp.debian.org/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.hosteurope.de/mirror/ftp.debian.org/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.debian.de/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.debian.de/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://130.239.18.173/mirror/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://130.239.18.173/mirror/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://130.239.18.137/mirror/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://130.239.18.137/mirror/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.debian.de/archive/debian/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.debian.de/archive/debian/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp2.nl.freebsd.org/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp2.nl.freebsd.org/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.nrc.ca/pub/systems/linux/debian.org/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.nrc.ca/pub/systems/linux/debian.org/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://130.239.18.163/mirror/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://130.239.18.163/mirror/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://128.237.157.9/archive.debian.org/debian/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://128.237.157.9/archive.debian.org/debian/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/archive/debian/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/archive/debian/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://132.246.2.23/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://132.246.2.23/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp2.nl.freebsd.org/vol1/linux/debian-archive/dists/slink/non-free/binary-m68k/devel/lclint_2.1b-1.deb
1996-09-24 ftp://ftp2.nl.freebsd.org/vol1/linux/debian-archive/dists/hamm/non-free/binary-m68k/devel/lclint_2.1b-1.deb
| Results 1 - 1 |