‘形式分析应对病毒的挑战’ 主要提出这个分析方法在应用中有待解决的难题。 描述了分析一个程序的5个步骤;以及每一步为什么可能失败。 ‘循环检测’ 介绍测定一个循环的传统算法及其缺陷,提出新的算法; 以一个实例说明,如何使用一个IDA插件确定循环的存在, 并对它进行风险分析。
[培训]内核驱动高级班,冲击BAT一流互联网大厂工作,每周日13:00-18:00直播授课