./devel/splint, Statically check C programs

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

Branch: pkgsrc-2017Q1, Version: 3.1.2, Package name: splint-3.1.2, 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:

SHA1: 0df489cb228dcfffb149b38c57614c2c3e200501
RMD160: 52e9786d3cbeaa437877a33b18e42b32dff3b96b
Filesize: 2230.501 KB

Version history: (Expand)

CVS history: (Expand)


   2017-05-06 17:32:43 by Benny Siegert | Files touched by this commit (2) 
Log message:
Pullup ticket #5402 - requested by sevan
devel/splint: build fix

Revisions pulled up:
- devel/splint/distinfo                                         1.11
- devel/splint/patches/patch-aa                                 1.4

---
   Module Name:    pkgsrc
   Committed By:   maya
   Date:           Fri May  5 07:34:06 UTC 2017

   Modified Files:
           pkgsrc/devel/splint: distinfo
           pkgsrc/devel/splint/patches: patch-aa

   Log message:
   splint: use the standard check for C99 before including a C99 header

   If PR pkg/47405 was not fixed before (it probably was), this should
   definitely do the trick.