‘形式分析应对病毒的挑战’ 主要提出这个分析方法在应用中有待解决的难题。 描述了分析一个程序的5个步骤；以及每一步为什么可能失败。 ‘循环检测’ 介绍测定一个循环的传统算法及其缺陷，提出新的算法； 以一个实例说明，如何使用一个IDA插件确定循环的存在， 并对它进行风险分析。
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入！
多谢楼主
good
