概念
动态分析
一种程序分析技术，通过实际或模拟运行程序来观察其行为，记录执行轨迹和内存状态。
核心事实
时间轴 (近 90 天)
10月22日
heal.dev 属于动态分析范畴。
待验证50%
10月20日
动态分析通过在沙箱或调试器中运行程序，观测内存读写、系统调用与网络行为来推断程序逻辑。
待验证50%
10月20日
符号执行将程序输入视为符号变量，通过约束求解器探索所有可能路径，适合处理分支复杂的代码；动态分析则在实际或模拟环境中运行程序，记录执行轨迹和内存状态。
待验证50%
10月20日
REA可能结合了符号执行来枚举公式相关的计算路径，并用动态分析验证中间结果。
待验证50%
10月6日
动态分析在程序实际运行时采集数据，能捕捉混淆代码解混淆后的真实逻辑，但受限于特定运行路径覆盖率有限
待验证50%
9月28日
静态分析指在不实际运行程序的情况下对其进行检查，与之对应的动态分析需要实际执行代码才能观测行为
已验证75%
全部知识事实 (6)
已验证
静态分析指在不实际运行程序的情况下对其进行检查，与之对应的动态分析需要实际执行代码才能观测行为
75%待验证heal.dev 属于动态分析范畴。
50%待验证动态分析通过在沙箱或调试器中运行程序，观测内存读写、系统调用与网络行为来推断程序逻辑。
50%待验证符号执行将程序输入视为符号变量，通过约束求解器探索所有可能路径，适合处理分支复杂的代码；动态分析则在实际或模拟环境中运行程序，记录执行轨迹和内存状态。
50%待验证动态分析在程序实际运行时采集数据，能捕捉混淆代码解混淆后的真实逻辑，但受限于特定运行路径覆盖率有限
50%待验证REA可能结合了符号执行来枚举公式相关的计算路径，并用动态分析验证中间结果。
50%