![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
ldv
itupipa
无
展开
-
ldv-kernelRules : export-3.5.aspect 定义对驱动程序导出函数的重构
源码:kernel-model/export-3.5.aspect此文件定义了一个源码重构(插桩)的方面文件,将所有驱动程序的导出函数的每一次调用之后都执行一次ldv_func_check($res)或者ldv_check_pointer($res)函数。后者针对返回值为指针的函数(1524个函数),前者针对其他类型返回值函数(6813个函数)。尚存问题:开头一句/*Exp原创 2013-01-18 15:21:21 · 295 阅读 · 0 评论 -
ldv-kernelRule: ERR.aspect定义对内核指针错误处理函数的重构
该文件重新定义了linux内核中(linux/include/linux/err.h )定义的错误检测相关函数:IS_ERR, PTR_ERR, ERR_PTR and IS_ERR_OR_NULL 函数分别替换为了 ldv_is_err, ldv_err_ptr,ldv_ptr_err,ldv_is_err_or_null。实施替换的原因,是源于这些函数的内核实现对于验证模块(基原创 2013-01-17 17:48:17 · 408 阅读 · 0 评论 -
ldv内核模型源码--alloc
该文件用于描述内核中内存分配(以页为单位)操作的各种不同函数。根据函数的参数中是否含有gfp_t标记以及标记在参数列表中的位置进行分类,作为不同的程序切点。如,下面的语句定义了一个切点:将内核内存分配函数中含有gfp_t标记并作为第一个参数的函数作为一类切点,命名为ARG_1。pointcut ARG_1: call(unsigned long __get_free_pages(.原创 2013-01-15 20:44:21 · 666 阅读 · 0 评论