静的コード解析ツールの1つである Inferを使って Linuxカーネルの
ソースコードを解析し、メモリ関連の不具合を検出してみます。
Infer のビルドから、解析の実行と検証、解析結果の精査について
まとめてみました。
「VA Linux エンジニアブログ」で解説していますのでご覧ください。
技術情報技術文書
OSSについての技術解説や、技術調査・検証レポートなどを公開しています。
静的コード解析ツールの1つである Inferを使って Linuxカーネルの
ソースコードを解析し、メモリ関連の不具合を検出してみます。
Infer のビルドから、解析の実行と検証、解析結果の精査について
まとめてみました。
「VA Linux エンジニアブログ」で解説していますのでご覧ください。
オペレーティングシステム
2025/01/30
オペレーティングシステム
2024/12/26
Linux
2024/12/19
Linux
2024/12/12