splint 3.1.2 devel =7

A tool for statically checking sourcecode for security vulnerabilities
Maintained by: lwhsu@FreeBSD.org
Port Added: 07 Mar 2002 21:03:12
Also Listed In: security
License: not specified in port

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/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: devel/gmake
There are no ports dependent upon this port

---

To install the port: cd /usr/ports/devel/splint/ && make install clean
To add the package: pkg_add -r splint

---

Configuration Options

     No options to configure

---

Master Sites:

http://www.splint.org/downloads/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Remove more tags from pkg-descr files fo the form:

- Name
em@i.l

or variations thereof. While I'm here also fix some whitespace and other
formatting errors, including moving WWW: to the last line in the file.

-remove MD5

Update CONFIGURE_ARGS for how we pass CONFIGURE_TARGET to configure script.
Specifically, newer autoconf (> 2.13) has different semantic of the
configure target. In short, one should use --build=CONFIGURE_TARGET
instead of CONFIGURE_TARGET directly. Otherwise, you will get a warning
and the old semantic may be removed in later autoconf releases.

To workaround this issue, many ports hack the CONFIGURE_TARGET variable
so that it contains the ``--build='' prefix.

To solve this issue, under the fact that some ports still have
configure script generated by the old autoconf, we use runtime detection
in the do-configure target so that the proper argument can be used.

Changes to Mk/*:
 - Add runtime detection magic in bsd.port.mk

Unbreak, distfile rerolled.
(Some self-test cases updated, this change would not affect the package.)

BROKEN: Size mismatch

- Truely respcect DATADIR

Submitted by:   sat

- Update to 3.1.2
- Remove obsoleted patch
- Use DATADIR
- Take maintainership

Reset andrew.nau.ua@gmail.com at his request due to lack of time.

Hat:            portmgr

Remove USE_REINPLACE from all categories starting with D

SHA256ify

Approved by:    krion@

Welcome Andrew Pogrebennyk as new maintainer

PR:             ports/87412, ports/87411, ports/87410, ports/87409
Submitted by:   Andrew Pogrebennyk <andrew.nau.ua@gmail.com>

At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.

Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.

Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.

(Part 2)

SIZEify.

- Add fix for parsing FreeBSD's sys/cdefs.h ('__func__')
- Bump portrevision

PR:             ports/61131
Submitted by:   Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
Obtained from:  Splint CVS

Update to version 3.1.1.

PR:             52894
Submitted by:   Ports Fury

De-pkg-comment.

Let splint process <inttypes.h>.  Now it passes its own test suite.

Submitted by:   Stacey Son <sson@verio.net>

Set MAINTAINER to <ports@FreeBSD.org>.

<rrm@subterrain.net>: host subterrain.net[66.179.0.134] said:
    550 5.1.1 <rrm@subterrain.net>... User unknown

- 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    

15 vulnerabilities affecting 34 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities