ldv-kernelRule: ERR.aspect定义对内核指针错误处理函数的重构
来源:互联网 发布:div调用js方法 编辑:程序博客网 时间:2024/05/19 22:52
该文件重新定义了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
- ldv-kernelRule: ERR.aspect定义对内核指针错误处理函数的重构
- ldv-kernelRules : export-3.5.aspect 定义对驱动程序导出函数的重构
- 对重定义错误的小小研究
- ldv内核模型源码--alloc
- 避免对派生的非虚函数进行重定义
- 避免对派生的非虚函数进行重定义
- 有关_sprintf函数重定义错误的思考
- 函数模板特化-编译时的重定义错误
- 函数声明错误以及函数重定义
- 函数指针的定义
- C++ 类的成员函数定义在.h中为什么会产生函数重定义错误?
- C++包含函数指针的复杂定义处理办法
- MySQL存储函数错误[Err] 1064的调试记录
- MySQL存储函数错误[Err] 1064的调试记录
- 导出内核符号错误!(err -22)
- 编译中重定义错误的处理--头文件的写法
- 函数指针定义的写法
- typedef定义的函数指针
- 生活与设计模式
- Apache Avro简介
- AJAX调用方式总结(2)
- Linux下使用system()函数一定要谨慎
- AJAX调用方式总结(3)
- ldv-kernelRule: ERR.aspect定义对内核指针错误处理函数的重构
- Spring MVC之用户管理一
- New Ogre binding for Noesis GUI available
- IBM Rational Team Concert
- 揭秘webdriver实现原理
- AJAX调用方式总结(4)
- [我要考试]计算机体系结构_威斯康星_博士资格考试_Spring1988_Q2_Cache地址
- vimdiff的用法
- 什么是级联