=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