期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于路径覆盖插桩的可执行代码测试工具实现 被引量:4
1
作者 王轶 蒋同海 +1 位作者 董军 周喜 《计算机工程》 CAS CSCD 2012年第5期35-37,40,共4页
为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证... 为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证和性能分析,结果表明,该策略能够有效减少插桩点数量,降低插桩对被测程序时间特性的影响。 展开更多
关键词 动态分析 单元测试 程序插桩 可执行代码 覆盖率分析 路径跟踪
在线阅读 下载PDF
一种针对可执行代码的内存泄漏静态分析方案 被引量:2
2
作者 龚育昌 胡燕 +1 位作者 张晔 赵振西 《中国科学技术大学学报》 CAS CSCD 北大核心 2009年第2期189-195,203,共8页
针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的... 针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性. 展开更多
关键词 可执行代码 模型检测 内存泄漏
在线阅读 下载PDF
基于可执行代码的缓冲区溢出检测模型 被引量:4
3
作者 赵奇永 郑燕飞 郑东 《计算机工程》 CAS CSCD 北大核心 2008年第12期120-122,共3页
根据缓冲区溢出原理,提出一种基于可执行代码的缓冲区溢出检测模型,给出该模型的理论基础,描述模型构建的过程,提出新的缓冲区引用实例的识别方法。该模型将可执行代码反汇编为汇编代码,建立函数调用关系图和控制流图,分析缓冲区变量及... 根据缓冲区溢出原理,提出一种基于可执行代码的缓冲区溢出检测模型,给出该模型的理论基础,描述模型构建的过程,提出新的缓冲区引用实例的识别方法。该模型将可执行代码反汇编为汇编代码,建立函数调用关系图和控制流图,分析缓冲区变量及其引用实例,从缓冲区引用实例逆程序流方向归结路径约束,通过约束求解判断缓冲区溢出可能与否。 展开更多
关键词 可执行代码 缓冲区溢出 缓冲区溢出检测 约束求解
在线阅读 下载PDF
有效防御可执行恶意代码的访问控制模型 被引量:1
4
作者 谭清 韩臻 《计算机工程》 CAS CSCD 北大核心 2008年第16期168-170,179,共4页
可执行恶意代码严重危害操作系统的安全,它通过进程实现对系统造成危害,能否控制进程的安全是可执行恶意代码防御中的关键问题。该文以安全操作系统的访问控制思想为基础,根据可信计算的思想和原则,提出一个防御可执行恶意代码体系中的U... 可执行恶意代码严重危害操作系统的安全,它通过进程实现对系统造成危害,能否控制进程的安全是可执行恶意代码防御中的关键问题。该文以安全操作系统的访问控制思想为基础,根据可信计算的思想和原则,提出一个防御可执行恶意代码体系中的URPP访问控制模型。该模型以进程作为核心,对进程启动进行可信度量以及最小权限的约束。实践证明,URPP模型能够有效地抑制可执行恶意代码对系统造成的危害。 展开更多
关键词 可执行恶意代码 URPP访问控制模型 基于角色的访问控制 可信度量
在线阅读 下载PDF
对消除微机病毒通用方法的探索
5
作者 唐向工 《计算机应用》 CSCD 1990年第2期32-34,共3页
关键词 微机 病毒 可执行代码 消除
在线阅读 下载PDF
名词解释
6
《制造技术与机床》 北大核心 2013年第3期88-88,共1页
动态链接库英文为DLL,是Dynamic Link Library的缩写形式,DLL是一个包含可由多个程序同时使用的代码和数据的库,DLL不是可执行文件。动态链接提供了一种方法,使进程可以调用不属于其可执行代码的函数。函数的可执行代码位于一个DLL... 动态链接库英文为DLL,是Dynamic Link Library的缩写形式,DLL是一个包含可由多个程序同时使用的代码和数据的库,DLL不是可执行文件。动态链接提供了一种方法,使进程可以调用不属于其可执行代码的函数。函数的可执行代码位于一个DLL中,该DLL包含一个或多个已被编译、链接并与使用它们的进程分开存储的函数。DLL还有助于共享数据和资源,多个应用程序可同时访问内存中单个DLL副本的内容。DLL是一个包含可由多个程序同时使用的代码和数据的库。 展开更多
关键词 名词解释 可执行代码 动态链接库 DYNAMIC 应用程序 DLL 同时使用 可执行文件
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部