该文件重新定义了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。
实施替换的原因,是源于这些函数的内核实现对于验证模块(基于blast)来说过于‘复杂’,需要重新进行简化实现。
(参考作者对IS_ERR重新建模的相关解释:http://forge.ispras.ru/issues/2707)
各个函数在linux下的功能如下:
IS_ERR, 检测指针是否合法(越界);
PTR_ERR, 将指针强制转换为long
ERR_PTR, 将long类型指针强制转换为void*
IS_ERR_OR_NULL ,检测指针是否非法或者NULL
参见:http://linchunai1212.blog.163.com/blog/static/351121432012213104240242/
ldv中重新定义了函数实现,基本遵照了内核实现的规则,具体实现参见:
参见:http://forge.ispras.ru/projects/ldv-rules/repository/revisions/master/entry/kernel-model/ERR.inc
实现替换的方面文件:
参见 http://forge.ispras.ru/projects/ldv-rules/repository/revisions/master/entry/kernel-model/ERR.aspect