Package Info

smatch


Static analysis tool for C


Development/Tools/Building

Smatch is a static analysis tool for C. Most of the checks are for the linux kernel. Please write checks for your project. It's fun and easy!


License: GPL-2.0-only
URL: http://smatch.sf.net

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
20180125-bp150.2.4 info GA Release 2018-07-30 15
  • ppc64le
  • s390x
  • x86-64
  • smatch
20180125-bp150.2.5 info GA Release 2018-07-30 15
  • AArch64
  • smatch
20180125-bp151.2.14 info GA Release 2019-05-18 15 SP1
  • ppc64le
  • smatch
20180125-bp151.3.1 info GA Release 2019-07-17 15 SP1
  • AArch64
  • s390x
  • x86-64
  • smatch
20180125-bp152.3.13 info GA Release 2020-04-16 15 SP2
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • smatch
20180125-bp153.1.14 info GA Release 2021-03-06 15 SP3
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • smatch