静的解析

プログラムを実行せずに構文・依存・脆弱性を解析する技術。