源代码分析相关论文
论文首先说明了软件测试研究的背景与意义,然后分析了现代源代码分析技术中使用的安全规则研究现状,并对此技术可以测试出的软件中......
软件理解方法和工具的研究是当前软件产业的重要课题。软件理解就是通过一定的工具和方法来弄清一个软件是“做什么”以及“如何做......
软件系统理解用于软件维护、软件测试、软件再工程和软件复用等多个软件工程领域,其目的是通过了解系统本身、系统专家和系统历史,......
GCC是GNU中的旗舰产品,也是开源世界的重量级产品,大多数开源产品都是基于这个编译器的。GCC是一个编译器的集合,其中的C++编译器......
随着科学技术日新月异的发展和软件规模的不断扩大，软件在各个行业得到了广泛的运用，已经成为生活中不可分割的组成部分。虽然软件经......
Linux内核代码量极大,逻辑关系复杂,为了方便其他开发者更好的编写诸如驱动程序、文件系统等内核模块内容,Linux内核团队建立了庞......
针对基于文件的内核函数调用图工具存在的文件系统可扩展性和适用性等方面的不足,设计并实现了基于数据库的DBCG-RTL工具(Data Bas......
通过对程序理解、可视化技术、信息检索等基础理论的研究,设计针对Java程序的程序理解辅助系统,实现类层次图、类依赖图、控制流图......
逆向建模通过对源代码进行分析,提取出代码中的对象信息、结构信息、流程信息等,生成对象间的关系描述、结构描述、系统流程描述等......
NS-3是国外近几年发展起来的重要网络仿真软件,它提供了比NS-2更低层次的无线功能抽象,更贴近真实的无线物理层的工作原理。分析了......
针对软件测试过程中存在着大量重复性工作的现状,将软件工程中的自动化思想和Klocwork静态测试工具结合起来,规范了软件静态测试流......
文章介绍了一种新的工具包。其中，源代码分析器SCP（Source Code Parser）用于将嵌入式软件源代码转换为对应的ANSIC，C＋＋代码，作为目标系统......
源代码分析技术对于软件安全缺陷分析是一项非常重要的手段。分析了软件源代码分析工具的技术手段和发展过程,最后对源代码分析的......
文章从程序设计的角度介绍了SYN Flood攻击的原理，并分析了攻击源代码，对涉及的Linux网络编程知识进行了研究。......
针对Java系统再工程的需求,利用Microsoft Office软件中强大的VBA工具,设计开发一款适合部门内部使用,主要用户为SE及PG为主的开发......
Redis是一个开源Key—Value内存数据库，以支持丰富的数据结构著称，支持主从复制、持久化等高可用特性，可以和程序无缝结合，本文继续上......
采用自顶向下的LL（1）语法分析技术，设计一个程序静态分析器，对源文法进行高级概念化抽象。可以从不同层次不同方面来得到源程序的设计......
在软件工程领域,源代码分析是软件上线前必不可少的一环。静态分析工具的作用就是在不执行代码的情况下检查代码的缺陷,并对可能的......
文章在全面分析软件系统安全性缺陷的基础上,提出一种基于相似特征的软件安全性缺陷检测算法。针对C语言源代码,应用实例推理CBR的......
摘要：设计模式是面向对象的软件开发中一种可重用的、能够解决软件设计开发中普遍存在问题的方法。识别软件系统中的设计模式能够帮......
针对开源软件漏洞,提出一种基于深度聚类算法的软件源代码漏洞检测方法。该方法利用代码图模型构造开源软件代码属性图,遍历得到关......
作为代码分析和理解的重要内容,代码标识符及其归一化是国际学术界的前沿热点研究领域。标识符归一化旨在将标识符解析成自然语言......
现有嵌入式软件仿真工具的应用受到仿真速度等不足的限制。在一些领域中，此处介绍的方法将是更好的解决方案。该方法使用自行开发的......
在对已有程序代码进行理解或者维护时,开发人员通常需要使用代码搜索技术搜寻感兴趣的代码,但有时候不知道该软件系统过去的开发者......
为了分析操作系统内核等大型软件的模块间函数调用关系,针对传统的函数调用关系生成工具不适用于模块间调用关系分析以及其依赖编......
在大型软件白盒测试项目中,源代码的频繁变化给测试工作增加了很大难度,对源代码进行管理和控制是对白盒测试过程管理的一个重要补......
近年来在集成电路工业,自动测试设备(ATE,Automatic Testing Equipment)的不断更新换代对ATE应用程序的转换平台的工作提出了挑战......
为有效应对电网信息物理系统（Power Grid Cyber Physical Systems,PGCPS）所面临的网络安全风险和保证PGCPS的安全稳定运行,文章结合......
本文概要介绍了计算机“２０００年问题”的基本概念，研究意义和国内外研究开发的动向着重讨论了解决“２０００年问题”的日期处理方法。......
