HOMELv019 「記号実行（Symbolic Execution）」の特徴はどれか。 2026年3月5日 記号実行は、具体的な値の代わりに入力を記号として扱い、プログラムパスの制約条件を数式として解くことで、特定のパスを通る入力値を導出する静的・動的解析手法である。 TPM（Trusted Platform Module）の「シール（Sealing）」機能は何を行うか。 NIST SP 800-207「Zero Trust Architecture」において、アクセスポリシー決定を行う論理コンポーネントはどれか。
