静态分析 - Sparse

• https://www.cnblogs.com/wang_yb/p/3575039.html

• https://en.wikipedia.org/wiki/Sparse

• https://elinux.org/Sparse