| 1 | # $Id$ |
|---|
| 2 | |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | name splint |
|---|
| 5 | version 3.1.0 |
|---|
| 6 | categories devel |
|---|
| 7 | maintainers waqar@opendarwin.org |
|---|
| 8 | description Secure Programming Lint |
|---|
| 9 | long_description Splint is a tool for statically checking C programs \ |
|---|
| 10 | for security vulnerabilities and coding mistakes. \ |
|---|
| 11 | With minimal effort, Splint can be used as a better lint. \ |
|---|
| 12 | If additional effort is invested adding annotations to \ |
|---|
| 13 | programs, Splint can perform stronger checking than can \ |
|---|
| 14 | be done by any standard lint. |
|---|
| 15 | homepage http://splint.org/ |
|---|
| 16 | platforms darwin |
|---|
| 17 | master_sites http://unc.dl.sourceforge.net/sourceforge/lclint/ \ |
|---|
| 18 | http://telia.dl.sourceforge.net/sourceforge/lclint/ \ |
|---|
| 19 | http://easynews.dl.sourceforge.net/sourceforge/lclint/ \ |
|---|
| 20 | http://umn.dl.sourceforge.net/sourceforge/lclint/ \ |
|---|
| 21 | http://twtelecom.dl.sourceforge.net/sourceforge/lclint/ \ |
|---|
| 22 | http://belnet.dl.sourceforge.net/sourceforge/lclint/ \ |
|---|
| 23 | http://switch.dl.sourceforge.net/sourceforge/lclint/ \ |
|---|
| 24 | http://cesnet.dl.sourceforge.net/sourceforge/lclint/ |
|---|
| 25 | checksums md5 7b9774cc99fbe61458078cadbcd0ad2b |
|---|
