Date: Thu, 19 Sep 1996 11:27:45 +0200 From: moeding@bn.DeTeMobil.de (Stefan Moeding) To: FreeBSD-gnats-submit@freebsd.org Subject: ports/1646: Port of lclint - a better lint replacement Message-ID: <9609190927.AA25270@dxca0n.bn.DeTeMobil.de> Resent-Message-ID: <199609190930.CAA09940@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 1646 >Category: ports >Synopsis: Port of lclint - a better lint replacement >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-bugs >State: open >Class: change-request >Submitter-Id: current-users >Arrival-Date: Thu Sep 19 02:30:05 PDT 1996 >Last-Modified: >Originator: Stefan Moeding >Organization: private >Release: FreeBSD 2.1-STABLE i386 >Environment: >Description: 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. Check the LCLint home page at http://larch-www.lcs.mit.edu:8001/larch/lclint/ for more information and complete documentation. >How-To-Repeat: >Fix: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?9609190927.AA25270>