Debian Bug report logs - #201348
please remove lclint

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Martin Michlmayr <tbm@cyrius.com>

To: Debian Bug Tracking System <submit@bugs.debian.org>

Cc: Christian Meder <meder@isr.uni-stuttgart.de>

Subject: O: lclint -- A tool for statically checking C programs.

Date: Tue, 15 Jul 2003 09:55:23 +0200

Package: wnpp
Severity: normal

The current maintainer of lclint, Christian Meder
<meder@isr.uni-stuttgart.de>, has orphaned this package.  Therefore, I
orphan this package now.  If you want to be the new maintainer, please
take it -- see http://www.debian.org/devel/wnpp/index.html#howto-o for
detailed instructions how to adopt a package properly.

Some information about this package:

Package: lclint
Binary: lclint
Version: 1:2.4b-1.3
Priority: optional
Section: devel
Maintainer: Christian Meder <meder@isr.uni-stuttgart.de>
Build-Depends: debhelper (>> 3.0.0), bison, flex, csh
Architecture: any
Standards-Version: 3.1.1.1
Format: 1.0
Directory: pool/main/l/lclint
Files: 8f1ff55464943e751a55c4161fad500c 637 lclint_2.4b-1.3.dsc
 ab9cbc54cbe8ac77e47d51c81632f858 1145469 lclint_2.4b.orig.tar.gz
 dbfc49453bda54cbc78290488b83a0b7 170187 lclint_2.4b-1.3.diff.gz

Package: lclint
Priority: optional
Section: devel
Installed-Size: 2132
Maintainer: Christian Meder <meder@isr.uni-stuttgart.de>
Architecture: i386
Version: 1:2.4b-1.3
Depends: libc6 (>= 2.2.4-4)
Suggests: lclint-doc
Filename: pool/main/l/lclint/lclint_2.4b-1.3_i386.deb
Size: 613108
MD5sum: f6fc1e106ab7d768e16cc01744a1e1b4
Description: A tool for statically checking C programs.
 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.


-- 
Martin Michlmayr
tbm@cyrius.com

Message #10 received at 201348@bugs.debian.org (full text, mbox, reply):

From: Andrés Roldán <aroldan@fluidsignal.com>

To: Martin Michlmayr <tbm@cyrius.com>

Cc: 201348@bugs.debian.org

Subject: Re: Bug#201348: O: lclint -- A tool for statically checking C programs.

Date: Tue, 15 Jul 2003 09:32:34 -0500

This package is obsolete. The splint project homepage at freshmeat says the 
following:

Splint is a tool for statically checking C programs for security 
vulnerabilities and coding mistakes. With minimal effort, it can be used 
as a better lint. If additional effort is invested adding annotations to 
programs, it can perform stronger checking than can be done by any standard 
lint. Splint is the successor to LCLint. The main differences between 
Splint and LCLint are support for buffer overflow detection and extensible 
annotations.

I think it may be removed since Splint is already maintained by 
Samuele Giovanni Tonon <samu@debian.org> and the latest version of a lclint
was about 2 years.

Martin Michlmayr <tbm@cyrius.com> writes:

> Package: wnpp
> Severity: normal
>
> The current maintainer of lclint, Christian Meder
> <meder@isr.uni-stuttgart.de>, has orphaned this package.  Therefore, I
> orphan this package now.  If you want to be the new maintainer, please
> take it -- see http://www.debian.org/devel/wnpp/index.html#howto-o for
> detailed instructions how to adopt a package properly.
>
> Some information about this package:
>
> Package: lclint
> Binary: lclint
> Version: 1:2.4b-1.3
> Priority: optional
> Section: devel
> Maintainer: Christian Meder <meder@isr.uni-stuttgart.de>
> Build-Depends: debhelper (>> 3.0.0), bison, flex, csh
> Architecture: any
> Standards-Version: 3.1.1.1
> Format: 1.0
> Directory: pool/main/l/lclint
> Files: 8f1ff55464943e751a55c4161fad500c 637 lclint_2.4b-1.3.dsc
>  ab9cbc54cbe8ac77e47d51c81632f858 1145469 lclint_2.4b.orig.tar.gz
>  dbfc49453bda54cbc78290488b83a0b7 170187 lclint_2.4b-1.3.diff.gz
>
> Package: lclint
> Priority: optional
> Section: devel
> Installed-Size: 2132
> Maintainer: Christian Meder <meder@isr.uni-stuttgart.de>
> Architecture: i386
> Version: 1:2.4b-1.3
> Depends: libc6 (>= 2.2.4-4)
> Suggests: lclint-doc
> Filename: pool/main/l/lclint/lclint_2.4b-1.3_i386.deb
> Size: 613108
> MD5sum: f6fc1e106ab7d768e16cc01744a1e1b4
> Description: A tool for statically checking C programs.
>  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.
>
>
> -- 
> Martin Michlmayr
> tbm@cyrius.com
>
>
> -- 
> To UNSUBSCRIBE, email to debian-wnpp-request@lists.debian.org
> with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
>

-- 
Andres Roldan <aroldan@fluidsignal.com>
http://people.fluidsignal.com/~aroldan
CSO, Fluidsignal Group

Message #15 received at 201348@bugs.debian.org (full text, mbox, reply):

From: Martin Michlmayr <tbm@cyrius.com>

To: Andrés Roldán <aroldan@fluidsignal.com>

Cc: 201348@bugs.debian.org

Subject: Re: Bug#201348: O: lclint -- A tool for statically checking C programs.

Date: Tue, 15 Jul 2003 21:02:12 +0200

retitle 201348 please remove lclint
retitle 201349 please remove lclint-coc
thanks

* Andrés Roldán <aroldan@fluidsignal.com> [2003-07-15 09:32]:
> This package is obsolete. The splint project homepage at freshmeat says the 
> following:

This seems to be right.  thanks for the info.

-- 
Martin Michlmayr
tbm@cyrius.com

Message #24 received at 201348-close@bugs.debian.org (full text, mbox, reply):

From: Debian Archive Maintenance <ftpmaster@ftp-master.debian.org>

To: 201348-close@bugs.debian.org

Subject: Bug#201348: fixed

Date: Mon, 04 Aug 2003 19:27:21 -0400

We believe that the bug you reported is now fixed; the following
package(s) have been removed from unstable:

    lclint | 1:2.4b-1.3 | arm, hurd-i386
    lclint | 1:2.4b-1.5 | source, alpha, hppa, i386, ia64, m68k, mips, mipsel, powerpc, s390, sparc

Note that the package(s) have simply been removed from the tag
database and may (or may not) still be in the pool; this is not a bug.
The package(s) will be physically removed automatically when no suite
references them (and in the case of source, when no binary references
it).  Please also remember that the changes have been done on the
master archive (ftp-master.debian.org) and will not propagate to any
mirrors (ftp.debian.org included) until the next cron.daily run at the
earliest.

Packages are never removed from testing by hand.  Testing tracks
unstable and will automatically remove packages which were removed
from unstable when removing them from testing causes no dependency
problems.

Bugs which have been reported against this package are not automatically
removed from the Bug Tracking System.  Please check all open bugs and
close them or re-assign them to another package if the removed package
was superseded by another one.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 201348@bugs.debian.org.

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmaster@debian.org.

Debian distribution maintenance software
pp.
Ryan Murray (the ftpmaster behind the curtain)

Send a report that this bug log contains spam.