Age | Commit message (Collapse) | Author | Files | Lines |
|
Patch provided by Sergey Svishchev in private mail.
|
|
|
|
a C99 compiler.
|
|
|
|
developer is officially maintaining the package.
The rationale for changing this from "tech-pkg" to "pkgsrc-users" is
that it implies that any user can try to maintain the package (by
submitting patches to the mailing list). Since the folks most likely
to care about the package are the folks that want to use it or are
already using it, this would leverage the energy of users who aren't
developers.
|
|
|
|
from FreeBSD (PR ports/61131).
|
|
Fixes PR 30014.
|
|
USE_GNU_TOOLS -> USE_TOOLS
awk -> gawk
m4 -> gm4
make -> gmake
sed -> gsed
yacc -> bison
|
|
The 3.1.0 release contained numerous enhancements over the previous 3.0.1.6
release. Among other improvements, the accuracy of the bounds checking code
has improved; Splint can produce output in html or comma separated value(CSV)
format; and support for numabstract types has been added. Additionally the
code contains numerous bugs fixes and house keeping updates.
(Details at http://www.splint.org/changes.html )
No list of changes available for the 3.1.1 release.
|
|
|
|
|
|
|
|
|
|
Should anybody feel like they could be the maintainer for any of thewe packages,
please adjust.
|
|
|
|
|
|
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.
|