‘形式分析应对病毒的挑战’ 主要提出这个分析方法在应用中有待解决的难题。 描述了分析一个程序的5个步骤;以及每一步为什么可能失败。 ‘循环检测’ 介绍测定一个循环的传统算法及其缺陷,提出新的算法; 以一个实例说明,如何使用一个IDA插件确定循环的存在, 并对它进行风险分析。
[招生]系统0day安全班,企业级设备固件漏洞挖掘,Linux平台漏洞挖掘!