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!
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 1.72+20220506-bp155.1.8 info | GA Release | 2023-05-22 | 15 SP5 |
|
|
| 20200608+git.e92d9e00-bp154.1.20 info | GA Release | 2022-05-09 | 15 SP4 |
|
|
| 20180125-bp153.1.14 info | GA Release | 2021-03-06 | 15 SP3 |
|
|
| 20180125-bp152.3.13 info | GA Release | 2020-04-16 | 15 SP2 |
|
|
| 20180125-bp151.3.1 info | GA Release | 2019-07-17 | 15 SP1 |
|
|
| 20180125-bp151.2.14 info | GA Release | 2019-05-18 | 15 SP1 |
|
|
| 20180125-bp150.2.5 info | GA Release | 2018-07-30 | 15 |
|
|
| 20180125-bp150.2.4 info | GA Release | 2018-07-30 | 15 |
|
|