17 lines
268 B
Plaintext
17 lines
268 B
Plaintext
|
=Static Checker=
|
||
|
|
|
||
|
|
* cppcheck
|
||
|
|
* oclint
|
||
|
|
|
||
|
|
Used by kernel https://outflux.net/slides/2017/kr/kspp.pdf
|
||
|
|
* coccinelle
|
||
|
|
* sparse
|
||
|
|
* smatch
|
||
|
|
* coverty
|
||
|
|
|
||
|
|
= Dynamic Checker =
|
||
|
|
Used by kernel https://outflux.net/slides/2017/kr/kspp.pdf
|
||
|
|
* Trinity
|
||
|
|
* syzkaller
|
||
|
|
* KASan-familly
|