BINSEC/SE公司

BINSEC/SE:一个用于二进制分析的动态符号执行工具包。当涉及到软件分析时,从启发式技术到形式化方法,有几种方法可以帮助解决不同类型的问题。不幸的是,很少有计划在同一个平台上聚合这些技术。BINSEC打算通过允许进行模块化分析来弥补二进制分析平台的不足。本文主要研究BINSEC/SE,它是在BINSEC中实现的新的动态符号执行引擎(DSE)。我们将强调引擎的新颖之处,特别是在具体和符号执行之间的交互作用或公式生成的优化方面。最后给出了两个逆向工程的应用实例,以强调工具的有效性。