基本块相关论文
在软件工程任务中,使用控制流、数据流、控制依赖等程序分析技术分析和理解程序,并把得到的信息用于任务中.当前许多流行的程序设......
随着计算机技术的发展,人们日常生活对于计算机软件的需求也日益提高,随着快速开发和版本迭代,难以避免的造成软件安全漏洞的引入......
软件缺陷是软件系统的一种错误,它会导致系统异常和崩溃。在软件开发的过程中,由于软件复杂度和软件人员水平等众多原因,软件缺陷......
甲：你玩过俄罗斯方块吗？ 乙：玩过.手机、电脑、电视上都可以找到. 甲：那么，你能凭借记忆把所有不同类型的俄罗斯方块画出来吗？ ......
针对静态反汇编间接跳转定位难和反汇编路径覆盖等问题,提出一种基于控制流基本块精确的静动态结合反汇编方法,首先利用函数定位切......
为了从大规模标注语料库和词汇知识库支持下自动获取分层次、多粒度的规则描述知识,从汉语多词语基本块入手,提出一套完整处理方案......
导向式灰盒模糊测试是一种能够快速对程序指定位置进行测试的技术。通过对当前导向式灰盒模糊测试技术导向不够精确的问题进行分析......
提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试......
在实际应用中覆盖测试分析采用测量方法的多样性决定了代码插装需要识别程序结构特征的复杂性。结合编译原理的中间代码优化理论,......
如今程序控制流错误已成为影响嵌入式计算机可靠性的主要因素之一。在现实生活中,嵌入式系统的计算机受很多因素影响（比如辐射、硬......
基本块的分析是句法分析中的重要技术，根据依存理论，提出了一种分析基本块之间的依存关系的方法。首先使用BIO标记来识别基本块，然后......
通过对富有经验的服装排料师排料过程的研究 ,提出了一种基于人工智能的自动排料算法 .该算法运用问题归约理论 ,将自动排料的过程......
私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义......
该文主要介绍了目前中文信息学会句法分析评测CIPS-ParsEval-2009中的三项块分析评测任务：基本块分析、功能块分析和事件描述小句识......
恶意软件检测问题是一个十分重要的问题,而特征选择的好坏对于恶意软件检测具有决定性的影响。该文提出用有效性、自动性及时空效......
程序控制错误可能会导致严重的程序执行错误。在安全苛求系统中,由于在恶劣环境中,处理器易受到电磁干扰等影响,可能导致处理器运......
面向通用计算机系统的指令预取技术无法满足实时系统的应用需求,其中一个重要原因是：无效预取引起的指令Cache内容污染使得实时任务......
提出了一种新的适用于处理器的硅前性能验证平台的基准程序实现方法。方法的主要思想是利用现成的广泛使用的测试程序集合，通过降低......
本系统用一种动态的方法演示了编译中间代码优化的三个基础工作的过程：基本块的划分、程序流图的生成和循环的查找（包括必经节点和回......
提出动态二进制翻译的两种优化方案:基本块和热路径;分析了从代码中抽取值得优化部分的详细过程;同时也给出针对这两种方案的一些......
介绍了一个用户级动态二进制翻译系统的结构设计,该系统实现了arm到x86的用户级动态翻译。详细介绍该系统各部分的功能、设计难点......
针对现有的嵌入式软件故障检测方法性能低、开销大的缺点，提出一种智能选择检测点的控制流方法，其创新之处主要为：使用变量的频率和基......
首先用数学语言描述CDR的边界对齐原则,对若干开源JavaORB系统的TypeCode编码问题进行了论述。重点提出并证明了CDR编码的字节流在......
直接面向可执行程序进行安全漏洞分析时，首先需要得到二进制代码的中间语言表示。探讨了流分析技术在汇编代码理解中的应用，并在Linu......
控制流检测技术是防止由于瞬时故障造成程序错误运行的有效手段之一,在ARGOS卫星上测试过的基于汇编语言的软件控制流检测算法CFCS......
针对软件控制流检测算法（CFCSS）存在的检测混淆和检测出错问题,分析了造成可靠性差的根本原因,并根据汇编语言结构特点,通过修改基础......
在研究了现有覆盖测试原理、Gcov的覆盖测试的机制后,结合汇编程序覆盖测试的特点,充分利用现有资源,提出了一个简单易行的对汇编......
针对传统文件结构化相似性比较法中采用基本块(BB)一对一映射而造成的巨大时空消耗及基本块比较结果的绝对化问题,提出一种基于划......
说明了覆盖测试是软件测试中的重要方法,是软件动态测试的基本手段.并提出通过基本块存储矩阵和邻接表来处理汇编语言程序流图,从......
二进制代码重写是程序分析领域的一个热点研究方向。提出一种基于空间约束的静态二进制代码重写技术,在保持代码功能和结构的情况......
随着互联网技术日益成熟,恶意程序呈现出爆发式增长趋势.面对无源码恶意性未知的可执行文件,当前主流恶意程序检测多采用基于相似......
业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行......
如何对函数调用进行优化对于C语言非常重要，因为函数调用的花费很大并且在代码中经常出现，文章讨论了一种对函数调用的优化处理的途......
星载嵌入式系统要求更小的功耗和必备的在空间辐射环境中运行的高可靠性，控制流检测技术是防止由于单粒子翻转事件而造成程序错误运......
针对覆盖率导向的模糊测试技术在种子筛选时无法体现种子变异价值的问题,提出基于种子变异潜力的适应度函数计算方法,对距离程序起......
在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高......
软件胎记作为软件独有的内部属性,常被用来检测不同软件之间的相似度。在研究软件胎记的基础上,提出一种将2种不同粒度级的动态胎......
从僵尸程序执行轨迹对二进制代码块的覆盖规律出发,提出了一种僵尸网络控制命令发掘方法。通过分析执行轨迹对代码块的覆盖率特征......
为降低系统仿真软件在精确异常方面的性能开销,提高系统仿真效率,提出一种软硬件协同处理的方法。通过建立基本块与翻译块之间的映......
取指令能力的高低对微处理器的性能有很大影响.指令预取技术能够有效地降低指令 Cache 的访问失效率,提高微处理器的取指令能力,进......
随着多媒体应用的普及和高性能计算的需求,越来越多的处理器集成了SIMD扩展.为了针对不同SIMD扩展部件自动生成高效的向量化代码,......
JavaScript是网页设计中常见的一种客户端编程语言。有效检测通过JavaScript脚本传播的网页木马、病毒等，是在网页安全中时常讨论的......
软件测试是当前软件生成重要的研究课题。文中从源程序开始，引入基本块的方法将源程序转换为相应的控制流程图。并采用图形的方法将......
当前计算机技术发展受制于软硬件之间的冲突,为改变这种局面研究人员提出了代码移植技术,二进制翻译技术就是实现代码移植的一种方......
在实际工作中存在很多的专用嵌入式系统,它们以汇编语言作为开发语言,缺乏严格的软件测试,难以发现和确认软件中的错误,因此需要能......
提出了基于控制流检测的抗错误注入攻击,该方法对传统控制流检测技术进行了改进,设计了基于基本块签名和基本块校验的控制流检测算......
分析一般函数在反汇编后的结构特征，提出一种基于基本块划分的函数识别技术，将其用于库函数快速识别的设计中。针对库函数识别中的重......
