A tool for statically checking C programs
http://www.splint.org/
With minimal effort, LCLint can be used as a better lint. If additional
effort is invested adding annotations to programs, LCLint can perform
stronger checks than can be done by any standard lint.
- Sources inherited from project devel:tools
- Devel package for openSUSE:Factory
- Links to openSUSE:Factory / splint
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:redwil:devel:tools/splint && cd $_ - Create Badge
Refresh
Refresh
Source Files (show unmerged sources)
| Filename | Size | Changed |
|---|---|---|
| splint-3.1.2-build-date-override.patch | 0000000605 605 Bytes | |
| splint-3.1.2-fixes.patch | 0000001364 1.33 KB | |
| splint-3.1.2-no-uname.patch | 0000000355 355 Bytes | |
| splint-3.1.2.src.tgz | 0002284033 2.18 MB | |
| splint-rpmlintrc | 0000000054 54 Bytes | |
| splint.changes | 0000004503 4.4 KB | |
| splint.spec | 0000001876 1.83 KB |
Latest Revision
buildservice-autocommit
accepted
request 1151605
from
Martin Pluskal (pluskalm)
(revision 13)
Martin Pluskal (pluskalm)
(revision 13)
baserev update by copy to link target
Comments 0