基于局部堆内存抽象表示的堆操作程序内存泄露检测 被引量：4

1

作者 董龙明 王戟 +1 位作者 陈立前 董威 《计算机研究与发展》 EI CSCD 北大核心 2012年第9期1832-1842,共11页

堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变... 堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势. 展开更多

关键词 堆操作程序 指针扩展类型 堆局部抽象 内存泄漏检测 数据流迭代 静态分析

在线阅读 下载PDF 职称材料

一种面向堆操作程序内存安全性的域敏感内存模型 被引量：2

2

作者 董龙明 王戟 +1 位作者 陈立前 刘江潮 《计算机科学》 CSCD 北大核心 2012年第9期109-114,151,共7页

堆操作程序具有通过共享易变数据结构动态操纵堆内存单元的特性,使得内存安全性难以保证。针对这个问题,提出了一种域敏感的k-limit内存抽象模型,以支持动态调整抽象的粒度,取得静态分析在精度和效率上的平衡。分别从框架、性质、操作... 堆操作程序具有通过共享易变数据结构动态操纵堆内存单元的特性,使得内存安全性难以保证。针对这个问题,提出了一种域敏感的k-limit内存抽象模型,以支持动态调整抽象的粒度,取得静态分析在精度和效率上的平衡。分别从框架、性质、操作方面介绍了该内存模型,然后结合内存安全性的定义,在基于该模型的操作语义框架内定义了4种与内存安全性相关的错误类型,最后设计了基于该模型内存安全性检测的数据流迭代算法。 展开更多

关键词 堆操作程序 内存安全性 k-limit内存抽象模型 动态可调节

在线阅读 下载PDF 职称材料

C语言中的内存泄漏分析 被引量：3

3

作者 王祥瑞 《长春大学学报》 2009年第6期27-29,共3页

内存泄漏是程序设计中经常出现的问题,即使有少量泄漏,长期运行之后,系统将会面临崩溃的危险。避免内存泄漏的关键,就是要了解它发生的原因。文章首先阐述了内存泄漏的概念,分析了导致内存泄漏的原因,然后介绍了内存泄漏的分类、危害以... 内存泄漏是程序设计中经常出现的问题,即使有少量泄漏,长期运行之后,系统将会面临崩溃的危险。避免内存泄漏的关键,就是要了解它发生的原因。文章首先阐述了内存泄漏的概念,分析了导致内存泄漏的原因,然后介绍了内存泄漏的分类、危害以及内存泄露的常见情况,并给出了检测内存泄漏的方法。 展开更多

关键词 C程序 内存泄漏 堆内存

在线阅读 下载PDF 职称材料

缓冲区溢出安全编程教与学

4

作者 刘浩 贺文华 +1 位作者 彭智朝 贺劲松 《电脑知识与技术（过刊）》 2017年第5X期102-105,共4页

缓冲区溢出是一种非常普遍、非常危险的漏洞,常被黑客和病毒利用,是信息安全的重要隐患之一。因此,在"信息安全理论与技术"课程教学中,缓冲区溢出安全编程的教与学一直受师生们的重视。基于缓冲区溢出的工作原理与攻击技术,... 缓冲区溢出是一种非常普遍、非常危险的漏洞,常被黑客和病毒利用,是信息安全的重要隐患之一。因此,在"信息安全理论与技术"课程教学中,缓冲区溢出安全编程的教与学一直受师生们的重视。基于缓冲区溢出的工作原理与攻击技术,通过师生共同探讨,给出了一些关于C语言程序编写过程中防御缓冲区溢出的方法,以提高安全编程能力。 展开更多

关键词 缓冲区溢出 堆栈 安全编程 BSS heap

在线阅读 下载PDF 职称材料

精确的堆内存使用量上界分析

5

作者 李仁见 刘万伟 +1 位作者 王昭飞 吴学光 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2011年第6期465-471,共7页

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对"平板循环"、带分支循环等常见循环结构给出了特殊处理策... 基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对"平板循环"、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界. 展开更多

关键词 堆内存使用量上界 符号执行 循环处理 程序切片

原文传递

C语言中溢出错误分析和防范 被引量：1

6

作者 刘春英 《菏泽学院学报》 2008年第2期44-46,共3页

溢出错误是编写程序时比较常见的错误,通过对C语言中栈溢出、堆溢出、BSS溢出和格式化串溢出错误的分析,根据程序运行时所开辟的内存空间,指出了产生错误的原因和结果,并给出C语言溢出错误的防范措施.

关键词 C语言 栈溢出 堆溢出 格式化串

在线阅读 下载PDF 职称材料

Windows环境下编程的内存管理

7

作者 何宝宏 曹元大 《北京理工大学学报》 EI CAS CSCD 1995年第5期35-38,共4页

Ｗｉｎｄｏｗｓ多任务系统应用程序设计中，内存管理是一项关键技术．论述了为降低应用程序占用内存量和占有时间及应注意应用程序设计中内存组织形式的选择，以减少或限制不必要的内存对象．并使用可移动对象，合理管理内存以防止ＧＰ... Ｗｉｎｄｏｗｓ多任务系统应用程序设计中，内存管理是一项关键技术．论述了为降低应用程序占用内存量和占有时间及应注意应用程序设计中内存组织形式的选择，以减少或限制不必要的内存对象．并使用可移动对象，合理管理内存以防止ＧＰ故障的产生． 展开更多

关键词 程序设计收存管理 局部堆 全局堆 对象资源 WINDOWS

在线阅读 下载PDF 职称材料

Turbo Pascal的并发程序单元

8

作者 蔡成滇 《暨南大学学报（自然科学与医学版）》 CAS CSCD 1991年第1期29-35,共7页

对用Turbo Pascal3.0实现的并发设施作了修改,修改后的子程序收入两个外部程序单元。它们可供Turbo Pascal 4.0及以上版本成功地调用。

关键词 拟并发程序 协同程序 程序单元 堆

在线阅读 下载PDF 职称材料

Turbo　C编译模式深入研究

9

作者 唐培和 《广西工学院学报》 CAS 1994年第2期52-57,共6页

本文详细分析了ＴｕｒｂｏＣ六种互不相同的编译模式，并探讨了混合模式编程的方法和途径。对利用ＴｕｒｂｏＣ开发程序具有较大的参考价值。

关键词 编译模式 混合模式编程 C编译程序

在线阅读 下载PDF 职称材料

运行时高效保障TStringList对象内存一致性的方法

10

作者 黄蕾 董明玉 《四川兵工学报》 CAS 2014年第9期118-122,共5页

为满足大型监控软件实时处理海量数据需高效利用内存的需求,介绍了一种基于Dephi7 TStringList对象运行时高效保障内存一致性的方法;该方法以中央空调分户计费监控软件为实例,资源映射图内存分配器为基础,典型内存状态为依据,具体分析... 为满足大型监控软件实时处理海量数据需高效利用内存的需求,介绍了一种基于Dephi7 TStringList对象运行时高效保障内存一致性的方法;该方法以中央空调分户计费监控软件为实例,资源映射图内存分配器为基础,典型内存状态为依据,具体分析了内存静态单链表及双向链表的结构特点及操作机理,内存碎片产生的原因,以及跟踪、定位及避免内存重分配导致数据移位的固有缺陷,得出了写内存时需通过对象运行实例所在的内存句柄局部锁死该对象运行实例,读内存时需通过比对对象运行实例的基址,以判断是否产生内存碎片;若产生内存碎片,则需对齐该对象运行实例的写内存基址,以内存碎片产生的最小间隔时间的一半为初值代人,自适应分段线性及分级索引寻址。 展开更多

关键词 对象运行实例 资源映射图内存分配器 链表结构 内存碎片 内存一致性 内存数据移位 基址对齐 堆程序

在线阅读 下载PDF 职称材料

热轧产线卷取侧导板防堆钢功能开发与应用

11

作者 蔡海斌 梅荣利 丁茹 《宝钢技术》 2024年第6期69-73,共5页

针对热轧带钢头部严重镰刀弯引发的卷取机入口受阻堆钢问题,详细研究热轧卷取机侧导板堆钢原因及控制程序原理,通过创建卷取侧导板防堆钢自动控制程序,自动识别钢卷头部镰刀弯特征值并反馈修正侧导板控制输出,实现不同来料头部镰刀弯动... 针对热轧带钢头部严重镰刀弯引发的卷取机入口受阻堆钢问题,详细研究热轧卷取机侧导板堆钢原因及控制程序原理,通过创建卷取侧导板防堆钢自动控制程序,自动识别钢卷头部镰刀弯特征值并反馈修正侧导板控制输出,实现不同来料头部镰刀弯动态自动调整控制,避免人工未干预、误干预而引发的堆钢事故并兼顾卷形控制,有效减少堆钢事故频次及侧导板异常损耗。 展开更多

关键词 卷取 镰刀弯 防堆钢 自动控制程序

在线阅读 下载PDF 职称材料

新型环保节约型散货堆场工艺方案 被引量：1

12

作者 王冬冬 张培生 《港口科技》 2015年第5期13-16,共4页

在散货堆场面积较小和环保要求较高时,传统的单(双)臂堆料机和斗轮堆取料机工艺方案均无法满足使用要求。详细介绍顶堆侧取料机工艺方案的原理及布置时的重点及难点,表明顶堆侧取料机工艺方案可有效节约投资和空间,减少污染,可满足堆场... 在散货堆场面积较小和环保要求较高时,传统的单(双)臂堆料机和斗轮堆取料机工艺方案均无法满足使用要求。详细介绍顶堆侧取料机工艺方案的原理及布置时的重点及难点,表明顶堆侧取料机工艺方案可有效节约投资和空间,减少污染,可满足堆场面积狭小、环保使用要求较高的散货码头工艺布置方案。 展开更多

关键词 港口 顶堆侧取料机 散货堆场 煤仓 工艺方案

在线阅读 下载PDF 职称材料