控制流图相关论文
近年来,互联网技术应用在各个行业,软件数量和规模呈现爆发式增长。开发人员在开发程序的过程中由于疏忽或者编程语言的限制,使得......
针对真实世界大数据应用,以区块链为基础设施,构建支持数据溯源、隐私保护、以患者为中心的数据共享平台,开发了原型系统,进行了关......
近年来,以软件代码为载体的网络安全问题频频发生,软件代码同源判定作为解决网络攻击溯源等安全问题的共性关键技术变得尤为重要,......
随着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系统面临隐私泄露的严重问题,现有的......
软件测试是确保软件质量的重要方法,基本的技术手段是利用不同的测试案例去执行被测程序,测试案例的选取密切地关系着软件测试的质......
随着移动智能终端的蓬勃发展,人们已迅速步入移动互联网时代,移动互联网已渗透到人们生活的方方面面,不断的改变着人们的生活方式......
使用神经网络进行漏洞检测的方案大多基于传统自然语言处理的思路,将源代码当作序列样本处理,忽视了代码中所具有的结构性特征,从......
教育软件和教育ICT软件应用程序测试的自动化能减少测试维护失败的风险,选择最优化的测试套件能提高效率,因此能降低成本和耗时。......
覆盖测试是对测试过程的度量,这个度量直接关系到软件的开发、集成和测试等操作的各个阶段.而控制流图在软件测试中起着非常重要的......
随着智能移动终端功能和用户体验的日益完善，智能手机已经被越来越多的用户使用。研究数据表明，Android手机的购买量正在逐步超越个......
在互联网飞速发展的今天,软件著作权保护越来越引起人们的重视,软件同源性检测技术也就变得越来越重要,在软件知识产权保护和打击......
软件测试系统的研制是现阶段软件测试领域研究的一个热点。首先针对C/C++语言常见数组越界错误类型进行了分析,介绍了软件测试的一......
针对静态反汇编间接跳转定位难和反汇编路径覆盖等问题,提出一种基于控制流基本块精确的静动态结合反汇编方法,首先利用函数定位切......
PHP脚本语言是一种当前比较流行的服务端脚本语言,多用来开发Web应用程序。文中介绍了一种针对PHP的静态缺陷分析方法,能有效检测......
在软件测试的静态测试技术中,路径覆盖能保证最大程度的代码覆盖率,路径测试用例设计和程序环路复杂度度量都需要用到控制流图。介......
控制流图恢复是进行二进制文件安全性分析的基础,静态恢复分析速度快,但其精确度欠缺;动态恢复方法的优点是精确度高,但分析效率较......
针对程序中异常处理代码难以测试和维护、影响软件的健壮性和可靠性的问题，提出了一种评测程序中异常处理策略的方法．通过简化程序的......
针对面向对象语言的特点,结合异常处理机制,对传统的系统依赖图（SDG图）进行了扩展,实现了面向对象的系统依赖图（OSDG图）.改进后的OSDG......
源代码相似程度分析在软件工程和计算机教学等领域都有重要的应用．软件工程领域的源代码盗窃和著作权纠纷仲裁，计算机教学领域的学生......
通过分析传统的程序复杂性度量方法的不足之处,首先提出了一种基于程序分解机制的路径复杂性度量方法,然后给出了计算路径复杂度的......
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测......
