控制流分析相关论文
大型微服务系统中组件众多、依赖关系复杂,由于故障传播的涟漪效应,一个故障可能引起大规模服务异常,快速识别异常并定位根因是服......
可移动类进程代数是为描述可移动进程及通讯连接动态构成的进程网络而对传统抽象演算的扩展,为有效地计算系统的动态行为和运行的......
日益严重的蠕虫和网络攻击的发生大多是由于软件中存在着安全缺陷，对软件安全缺陷的研究已经成为网络攻防的焦点。现有的软件安全缺......
程序分析技术是以程序为处理对象，按信息获取的需求对程序进行具体的分析。随着现代程序设计技术的发展和软件规模的扩大，程序分析技......
在软件工程任务中,使用控制流、数据流、控制依赖等程序分析技术分析和理解程序,并把得到的信息用于任务中.当前许多流行的程序设......
在研究现有控制流分析理论的基础上,该文采用基于图论的方法求取控制依赖关系,该方法具有很好的可扩展性和通用性.它主要是通过将......
软件测试是保障软件质量的重要手段。随着基于UML软件测试的普及,基于UML顺序图生成测试数据,可以在系统开发早期就设计集成测试阶......
现代高性能数字信号处理器(Digital Signal Processor,DSP)许多都是超长指令字(Very Long Instruction Word,VLIW)体系结构,拥有丰......
针对基于知识应用和交互的复杂工作流系统 ,对知识应用特性进行了分析 ,并构造了对应知识聚合与信息再生的过程单元 利用过程单元......
本文研究了ATE8000-1自动测试系统中的FMC执行软件，完成了软件分析、测试及可靠性建模的工作。 为了满足工程实际要求，软件测试过......
近年来,随着我国信息化技术的不断推进,网络安全日益突出,大多数的网络安全应用都是基于软件的安全缺陷来进行的。而在软件安全领......
软件密集型装备是指软件和硬件肾密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发.本文对程序流程违反硬件工作时......
很多静态代码分析的方法都以控制流图作为基础，本文采用一种加入上下文的基于约束的分析技术k-CFA并使用不动点算法求出约束集的最......
介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分......
很多静态代码分析的方法都以控制流图作为基础，本文采用一种基于约束的分析技术，包括基于约束的0-CFA，加入数据流的分析方法构造约束......
软件二进制插桩是软件性能分析、漏洞挖掘、质量评价领域的关键技术。在嵌入式环境下,传统动态插桩算法受到无操作系统、CPU架构复......
软件密集型装备是指软件和硬件紧密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发。本文对程序流程违反硬件工作......
基于消息语义提出一种分析UML2．0顺序图控制流的方法，分析了UML2．0顺序图消息发送和接收动作之间的关系，并将其映射到相应的消息上，得到......
静态库函数分为系统库函数和用户自定义库函数，它的识别问题一直是反编译技术的难点，特别是对于用户自定义库函数，由于通用性低，信息获......
为弥补传统程序切片方法在切片点变量选择上的局限性，提出了一种灵活的切片准则，并基于该切片准则给出了一种新的切片方法．该方法将程......
在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上，通过识别可被激活的移动原语和通讯原语，计算系统运行的所有动态进程拓扑......
为轻松获得程序的可能执行路径,进而实现程序变量的状态跟踪,提出了一种C/C＋＋源代码控制流提取算法,通过该模型获取控制流切片,产生......
在研究整数溢出产生原因的基础上，提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法该方法将整数溢出检测问题抽象为......
各大Android应用市场上的App的数量不断增加,Android应用程序安全问题也日益突出。其中能力泄露也是众多安全问题之一,这种能力泄......
本文在研究超长指令字(VLIW)体系结构的基础上,总结了VLIW体系结构的指令结构特征、处理器结构特征和执行特征,通过比较VLIW体系结......
直接面向可执行程序进行安全漏洞分析时，首先需要得到二进制代码的中间语言表示。探讨了流分析技术在汇编代码理解中的应用，并在Linu......
在软件工程任务中,通常使用控制流、数据流、控制依赖等程序分析技术分析和理解程序,并把得到的信息用于任务中。当前许多流行的程......
传统数据流依赖分析方法在处理共享内存单指令多数据(SPMD)程序时,不能识别共享数据访问语句所属的处理节点,也不能消除执行顺序不......
为正确获得嵌入式可执行程序和汇编代码的高级语言控制结构,弥补现有高级程序控制结构恢复算法在处理非结构化区域的不足,将编译领......
首次对复合条件分支编译后的结构进行形式化描述，应用图论方法提出了复合分支网络概念，并在此基础上提出了一种新的识别算法。通过理......
针对现有可信指针分析技术中关于精度和效率之间的取舍和权衡的不足,提出一种需求驱动的可信指针分析技术。该技术通过扩展SSA形式......
多核处理器的普及和快速发展使得多线程并发程序近年来变的越来越流行。为使并发程序变得简单和高效,研究人员将软件重构技术应用......
针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图......
针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据流分析检测重构前后的变......
为获取并分析采用加壳、控制流混淆技术所产生的隐藏代码,提出一种新的隐藏代码动态捕获方法。利用静态控制流分析算法提取动态捕......
提出一种以中间语言为基础的逆编译方法，此方法道德把机器语言程序转换为中间语言的程序，然后在中产是语言程序上进行数据类型分析和......
为了保证基于可信架构的可信软件的安全性，给出了可信软件安全性分析的总体架构及其工作原理。提出了一个静态分析技术与动态测试技......
以快速生成能够覆盖可能存在缺陷程序点的测试用例为目标,结合基于生成的Fuzzing技术、静态程序控制流分析、静态污点分析等手段,......
随着移动互联网的飞速发展,Android智能终端在人们生活中扮演的角色越来越重要,由于Android系统的开源性和Google Play薄弱的软件......
控制流、数据流、控制依赖等是软件任务执行中比较常用的进行程序分析、技术分析和理解程序的程序模式。可提供较完善的异常处理机......
如何提高程序正确性是软件工程领域的一个核心问题。由于软件系统的复杂性以及程序缺陷的多样性,尚不存在普适的方法能保证程序绝......
随着移动设备和网络技术的飞速发展,移动互联网已经成为社会发展的重要保证,随之而来的移动端的安全问题逐渐成为移动互联网时代人......
随着软件产品复杂性程度的日益增长,人们迫切需要度量软件的复杂性,对软件开发过程加以控制和管理。在软件复杂性概念中,程序复杂......
作为逆向领域的关键部分,反编译技术在软件安全和维护方面扮演着非常重要的角色。反编译技术起源于上世纪60年代,只比编译技术晚10......
