./devel/splint [advanced lint: statically check C programs]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 3.1.2, Package name: splint-3.1.2
Maintained by: Marc Espie
Master sites:
Description
SPLint is a tool for statically checking C programs. With minimal
effort, SPLint can be used as a better lint. If additional effort is
invested adding annotations to programs, SPLint can perform stronger
checks than can be done by any standard lint.

SPLint can detect lots of obscure errors that other lints can't find.
It takes some getting used to, and tends to output quite a large number
of warnings unless tuned for the current project.

It is the successor of LCLint, an earlier effort, with more checks
with respect to buffer sizes calculations.


Filesize: 2230.501 KB
Version History (View Complete History)
  • (2007-08-25) Updated to version: splint-3.1.2
  • (2006-07-21) Package added to openports.se, version splint-3.1.1p0 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2015-11-15 04:55:59 by Jeremie Courreges-Anglas | Files touched by this commit (15)
Log message:
Cope with latest bison; ok sthen@
   2015-11-15 04:55:59 by Jeremie Courreges-Anglas | Files touched by this commit (15)
Log message:
Cope with latest bison; ok sthen@
   2015-11-15 04:55:59 by Jeremie Courreges-Anglas | Files touched by this commit (15)
Log message:
Cope with latest bison; ok sthen@
   2015-11-15 04:55:59 by Jeremie Courreges-Anglas | Files touched by this commit (15)
Log message:
Cope with latest bison; ok sthen@
   2015-01-17 20:16:09 by Christian Weisgerber | Files touched by this commit (3349)
Log message:
Drop remaining MD5/RMD160/SHA1 checksums.
   2010-11-15 12:46:10 by Marc Espie | Files touched by this commit (706)
Log message:
move depends to new style
   2010-10-18 11:48:13 by Marc Espie | Files touched by this commit (650)
Log message:
USE_GROFF=Yes
   2010-08-31 02:15:45 by Antoine Jacoutot | Files touched by this commit (23)
Log message:
Remove PKGNAME=${DISTNAME} constructs where possible, as this is the
default anyway.
ok jasper@
   2007-08-25 02:03:43 by Marc Espie | Files touched by this commit (4)
Log message:
minor update, splint 3.1.2
   2007-08-25 02:03:43 by Marc Espie | Files touched by this commit (4)
Log message:
minor update, splint 3.1.2
   2007-08-25 02:03:43 by Marc Espie | Files touched by this commit (4)
Log message:
minor update, splint 3.1.2
   2007-08-25 02:03:43 by Marc Espie | Files touched by this commit (4)
Log message:
minor update, splint 3.1.2
   2007-04-05 09:38:13 by Marc Espie | Files touched by this commit (1270)
Log message:
base64 distinfo with SHA256


   2005-10-28 13:43:32 by Marc Espie | Files touched by this commit (2)
Log message:
fix grammar for upcoming new bison.


   2005-10-28 13:43:32 by Marc Espie | Files touched by this commit (2)
Log message:
fix grammar for upcoming new bison.


   2005-01-05 09:22:44 by Christian Weisgerber | Files touched by this commit (366)
Log message:
SIZE


   2004-11-23 17:11:04 by Marc Espie | Files touched by this commit (33)
Log message:
WANTLIB markers


   2004-09-14 17:44:02 by Marc Espie | Files touched by this commit (206)
Log message:
switch to new plist, killing a few install scripts along the way.


   2004-07-31 15:17:22 by Christian Weisgerber | Files touched by this commit (16)
Log message:
fix up MODGNU_CONFIG_GUESS_DIRS


   2004-05-23 09:41:07 by Nikolay Sturm | Files touched by this commit (5)
Log message:
update to splint 3.1.1
based on a diff by Emil Mikulic <emikulic at dmr.ath.cx>


   2004-05-23 09:41:07 by Nikolay Sturm | Files touched by this commit (5)
Log message:
update to splint 3.1.1
based on a diff by Emil Mikulic <emikulic at dmr.ath.cx>


   2004-05-23 09:41:07 by Nikolay Sturm | Files touched by this commit (5)
Log message:
update to splint 3.1.1
based on a diff by Emil Mikulic <emikulic at dmr.ath.cx>


   2004-05-23 09:41:07 by Nikolay Sturm | Files touched by this commit (5)
Log message:
update to splint 3.1.1
based on a diff by Emil Mikulic <emikulic at dmr.ath.cx>


   2004-05-23 09:41:07 by Nikolay Sturm | Files touched by this commit (5)
Log message:
update to splint 3.1.1
based on a diff by Emil Mikulic <emikulic at dmr.ath.cx>


   2003-12-15 14:42:44 by Christian Weisgerber | Files touched by this commit (507)
Log message:
remove WWW lines


   2003-08-29 14:46:17 by Nikolay Sturm | Files touched by this commit (1)
Log message:
manual changed, so update checksums
ok naddy@


   2003-05-31 00:24:17 by Todd T. Fries | Files touched by this commit (1)
Log message:
manual.html changed; ok maint


   2002-12-29 13:19:12 by Federico G. Schwindt | Files touched by this commit (83)
Log message:
and more..