静的コード解析ツールの1つである Inferを使って Linuxカーネルの
　ソースコードを解析し、メモリ関連の不具合を検出してみます。

　Infer のビルドから、解析の実行と検証、解析結果の精査について
　まとめてみました。

　「VA Linux エンジニアブログ」で解説していますのでご覧ください。

　https://valinux.hatenablog.com/entry/20230803