freebsd-ports/devel/splint/pkg-descr
Patrick Li 179d897537 - Repocopy and move devel/lclint to devel/splint
- Update devel/splint to 3.0.1.6
- Give maintainership to Raymond Medeiros <rrm@subterrain.net>
  for requesting in PR

PR:		33788, 35247, 35474
Submitted by:	KATO Tsuguru <tkato@prontomail.com>,
		Jeroen Ruigrok van der Werven <asmodai@wxs.nl>,
		Raymond Medeiros <rrm@subterrain.net>
Repocopied by:	joe
Approved by:	portmgr
2002-03-08 00:03:12 +00:00

10 lines
371 B
Plaintext

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.
WWW: http://www.splint.org/
- Raymond Medeiros <rrm@subterrain.net>