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。

实施替换的原因，是源于这些函数的内核实现对于验证模块（基于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