TechFeed
  • playlist_add_check Channels

InferでLinuxカーネルのメモリ関連エラーを検出してみる
BRANK

静的コード解析ツールの1つである Inferを使ってLinuxカーネルのソースコードを解析し、メモリ関連の不具合を検出してみます。Infer のビルドから、解析の実行と検証、解析結果の精査についてまとめました。

valinux.hatenablog.com 2 years ago
Related Topics: Linux
arrow_back
open_in_new Open page
https://valinux.hatenablog.com/entry/20230803
  • Blog
  • Frequently Asked Questions
  • Feedback
  • Terms of service
  • Privacy Policy
  • Posting guidelines
  • Special thanks
  • About Company
© 2025 TechFeed Inc.