静的解析の技術書

「静的解析」とは

コードを実行せずに構文 / 型 / データの流れから性質を推論し、バグ / 脆弱性 / 規約違反の候補を検出する手法