检索结果-内蒙古大学图书馆

软件学报 2023年第10期34卷 4724-4742页

作者：边攀梁彬黄建军游伟石文昌张健中国人民大学信息学院北京100872 华为技术有限公司北京100085 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通... 详细信息

在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通常需要知道哪些函数增加引用计数,哪些函数减少引用计数.而手动获取这些关于引用计数的先验知识过于费时且可能有遗漏.基于挖掘的缺陷检测方法虽然可以减少对先验知识的依赖,但难以有效检测像不恰当引用计数更新缺陷这类路径敏感的缺陷.为此,提出一个将数据挖掘技术和静态分析技术深度融合的不恰当引用计数更新缺陷检测方法RTDMiner.首先,根据引用计数的通用规律,利用数据挖掘技术从大规模代码中自动识别增加或减少引用计数的函数.然后,采用路径敏感的静态分析方法检测增加了引用计数但没有减少引用计数的缺陷路径.为了降低误报,在检测阶段再次利用数据挖掘技术来识别例外模式.在Linux内核上的实验结果表明,所提方法能够以将近90%的准确率自动识别增加或减少引用计数的函数.而且RTDMiner检测到的排行靠前的50个疑似缺陷中已经有24个被内核维护人员确认为真实缺陷.

关键词：引用计数缺陷检测数据挖掘静态分析

来源：评论

学校读者我要写书评

暂无评论

基于静态分析的C程序引用计数漏洞检测方法研究

基于静态分析的C程序引用计数漏洞检测方法研究

引用

作者：索晓寒中国地质大学(北京)

学位级别：硕士

信息化时代的到来,各类信息技术蓬勃发展,各个行业领域都有软件被不断开发出来以方便人们的生活。软件更迭速度的加快也导致了软件漏洞的频繁出现。资源管理是系统软件中的一个关键问题,资源管理不当容易产生漏洞。引用计数是一种常见... 详细信息

信息化时代的到来,各类信息技术蓬勃发展,各个行业领域都有软件被不断开发出来以方便人们的生活。软件更迭速度的加快也导致了软件漏洞的频繁出现。资源管理是系统软件中的一个关键问题,资源管理不当容易产生漏洞。引用计数是一种常见的资源管理技术。错误使用引用计数会产生严重的安全漏洞,例如:内存泄漏、释放后重用、悬空指针等。为此,检测引用计数是否合理变化是检测是否产生漏洞的一个重要方法。本文通过对现有的引用计数漏洞检测方法的研究发现,大部分检测方法是存在局限性的,例如其通常只检测同一函数下引用计数的变化情况,即过程内检测。为此,本文提出了一种基于生命周期和引用计数动态变化的引用计数漏洞的检测方法。在现有的检测方法上进行扩展以提高准确性,该方法主要检测思想是通过对程序进行静态分析构建程序值流图,对值流图进行计算提取检测对象的定义使用关系,以此为基础定义其生命周期,并根据引用计数增减规则定义判断是否产生漏洞。本文的主要研究工作和创新点如下。 (1)分析研究C程序中引用计数的原理和框架,对比分析现有检测引用计数漏洞方法的优缺点,提出基于生命周期和引用计数动态变化的引用计数漏洞的静态检测方法。 (2)针对程序中存在的跨函数变量难以分析,本文采用结合指针分析和控制流分析构建程序的值流图并对其进行计算来达到分析所有变量的目的,通过计算值流图获得变量的全部定义使用关系。 (3)由于变量的生命周期不同,通过分析值流图中的定义使用关系进行定义。对每个检测对象在其生命周期内,收集每个对象的引用增减情况,并收集引用计数操作情况,将引用增减与引用计数增减操作相匹配,通过分析二者的增减情况是否相等,最终实现对引用计数漏洞的检测。最后,通过对该方法的实验测试,证明基于静态分析的引用计数漏洞检测方法可以完成对程序的完整分析,与使用相同基准测试程序的现有漏洞检测工具的检测结果进行了比较,本文所提出的方法的假阳性率为更低,证明了本实验方法是更为精确的。

关键词：静态分析漏洞引用计数 Python/C

来源：评论

学校读者我要写书评

暂无评论

基于引用计数和中间指针的释放重用漏洞防御与检测研究

基于引用计数和中间指针的释放重用漏洞防御与检测研究

引用

作者：季启华中科技大学

学位级别：硕士

释放重用(Use-After-Free,简称UAF)漏洞是一种高危内存漏洞,其特征是分配内存、释放内存、使用已释放内存这三者按序出现,而且它们可能存在于程序的任何地方。UAF漏洞的检测和防御是当前比较具有挑战性的问题。静态分析的方法不能获取... 详细信息

释放重用(Use-After-Free,简称UAF)漏洞是一种高危内存漏洞,其特征是分配内存、释放内存、使用已释放内存这三者按序出现,而且它们可能存在于程序的任何地方。UAF漏洞的检测和防御是当前比较具有挑战性的问题。静态分析的方法不能获取程序运行时的状态,往往会产生漏报和误报,动态分析的大多数方法则在性能或者功能上表现不佳,存在性能开销过大或是只能防御UAF漏洞而不能检出的问题。针对现有技术的不足,本文提出一种基于引用计数和中间指针的UAF漏洞防御与检测系统MPCounter。通过底层虚拟机(Low Level Virtual Machine,简称LLVM)插桩技术,在堆对象和原始指针之间引入中间指针来隔离原始指针对堆对象的访问,所有对堆内存的访问都通过中间指针来实现,在堆对象释放后,引用该对象的中间指针被置为无效,再次解引用已释放堆对象则会被检出UAF漏洞。同时使用指针跟踪对中间指针进行引用计数,当中间指针的被引用次数为0时进行释放,减少了中间指针不能释放带来的内存开销。为了降低中间指针的插入、搜索时间复杂度,使用红黑树作为中间指针的组织结构,同时为了防御位于栈和数据段的悬挂指针导致的UAF漏洞,使用影子栈记录位于栈和数据段的指针与中间指针的引用关系。经测试表明,基于LLVM编译器插桩实现的MPCounter系统可以有效防御和检测UAF漏洞。在Juliet Test Suitev(JTS)和UAFBenchmark测试集上进行的有效性测试展示了MPCounter可以有效防御UAF漏洞,在Mi Bench上进行的性能测试展示了MPCounter可以在较少的时间开销和内存开销下运行。和单纯的UAF漏洞防御方法相比,MPCounter还能检出漏洞,和其它检测方法相比有接近的性能开销。

关键词：释放重用底层虚拟机中间指针引用计数

来源：评论

学校读者我要写书评

暂无评论

基于符号执行的Linux内核引用计数机制漏洞挖掘

基于符号执行的Linux内核引用计数机制漏洞挖掘

引用

作者：易林中国科学院大学

学位级别：硕士

作为占据全球服务器市场统治地位的Linux操作系统，保证其运行稳定和安全的重要性毋庸置疑，为了维护Linux操作系统的稳定运行，针对其进行的漏洞挖掘研究工作是十分重要的。引用计数机制是Linux内核内存管理实现垃圾回收和并发访问管... 详细信息

作为占据全球服务器市场统治地位的Linux操作系统，保证其运行稳定和安全的重要性毋庸置疑，为了维护Linux操作系统的稳定运行，针对其进行的漏洞挖掘研究工作是十分重要的。引用计数机制是Linux内核内存管理实现垃圾回收和并发访问管理的核心机制之一，由引用计数机制引起的漏洞往往会对Linux内核安全性造成极大的威胁，发现并修复Linux引用计数机制的实现漏洞有着重要现实意义。　　现今针对Linux内核引用计数机制进行漏洞研究的工作少之又少。论文选取Linux内核的引用计数机制作为研究对象，对Linux内核开展漏洞挖掘研究工作，主要研究成果如下:　　1)定义了一种Linux内核引用计数漏洞模型，提出了一种静态分析和符号执行相结合的漏洞研究方法，基于该模型和方法能够识别在Linux内核中未正确计数的全局/堆内存，有效定位潜在漏洞点，补充了现有研究的不足之处;2)设计并实现了Linux内核引用计数漏洞挖掘原型工具，针对Linux内核4.14验证了所提出方法的有效性，共发现83个内核缺陷，其中包含52个未知缺陷，所提交补丁被Linux社区接受，合并入Linux内核主干版本。

关键词： Linux操作系统漏洞挖掘符号执行引用计数

来源：评论

学校读者我要写书评

暂无评论

引用计数型对象池及其Java实现

引用

湖北汽车工业学院学报 2003年第3期17卷 25-29页

作者：郑冬黎湖北汽车工业学院汽车工程系湖北十堰442002

本文首先分析了典型对象池模型中存在“对象过早归还”问题,然后建立了引用计数型对象池模型,并给出了一个简单的Java实现。

关键词： Java 对象池引用计数线程安全

来源：评论

学校读者我要写书评

暂无评论

C^(++)并发引用计数垃圾收集器实现

引用

安庆师范学院学报（自然科学版） 2014年第3期20卷 54-58页

作者：贺建立安庆师范学院计算机与信息学院安徽安庆246133

引用计数垃圾收集器通常具有增量式和实时性特征,但存在垃圾收集器中断执行程序时间较长的情况。本文实现了一个并发引用计数垃圾收集器,使得垃圾收集器和工作程序并发执行,避免了垃圾收集器中断执行程序。基于C++的语法标准和应用编程... 详细信息

引用计数垃圾收集器通常具有增量式和实时性特征,但存在垃圾收集器中断执行程序时间较长的情况。本文实现了一个并发引用计数垃圾收集器,使得垃圾收集器和工作程序并发执行,避免了垃圾收集器中断执行程序。基于C++的语法标准和应用编程接口,无需修改编译器和存储分配器,且收集器和工作程序的同步是锁免除的。Linux操作系统中的实现和实验表明,收集器有极低(低于0.2%)的处理器损失。

关键词：引用计数垃圾收集工作程序并发锁免除

来源：评论

学校读者我要写书评

暂无评论

一种用于多核系统的分布式引用计数机制

引用

高性能计算技术 2012年第1期 22-24页

作者：何升许国春殷红武江南计算技术研究所无锡214000

引用计数是操作系统常用的资源管理方法.随着处理器核的增加,传统的共享计数器将面临严重的性能问题.本文研究了现代操作系统中关于引用计数的优化方法,从减少锁竞争的角度出发,介绍一种分布式的引用计数机制,并在Linux上加以实现.分析... 详细信息

引用计数是操作系统常用的资源管理方法.随着处理器核的增加,传统的共享计数器将面临严重的性能问题.本文研究了现代操作系统中关于引用计数的优化方法,从减少锁竞争的角度出发,介绍一种分布式的引用计数机制,并在Linux上加以实现.分析和实验表明,对于频繁修改的引用计数,该方法有助于提高性能.

关键词：多核操作系统分布式引用计数

来源：评论

学校读者我要写书评

暂无评论

一种自适应的引用计数智能指针的实现

引用

成都大学学报（自然科学版） 2007年第1期26卷 55-57页

作者：张彤何源成都信息工程学院四川成都610225 成都大学网络管理中心四川成都610106

讨论智能指针的一般功能,同时使用模板偏特化和模板元编程计数给出一种自适应包含类型的实现.

关键词： C++ 智能指针引用计数模板偏特化模板元编程

来源：评论

学校读者我要写书评

暂无评论

基于身份标识引用计数的Web并发操作控制方案

引用

电脑知识与技术（过刊） 2011年第1X期17卷 7264-7265页

作者：关致威广州市特种机电设备检测研究院广东广州510180

并发访问控制是Web应用中常见的问题,传统的基于数据库的控制策略通过添加唯一约束等方式,虽然能保证数据的完整性,可是当并发问题出现时,不可避免的出现回滚而影响用户体验,数据库或临界区加锁也会降低系统的并发能力。该文通过一个具... 详细信息

并发访问控制是Web应用中常见的问题,传统的基于数据库的控制策略通过添加唯一约束等方式,虽然能保证数据的完整性,可是当并发问题出现时,不可避免的出现回滚而影响用户体验,数据库或临界区加锁也会降低系统的并发能力。该文通过一个具有通用性的真实案例,提出一种对用户身份标识进行引用计数的细粒度的并发控制解决方案,能灵活控制锁的粒度,消除回滚的可能,提高并发的吞吐量,该方案目前在某大型互联网广告投放平台上使用。

关键词：身份标识并发控制细粒度引用计数

来源：评论

学校读者我要写书评

暂无评论

具有改进的可扩展性的存储器对象引用计数管理

具有改进的可扩展性的存储器对象引用计数管理

引用

作者： A.科林美国加利福尼亚州

一般地，本公开提供了用于基于事务性引用计数省略的具有改进的可扩展性的存储器对象引用计数管理的系统、装置、方法和计算机可读介质。该装置可以包括：硬件事务性存储器处理器，所述硬件事务性存储器处理器被配置成维护与事务相关联... 详细信息

标准号: CN105190565A

一般地，本公开提供了用于基于事务性引用计数省略的具有改进的可扩展性的存储器对象引用计数管理的系统、装置、方法和计算机可读介质。该装置可以包括：硬件事务性存储器处理器，所述硬件事务性存储器处理器被配置成维护与事务相关联的读取集以及响应于由所述事务外部的实体对所述读取集的内容的修改来中止所述事务；以及代码模块，被配置成：进入所述事务；定位所述存储器对象；读取与所述存储器对象相关联的所述引用计数，使得所述引用计数被加到与所述事务相关联的所述读取集；访问所述存储器对象；以及提交所述事务。

关键词：读取存储器对象引用计数事务相关联存储器处理器计算机可读介质代码模块可扩展性省略加到配置中止响应提交外部修改改进公开访问维护管理

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：