./devel/splint, Statically check C programs

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 3.1.2nb2, Package name: splint-3.1.2nb2, Maintainer: pkgsrc-users

Splint is a tool for statically checking C programs for security
vulnerabilities and coding mistakes. With minimal effort, Splint
can be used as a better lint. If additional effort is invested
adding annotations to programs, Splint can perform stronger checking
than can be done by any standard lint.

Splint 3.0 is the successor to LCLint 2.5.


Required to build:
[pkgtools/cwrappers]

Master sites:

Filesize: 2230.501 KB

Version history: (Expand)

CVS history: (Expand)


   2023-12-30 22:30:48 by Zafer Aydogan | Files touched by this commit (1) | Package updated
Log message:
update master site
   2021-10-26 12:20:11 by Nia Alarie | Files touched by this commit (3016) 
Log message:
archivers: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes

Could not be committed due to merge conflict:
devel/py-traitlets/distinfo

The following distfiles were unfetchable (note: some may be only fetched
conditionally):

./devel/pvs/distinfo pvs-3.2-solaris.tgz
./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip
   2021-10-07 15:44:44 by Nia Alarie | Files touched by this commit (3017) 
Log message:
devel: Remove SHA1 hashes for distfiles
   2020-12-23 14:23:52 by Roland Illig | Files touched by this commit (2) 
Log message:
devel/splint: install documentation as well
   2020-01-26 18:32:28 by Roland Illig | Files touched by this commit (981) 
Log message:
all: migrate homepages from http to https

pkglint -r --network --only "migrate"

As a side-effect of migrating the homepages, pkglint also fixed a few
indentations in unrelated lines. These and the new homepages have been
checked manually.
   2019-11-03 11:55:22 by Roland Illig | Files touched by this commit (3) 
Log message:
devel/splint: fix type of signed shift expression

https://github.com/splintchecker/splint/issues/13
   2019-11-03 11:39:32 by Roland Illig | Files touched by this commit (274) 
Log message:
devel: align variable assignments

pkglint -Wall -F --only aligned --only indent -r

No manual corrections.
   2018-01-01 23:30:04 by Roland Illig | Files touched by this commit (537) 
Log message:
Sort PLIST files.

Unsorted entries in PLIST files have generated a pkglint warning for at
least 12 years. Somewhat more recently, pkglint has learned to sort
PLIST files automatically. Since pkglint 5.4.23, the sorting is only
done in obvious, simple cases. These have been applied by running:

  pkglint -Cnone,PLIST -Wnone,plist-sort -r -F