概要 はじめに 実験環境 インストール 実行方法 実験結果 おわりに 変更履歴 参考文献 概要 本記事では、Ubuntu 22.04でSparseをビルドし、Linux kernel v6.3 に実行する手順を確認した。 はじめに Linuxカーネルは、主にC言語とアセンブリ言語によって記述…