控制流图相关论文
近年来,互联网技术应用在各个行业,软件数量和规模呈现爆发式增长。开发人员在开发程序的过程中由于疏忽或者编程语言的限制,使得......
针对真实世界大数据应用,以区块链为基础设施,构建支持数据溯源、隐私保护、以患者为中心的数据共享平台,开发了原型系统,进行了关......
近年来,以软件代码为载体的网络安全问题频频发生,软件代码同源判定作为解决网络攻击溯源等安全问题的共性关键技术变得尤为重要,......
随着APT组织的兴起,针对国家或者大型公司的APT攻击也逐渐被安全研究人员关注,其中APT攻击手法隐蔽,且通常使用Oday或者较新的Nday......
反汇编过程是整个逆向工程的基础和重要部分,反汇编的结果准确与否直接影响其它阶段的输出是否正确。通过对传统反汇编方法的探究,在......
组合服务的可信性是由组件服务和业务流程共同决定的。然而组合服务需要经常进行修改演化,如何分析各种演化操作对组合服务可信性的......
传统的控制流混淆方案是通过引入一些特殊结构来混淆或隐藏原程序的控制流信息,但这会导致大量的额外开销,此外针对控制流中其他敏......
Java语言的平台无关性,是由于在不同操作系统平台之上运行了自身的虚拟机(JVM)。JVM运行时库通过调用自身库函数的安全管理器类能够......
随着计算机科学技术的蓬勃发展,计算机软件的应用覆盖面越来越广。越来越多的学者着手于软件测试的理论研究,并取得到了飞速的进展......
现代编译器的设计是一个非常费时、费力的复杂过程,而编译基础设施,就是要提供一个平台,使得编译器的很多部件能够共享、交流、复......
该文结合部分求值和数据例化,运用一种基于控制流图的例化方法.通过基于控制流图的数据例化和面向程序基本块的部分求值,在例化阶......
单元回归测试是在单元模块级别进行的回归测试,具有测试粒度细、重复性高、测试工作量大的特点,这些特点导致了其测试成本在整个软......
随着计算机安全技术的发展,可执行文件的比较技术不断应用到软件版权保护、系统补丁分析、电脑病毒研究、计算机漏洞检测等领域中......
该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该......
计算机技术发展迅速,随着硬件速度的提高,软件的设计和实现成为发展的瓶颈,软件自动化的研究成为热点问题,部分求值技术正是这一领......
该文的研究作为软件系统安全性分析项目的一部分,主要涉及了程序分析器中的若干关键技术,包括控制流图、控制依赖图、和类层次图理......
最坏执行时间(WCET)估值的需求在于为计算机控制产品和其他实时计算机系统的程序的时效性提供保证。这些估值可以用来保证中断的及时......
面向方面编程(Aspect-Oriented Programming,AOP)是一种全新的程序设计方法,其核心旨在克服面向对象程序设计中抽象建模的局限性,......
本文以基于控制流图的数据流分析技术为基础,研究C/C++程序中指针引用的合法性检查。首先分析指针非法引用的各种表现形式和产生原......
运行时验证是一种轻量级的形式化验证方法,它通过检测目标系统的当前执行是否满足给定的高层规约来实现对目标系统的验证。对于复杂......
随着软件系统的普及,软件测试成为保证软件质量、提高软件可靠性的重要手段。而软件测试的工作量很大,用人工测试几乎难以胜任,在......
本文针对一个C/C++程序静态安全检查工具,设计与实现了一种基于状态机的安全漏洞检查机制,该机制为安全检查工具提供定义安全检查......
本文针对一个C/C++程序静态安全检查工具,设计与实现了其中的数据流分析器,该数据流分析器为安全检查工具收集安全检查时需要的数......
为提高 web应用的安全性,笔者所在课题组提出一种应用程序切片技术的web分析模型,对网页代码进行大规模分析,旨在发现安全规则和安全......
作为最流行的移动操作系统,Android平台上有大量功能丰富的应用程序。Android应用程序已经覆盖了人们生活的各个方面,给人们的生活......
随着Web服务组合的发展,Web服务组合越来越复杂,Web服务的质量也成为关注热点。Web服务的测试,尤其是Web服务组合的测试,成为保障W......
信息技术在现代生产生活各方面的应用越来越广泛,作为信息技术核心支撑的软件系统也变得越来越重要,其应用正在逐步渗透到社会的各......
随着物联网技术的日趋成熟和移动互联网技术不断的发展,越来越多的用户开始使用智能移动终端设备,而安卓系统由于其开源性和稳定性......
路径测试是一种依据路径生成测试用例的白盒测试技术,其目的是验证软件中每条路径是否能完成预期的功能。在路径测试中,路径生成是......
随着计算机技术的发展,人们日常生活对于计算机软件的需求也日益提高,随着快速开发和版本迭代,难以避免的造成软件安全漏洞的引入......
在自动化漏洞挖掘领域中,符号执行是一种经常被采用的方法,目标一般是对软件进行全面的测试和及时准确地发现漏洞。符号执行包括两......
随着社会的进步与时代的发展,计算机与社会中的各行各业结合的愈加紧密,对于存在于网络流量中能对计算机产生危害的漏洞利用程序已......
智能手机已经成为人们生活的主要部分,Android占据全球大部分市场份额,超过36%。但是,Android系统面临隐私泄露的严重问题,现有的......
软件测试是确保软件质量的重要方法,基本的技术手段是利用不同的测试案例去执行被测程序,测试案例的选取密切地关系着软件测试的质......
随着移动智能终端的蓬勃发展,人们已迅速步入移动互联网时代,移动互联网已渗透到人们生活的方方面面,不断的改变着人们的生活方式......
使用神经网络进行漏洞检测的方案大多基于传统自然语言处理的思路,将源代码当作序列样本处理,忽视了代码中所具有的结构性特征,从......
一般把电子商务的交易过程划分为三个阶段:第一阶段是信息发布阶段;第二阶段是交易阶段;第三阶段是商业阶段。 然而目前在因特......
一、前言 TMS320是飞航导弹软件检测站自行研制的测试工具软件静态分析系统。该系统是用来对TMS320汇编语言软件源程序进行静态分......
随着网络的迅速发展,信息量的增大,大量的无效数据降低了网络监控的效率,对网络数据包的捕获和过滤变得尤为必要了。BPF网络数据包......
教育软件和教育ICT软件应用程序测试的自动化能减少测试维护失败的风险,选择最优化的测试套件能提高效率,因此能降低成本和耗时。......
本文用同步时序电路设计的系统方法和硬件结构形式处理异步电路设计,把异步和同步时序电路设计方法统一起来了。这不仅大大简化了......
电离辐射实验室包括了用于校准剂量仪和剂量率仪的γ参考辐射,由于参考辐射的剂量率一般在10μGy/h以上,这就要求整个系统有远程自......
实现电话智能查询的一种方法*何书森吴锤红吴开禾卢玉宇(福建农业大学机电系福州350002)0引言“电话智能查询”是把普通电话机用作计算机的廉......