動的解析 - CI/CD 用語集の定義
動的解析は、プログラムが実行されている間にそれを調べ、メモリエラー、競合状態、実行時の脆弱性といった問題を見つけるために実際の実行を観察します。sanitizer、fuzzer、DAST ツールは動的解析です。
例
AddressSanitizer(-fsanitize=address)は実行時にメモリ破壊を検出し、fuzzer はランダムな入力を与えて crash を誘発し、DAST は実行中の web アプリを脆弱性についてプローブします。
関連ガイド
Static Analysis - CI/CD Glossary DefinitionStatic Analysis: Static analysis inspects source code without running it, using parsing and data-flow analysi…
Type Checking - CI/CD Glossary DefinitionType Checking: Type checking verifies that values are used consistently with their declared or inferred types…