MASTG-TECH-0050: 二进制分析

二进制分析框架为您提供强大的方法来自动化手动几乎不可能完成的任务。二进制分析框架通常使用一种称为符号执行的技术，该技术允许确定达到特定目标所需的条件。它将程序的语义转换为一个逻辑公式，其中一些变量由具有特定约束的符号表示。通过解决约束，您可以找到执行程序某些分支所需的条件。