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