动态验证

在隔离环境中实际运行代码以观察行为结果，从而确认静态分析发现的潜在问题是否真实存在的技术手段