Package Info

splint


A tool for statically checking C programs


Development/Languages/C and C++

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.


License: GPL-2.0+
URL: http://www.splint.org/

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
3.1.2-bp150.2.11 info GA Release 2018-07-30 15
  • x86-64
  • splint
3.1.2-bp150.2.7 info GA Release 2018-07-30 15
  • s390x
  • splint
3.1.2-bp150.2.8 info GA Release 2018-07-30 15
  • AArch64
  • splint
3.1.2-bp150.2.9 info GA Release 2018-07-30 15
  • ppc64le
  • splint
3.1.2-bp151.2.15 info GA Release 2019-05-18 15 SP1
  • x86-64
  • splint
3.1.2-bp151.3.1 info GA Release 2019-07-17 15 SP1
  • AArch64
  • ppc64le
  • s390x
  • splint
3.1.2-bp152.3.24 info GA Release 2020-06-06 15 SP2
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • splint
3.1.2-bp153.2.1 info GA Release 2021-04-19 15 SP3
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • splint
3.1.2-bp154.1.22 info GA Release 2022-05-09 15 SP4 (BETA)
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • splint