使用 CodeReason 对原生程序进行语义分析

Trail of Bits 发布 CodeReason——DARPA Cyber Fast Track 资助的原生代码语义分析框架，可对 x86/ARM 指令的程序状态影响进行查询，并以自动去混淆 Flame 恶意软件字符串为例演示。