一个基于Eclipse的通用Java程序插桩工具 被引量：3

1

作者 郑晓梅 《计算机科学》 CSCD 北大核心 2011年第7期139-143,169,共6页

插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中。然而,由于缺少通用的插桩工具,各种具体的应用往往需要从头开发特定的插桩程序,存在着大量的重复性工作。此外,由于在原始程序中插入了大量额外代... 插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中。然而,由于缺少通用的插桩工具,各种具体的应用往往需要从头开发特定的插桩程序,存在着大量的重复性工作。此外,由于在原始程序中插入了大量额外代码,致使调试过程变得更加复杂和困难。针对这些问题,提出了一个基于Eclipse的通用Java代码插桩工具,即通过规则定义匹配程序的执行点,从而定制针对各种分析、测试和验证插桩需求的支持。通过对插桩代码片段的显式/隐式切换实现其可见性管理,从而确保程序的理解和调试过程不受插桩代码影响。通过使用该工具,可以更好地将插桩技术应用于Java程序开发中。 展开更多

关键词 程序插桩 JAVA ECLIPSE插件

在线阅读 下载PDF 职称材料

基于正则表达式、程序插桩和代码替换的以太坊智能合约bug检测和修复方法 被引量：3

2

作者 肖锋 张鹏程 罗夏朴 《计算机科学》 CSCD 北大核心 2021年第11期89-101,共13页

作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上。由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要。当前研究人员已经提出了许多智能合约... 作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上。由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要。当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug。这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug。然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响。此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug。为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的。文中进行了一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能。 展开更多

关键词 以太坊 智能合约 SOLIDITY 正则表达式 程序插桩

在线阅读 下载PDF 职称材料

面向程序分析的插桩技术研究 被引量：5

3

作者 王克朝 成坚 +1 位作者 王甜甜 任向民 《计算机应用研究》 CSCD 北大核心 2015年第2期479-484,共6页

为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件... 为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明,该方法能够为准确高效的程序分析提供必要的运行时信息。 展开更多

关键词 程序插桩 程序分析 软件自动调试 语法树

在线阅读 下载PDF 职称材料

基于插桩和布尔逻辑的运行时程序验证框架 被引量：3

4

作者 李业华 顾乃杰 +1 位作者 张颖楠 彭飞 《计算机工程》 CAS CSCD 2013年第1期29-34,40,共7页

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,... 针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。 展开更多

关键词 RPA框架 RPAL语言 运行时程序验证 程序插桩 布尔逻辑 事实推理

在线阅读 下载PDF 职称材料

基于路径覆盖插桩的可执行代码测试工具实现 被引量：4

5

作者 王轶 蒋同海 +1 位作者 董军 周喜 《计算机工程》 CAS CSCD 2012年第5期35-37,40,共4页

为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证... 为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证和性能分析,结果表明,该策略能够有效减少插桩点数量,降低插桩对被测程序时间特性的影响。 展开更多

关键词 动态分析 单元测试 程序插桩 可执行代码 覆盖率分析 路径跟踪

在线阅读 下载PDF 职称材料

基于插桩技术的动态测试研究与实现 被引量：4

6

作者 张荣 王曙燕 《现代电子技术》 2011年第4期50-52,55,共4页

为了动态进行白盒、黑盒测试,设计实现了基于源代码插桩的动态测试工具,该工具包含了源代码的预处理方法、插桩库设计、插桩策略以及统计分析等内容。通过对源代码的语法、词法分析,对其插桩能获取最高的准确度,并且设计在函数执行,结... 为了动态进行白盒、黑盒测试,设计实现了基于源代码插桩的动态测试工具,该工具包含了源代码的预处理方法、插桩库设计、插桩策略以及统计分析等内容。通过对源代码的语法、词法分析,对其插桩能获取最高的准确度,并且设计在函数执行,结束之前统一将桩信息写入桩文件中,减少了大量的I/O操作。最终,通过测试用例的执行获得了覆盖率、执行时间、复杂度等测试数据,正确地得到了测试用例优劣性的指标。 展开更多

关键词 程序插桩 动态测试 覆盖率 软件测试

在线阅读 下载PDF 职称材料

多计算机的自动插桩与监测系统 被引量：1

7

作者 苏铭 宋宗宇 王华 《计算机工程与应用》 CSCD 北大核心 2002年第4期79-82,共4页

在设计大规模的并行应用程序时,如何使多处理器的利用率达到最优,这对程序设计人员来讲是一个很大的挑战。一般说来,由于应用程序在运行时性能上的缺陷,计算资源得不到充分利用。因此,迫切需要对应用程序进行“性能调试”,即在正确性的... 在设计大规模的并行应用程序时,如何使多处理器的利用率达到最优,这对程序设计人员来讲是一个很大的挑战。一般说来,由于应用程序在运行时性能上的缺陷,计算资源得不到充分利用。因此,迫切需要对应用程序进行“性能调试”,即在正确性的基础上,通过揭示这些缺陷,对程序进行细调而提高程序性能。在这篇文章里,介绍了一个软件工具包—自动插桩和监测系统(theAutomatedInstrumentationandMonitoringSystem),它集程序插桩、运行监测和性能分析为一体,支持在多处理器上对并行应用程序进行性能评估。文章首先论述了一些建立性能调试工具的基本问题;然后,详细描述AIMS系统的体系结构以及在利用AIMS工具包进行性能调试工具的开发中的经验;最后,使用两个例子详细地描述使用AIMS系统进行性能调试的过程。 展开更多

关键词 程序插桩 运行监测 性能分析 性能调试 并行程序设计 计算机

在线阅读 下载PDF 职称材料

基本路径覆盖测试探针插桩技术研究 被引量：2

8

作者 施冬梅 《计算机工程与设计》 CSCD 北大核心 2010年第13期3025-3028,共4页

为实现C语言开发的嵌入式软件自动路径覆盖测试,提出了基本路径覆盖(Z路径优化)测试探针插桩技术。初始化时确定探针算法、分配内存空间,插桩策略解决了插桩位置及方法,采用消息队列机制完成测试数据采集,使用模式匹配删除探针恢复现场... 为实现C语言开发的嵌入式软件自动路径覆盖测试,提出了基本路径覆盖(Z路径优化)测试探针插桩技术。初始化时确定探针算法、分配内存空间,插桩策略解决了插桩位置及方法,采用消息队列机制完成测试数据采集,使用模式匹配删除探针恢复现场。通过模拟测试XSBase 255嵌入式系统上的C语言计算器模块(callbacks.c),从覆盖率看出取得了一定的效果,为测试和维护工作提供了底层数据支持。 展开更多

关键词 路径覆盖测试 程序插桩技术 消息队列机制 控制流程图 嵌入式软件

在线阅读 下载PDF 职称材料

嵌入式软件语句覆盖率测试插桩技术 被引量：5

9

作者 孙红利 王忠民 王文浪 《计算机应用》 CSCD 北大核心 2010年第10期2738-2740,2744,共4页

针对基于宿主机的嵌入式软件测试,提出一种单元测试中通用的语句覆盖率测试方法,通过插桩技术,采用向源代码插桩实现语句覆盖率测试。设计了测试代码的实现算法,通过测试代码可以自动完成向被测代码插桩。这些方法被成功地应用到笔者所... 针对基于宿主机的嵌入式软件测试,提出一种单元测试中通用的语句覆盖率测试方法,通过插桩技术,采用向源代码插桩实现语句覆盖率测试。设计了测试代码的实现算法,通过测试代码可以自动完成向被测代码插桩。这些方法被成功地应用到笔者所在项目组开发的嵌入式软件仿真测试平台ARMtest上。利用这些方法,在嵌入式硬件系统未完成开发之前,可通过宿主机环境和仿真环境及时发现嵌入式软件开发初期的一些不足并加以完善。 展开更多

关键词 嵌入式软件 宿主机环境 程序插桩 语句覆盖 单元测试 仿真测试

在线阅读 下载PDF 职称材料

C程序数组越界的运行时验证技术研究与实现 被引量：7

10

作者 李文明 陈哲 +1 位作者 李绪蓉 黄志球 《计算机工程与应用》 CSCD 北大核心 2015年第11期190-195,211,共7页

缓存区溢出能引起非常严重的安全问题,对网络和分布式系统(如机群,网格,P2P系统等)构成严重威胁。数组越界在缓存区溢出中占据重要位置,如何检测数组越界错误是一个重要且极具意义的课题。针对该课题,给出一种对C语言数组越界进行运行... 缓存区溢出能引起非常严重的安全问题,对网络和分布式系统(如机群,网格,P2P系统等)构成严重威胁。数组越界在缓存区溢出中占据重要位置,如何检测数组越界错误是一个重要且极具意义的课题。针对该课题,给出一种对C语言数组越界进行运行时验证的方法。分析了数组越界的错误类型,根据这些类型分别研究了数组越界的运行时验证的思想;设计了基于程序插桩进行数组越界动态检测的算法,给出了该方法基于开源编译器Clang的具体实现;用实验证明了该方法是切实可行并且有效的。 展开更多

关键词 数组越界 运行时验证 程序插桩

在线阅读 下载PDF 职称材料

基于Adaboost模型的并发程序数据竞争语句级检测 被引量：2

11

作者 孙家泽 易刚 舒新峰 《计算机工程》 CAS CSCD 北大核心 2021年第12期215-220,共6页

针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法。对多线程并发程序进行插桩操作,记录指令的相关内存信息,并对提取出的指令集做语句级转化处理,利用语句对相关属性特征构建并... 针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法。对多线程并发程序进行插桩操作,记录指令的相关内存信息,并对提取出的指令集做语句级转化处理,利用语句对相关属性特征构建并发程序Adaboost数据竞争检测模型,实现多线程程序数据竞争检测工具ADR。实验结果表明,相比于Eraser、Djit+和Thread Sanitizer工具,ADR能够在降低时间及内存开销的同时,有效提高分类准确率,验证了所提方法的有效性。 展开更多

关键词 数据竞争 并发程序 程序插桩 Adaboost模型 语句级

在线阅读 下载PDF 职称材料

面向二进制程序的导向性模糊测试方法 被引量：2

12

作者 张瀚方 周安民 +2 位作者 贾鹏 刘露平 刘亮 《计算机应用》 CSCD 北大核心 2019年第5期1389-1393,共5页

为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题,提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍... 为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题,提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令;随后对目标文件进行插桩来获取比较指令中操作数的具体值,并根据该具体值为比较指令建立实时的比较进度信息,通过比较进度衡量样本的重要程度;然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率;最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异,通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明,所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。 展开更多

关键词 导向性模糊测试 反馈式模糊测试 二进制模糊测试 程序插桩 漏洞挖掘

在线阅读 下载PDF 职称材料

SSFuzz:状态敏感的网络协议服务灰盒模糊测试技术

13

作者 林家含 冉猛 彭建山 《计算机科学》 CSCD 北大核心 2024年第12期71-78,共8页

网络协议服务作为个人设备与互联网交互的接口,其脆弱性严重威胁用户的隐私和信息安全。最先进的网络协议灰盒模糊测试工具在代码覆盖率的基础上引入了状态反馈,通过分析网络协议服务的状态信息,进一步筛选有效的变异种子。但是,不同的... 网络协议服务作为个人设备与互联网交互的接口,其脆弱性严重威胁用户的隐私和信息安全。最先进的网络协议灰盒模糊测试工具在代码覆盖率的基础上引入了状态反馈,通过分析网络协议服务的状态信息,进一步筛选有效的变异种子。但是,不同的模糊测试工具对网络协议服务状态有着不同的定义,如AFLNET通过分析服务器响应数据包的内容提取状态,StateAFL定义长寿命内存作为程序状态。在状态收集上,SGFuzz通过分析Enum类型数据定义,识别状态变量的赋值语句并插桩。然而,SGFuzz无法识别状态变量的间接赋值语句,对于状态变量的识别并不全面。同时,在构建状态机时,不同的模糊测试技术对状态机节点有着不同的定义,难以在同一个模糊测试工具上同时使用多种状态收集策略。此外,在实验设计上,现有的方案倾向于比较相同时间内的代码覆盖率情况。但是,代码覆盖率的增长受到多方面因素的影响,如吞吐量、种子筛选策略等。相同时间内的代码覆盖率实验适用于不同模糊测试工具之间的比较,对于其中单个模块的改进实验则不适用。针对以上问题,提出了SSFuzz。具体地,SSFuzz研究了基于状态变量的插桩方式,依据代码编译过程中的抽象语法树信息,识别状态变量赋值的间接赋值方法,能够更精准地对状态变量赋值语句进行插桩;其次,SSFuzz对用于指导状态筛选的状态机进行了定义,该方法有助于不同的状态反馈策略共同构建状态机。实验结果表明,SSFuzz能够实现对大部分网络协议服务的插桩,并且相较于SGFuzz,能够实现对间接赋值语句的插桩。此外,讨论了适用于评估状态机有效性的实验方法,并证明了SSFuzz能够以更少的测试样例数量达到更高的路径覆盖率。 展开更多

关键词 网络协议 模糊测试 程序插桩 状态反馈

在线阅读 下载PDF 职称材料

面向嵌套分支突破的推断与污点分析融合的方法

14

作者 蔡锦辉 尹中旭 +1 位作者 宗国笑 李俊儒 《计算机应用》 CSCD 北大核心 2024年第12期3823-3830,共8页

针对当前基于污点推断的模糊测试主要集中于目标代码块内单一代码分支的分析,而未充分考虑上下文分支间的关联关系,导致面对嵌套分支时对代码分支相关字节位置推断不够精确的问题,提出一种面向嵌套分支突破的推断与污点分析融合的方法... 针对当前基于污点推断的模糊测试主要集中于目标代码块内单一代码分支的分析,而未充分考虑上下文分支间的关联关系,导致面对嵌套分支时对代码分支相关字节位置推断不够精确的问题,提出一种面向嵌套分支突破的推断与污点分析融合的方法。首先,利用阶段覆盖信息评估需要突破的障碍点,并根据测试用例执行时障碍点的覆盖信息评估障碍点的优先级,从而聚焦更有潜力的测试用例;其次,优化污点推断算法,即结合控制流信息更精确地推断嵌套分支相关输入字节的位置,并重用前序分支推断信息以提升推断速度;最后,对推断出的障碍点相关位置进行轻量级的污点分析以指导变异过程,从而避免随机变异导致的嵌套分支不可达问题。在6个流行的应用中评估原型工具DTFuzz。实验结果表明,DTFuzz的节点覆盖率比现有模糊测试工具REDQUEEN平均提高了9.85%,并且DTFuzz发现了5个未知漏洞;同时,DTFuzz不同模块的节点覆盖率相较于基准工具均有所提高,最高提高了29.23%。可见,所提方法能有效突破复杂嵌套分支并实现测试覆盖率的提升,提升漏洞挖掘的效率。 展开更多

关键词 模糊测试 污点推断 污点分析 程序插桩 漏洞挖掘

在线阅读 下载PDF 职称材料

嵌入式软件路径覆盖测试数据采集 被引量：7

15

作者 于全喜 张毅坤 +1 位作者 胡燕京 朱伟 《计算机工程》 CAS CSCD 北大核心 2009年第21期54-56,59,共4页

分析嵌入式软件动态测试的特点及路径覆盖测试策略,设计动态测试数据采集处理框架,其中包含程序分析与插桩、测试数据采集传输、测试结果分析与处理3大子系统。以静态分析结果指导插桩,采用消息队列机制采集传输数据,并利用测试结果制... 分析嵌入式软件动态测试的特点及路径覆盖测试策略,设计动态测试数据采集处理框架,其中包含程序分析与插桩、测试数据采集传输、测试结果分析与处理3大子系统。以静态分析结果指导插桩,采用消息队列机制采集传输数据,并利用测试结果制作初步测试报告。通过测试实例分析模拟采集、处理一条路径数据的过程,证明该框架的可行性。 展开更多

关键词 路径覆盖测试 程序插桩 消息队列

在线阅读 下载PDF 职称材料

基于UML顺序图的面向对象软件簇级测试 被引量：3

16

作者 苏荟 张毅坤 +1 位作者 姚海波 费蓉 《计算机工程》 EI CAS CSCD 北大核心 2005年第24期78-79,101,共3页

提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后将二者进行对比,验证源代码中类间信息交互是否正确。并通过... 提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后将二者进行对比,验证源代码中类间信息交互是否正确。并通过实例对该方法的正确性和有效性进行了验证。 展开更多

关键词 面向对象软件 簇级测试 UML顺序图 程序插桩

在线阅读 下载PDF 职称材料

面向对象代码变更影响分析模型的研究 被引量：3

17

作者 杨鹤标 陈震 《计算机工程与设计》 CSCD 北大核心 2010年第19期4232-4234,4246,共4页

为解决传统的变更影响分析技术与面向对象程序编程范型不完全兼容,从而导致分析结果不准确的问题,在分析面向对象程序设计中可能发生的变更的类型及其依赖关系的性质的基础上,提出了一种函数粒度的基于面向对象程序的变更影响分析模型... 为解决传统的变更影响分析技术与面向对象程序编程范型不完全兼容,从而导致分析结果不准确的问题,在分析面向对象程序设计中可能发生的变更的类型及其依赖关系的性质的基础上,提出了一种函数粒度的基于面向对象程序的变更影响分析模型。该模型将目标系统中的函数之间的关系抽象为函数关系图,采用静态分析和动态分析相结合的方法对函数关系图进行分析,从而检测出变更的影响范围及其程度。实验结果表明,该模型具有较高的准确度。 展开更多

关键词 变更影响 动态依赖 程序插桩 函数关系图 代码变更

在线阅读 下载PDF 职称材料

一种星载操作系统进程安全监控设计 被引量：2

18

作者 杨朋霖 陶利民 王海涛 《航天器工程》 CSCD 北大核心 2018年第2期81-87,共7页

太空网络环境具有开放性、随遇接入等特性,处于这种环境下的星载操作系统将面临来自网络的干扰和攻击等安全威胁。为此,文章提出了一种星载操作系统进程安全监控设计。通过插桩技术对星载操作系统的进程控制块数据和控制流数据进行采集... 太空网络环境具有开放性、随遇接入等特性,处于这种环境下的星载操作系统将面临来自网络的干扰和攻击等安全威胁。为此,文章提出了一种星载操作系统进程安全监控设计。通过插桩技术对星载操作系统的进程控制块数据和控制流数据进行采集,并结合可信计算芯片的保密存储和哈希(HASH)计算能力,对上述数据进行校验,可实现基于进程控制块和控制流的星载操作系统进程安全监控。该设计能够对星载操作系统的运行状态进行安全监控,及时发现恶意代码等的攻击,保证星载操作系统运行时的安全。 展开更多

关键词 星载操作系统 进程安全 程序插桩 可信计算

在线阅读 下载PDF 职称材料

基于行为监测的嵌入式操作系统堆栈溢出测试 被引量：1

19

作者 杨兴达 陈灿 方菱 《计算机工程与科学》 CSCD 北大核心 2022年第11期1918-1923,共6页

堆栈测试是嵌入式操作系统安全评估的重要环节,堆栈溢出会覆盖邻近堆栈中的数据,造成数据错乱进而引发系统崩溃。然而捕获并定位堆栈溢出具有一定难度。首先,溢出数据可能会侵占操作系统中其它任务的私有堆栈,而发生溢出的任务本身没有... 堆栈测试是嵌入式操作系统安全评估的重要环节,堆栈溢出会覆盖邻近堆栈中的数据,造成数据错乱进而引发系统崩溃。然而捕获并定位堆栈溢出具有一定难度。首先,溢出数据可能会侵占操作系统中其它任务的私有堆栈,而发生溢出的任务本身没有异常表现,以致难以确定堆栈溢出的根源;其次,由于操作系统任务的优先级差异,堆栈溢出的暴露时间可能滞后于其发生时间。提出了一种基于实时堆栈分配与回收行为监测的动态堆栈测试方法,首先在堆栈行为测试点插入桩函数,以采集任务堆栈的测试码;然后设置上位机测试程序,以分析测试码并提供测试结果,实现实时捕获并定位堆栈溢出。利用此方法,在基于车载远程信息处理终端的实际测试中,定位到了3处造成系统崩溃或复位的堆栈溢出异常,评估了操作系统堆栈的安全性。另外,根据测试结果,优化了堆栈大小的静态分配,在单个任务中最多节省了42%的堆栈空间,并将整个任务RAM压缩至原来的63%。 展开更多

关键词 操作系统 程序插桩 堆栈测试 动态测试

在线阅读 下载PDF 职称材料