Name : splint
| |
Version : 3.1.2
| Vendor : openSUSE
|
Release : bp150.2.11
| Date : 2018-07-30 18:31:00
|
Group : Development/Languages/C and C++
| Source RPM : splint-3.1.2-bp150.2.11.src.rpm
|
Size : 4.20 MB
| |
Packager : https://bugs_opensuse_org
| |
Summary : A tool for statically checking C programs
|
Description :
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.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15/standard/x86_64 |