2014年08月_valiant1ster

08月 01月

Katch是基于klee的一个专门针对补丁的测试工具。主要原理，首先通过静态分析，获取补丁代码，并以补丁代码为目标，计算测试用例到达补丁的距离。选择距离最小的测试用例作为种子。然后使用concolic来选择路径执行到目标程序。

2014-08-20 16:44:57 784

系统的讲述关于浏览器的攻击方法技术，2014年出版。

2014-08-07

stuxnet（震网）的详细分析文档，详细分析了stuxnet的每个阶段。

2013-06-12

MPI用户手册，包括MPI基本操作基本知识。

2012-11-07

Application Security for the Android Platform

2012-10-12

FAT16文件系统说明及代码.本文件是嵌入式FAT文件系统的说明书，嵌入式FAT文件系统的开发和使用人员都可通过阅读该文件，以掌握和使用文件系统。

2011-04-27

内核漏洞审计工具强大的驱动漏洞审计工具，可以发现驱动存在的各种溢出漏洞。

2010-07-11

TA创建的收藏夹 TA关注的收藏夹

TA关注的人