# $Id: Portfile,v 1.1 2003/04/24 09:57:21 fkr Exp $ PortSystem 1.0 name splint version 3.1.0 categories devel maintainers waqar@opendarwin.org description Secure Programming Lint long_description 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. homepage http://splint.org/ platforms darwin master_sites http://unc.dl.sourceforge.net/sourceforge/lclint/ \ http://telia.dl.sourceforge.net/sourceforge/lclint/ \ http://easynews.dl.sourceforge.net/sourceforge/lclint/ \ http://umn.dl.sourceforge.net/sourceforge/lclint/ \ http://twtelecom.dl.sourceforge.net/sourceforge/lclint/ \ http://belnet.dl.sourceforge.net/sourceforge/lclint/ \ http://switch.dl.sourceforge.net/sourceforge/lclint/ \ http://cesnet.dl.sourceforge.net/sourceforge/lclint/ checksums md5 7b9774cc99fbe61458078cadbcd0ad2b