静态分析 - Sparse
================================================================================


* https://www.cnblogs.com/wang_yb/p/3575039.html
* https://en.wikipedia.org/wiki/Sparse
* https://elinux.org/Sparse