Name : splint
| |
Version : 3.1.2
| Vendor : openSUSE
|
Release : bp155.2.10
| Date : 2023-05-17 15:54:41
|
Group : Development/Languages/C and C++
| Source RPM : splint-3.1.2-bp155.2.10.src.rpm
|
Size : 4.02 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: /vol/rzm3/linux-opensuse/distribution/leap/15.5/repo/oss/x86_64 |