程序分析及约束求解器

【文件属性】：

文件名称：程序分析及约束求解器

文件大小：1.05MB

文件格式：PDF

更新时间：2017-09-04 08:20:51

求解器 SMT 程序分析

本文档围绕如何使用约束求解器展开，包括用于逆向工程和寻找bug等的程序分析应用的SMT求解器。作者将展示如何将x86汇编码翻译成中间语言和SMT公式，还会讨论在程序分析时使用求解器的利与弊，求解器与污点数据分析的关系。