程序测试研究表明代码安全缺陷聚集于热点代码。提出一种面向热点代码的路径搜索方法，在程序CFG（controlflowgraph）图上搜索分支语句......

在深入研究了Linux操作系统驱动模型的基础上，设计和实现了一种全新的用户态驱动框架U2MDF（Unified User-Mode Driver Framework）。U2......