源代码分析相关论文
论文首先说明了软件测试研究的背景与意义,然后分析了现代源代码分析技术中使用的安全规则研究现状,并对此技术可以测试出的软件中......
处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数......
期刊
软件理解方法和工具的研究是当前软件产业的重要课题。软件理解就是通过一定的工具和方法来弄清一个软件是“做什么”以及“如何做......
软件系统理解用于软件维护、软件测试、软件再工程和软件复用等多个软件工程领域,其目的是通过了解系统本身、系统专家和系统历史,......
GCC是GNU中的旗舰产品,也是开源世界的重量级产品,大多数开源产品都是基于这个编译器的。GCC是一个编译器的集合,其中的C++编译器......
面对人类社会的快速发展，为社会提供服务的软件系统也一同更新换代，而不规范的软件开发流程和系统长期的演化使得软件更新更加困难。......
随着科学技术日新月异的发展和软件规模的不断扩大，软件在各个行业得到了广泛的运用，已经成为生活中不可分割的组成部分。虽然软件经......
Linux内核代码量极大,逻辑关系复杂,为了方便其他开发者更好的编写诸如驱动程序、文件系统等内核模块内容,Linux内核团队建立了庞......
针对基于文件的内核函数调用图工具存在的文件系统可扩展性和适用性等方面的不足,设计并实现了基于数据库的DBCG-RTL工具(Data Bas......
通过对程序理解、可视化技术、信息检索等基础理论的研究,设计针对Java程序的程序理解辅助系统,实现类层次图、类依赖图、控制流图......
逆向建模通过对源代码进行分析,提取出代码中的对象信息、结构信息、流程信息等,生成对象间的关系描述、结构描述、系统流程描述等......
可通过在开源社区里公布的区块链软件源代码进行分析,如源代码的原创性等对比分析,评判链的质量。在全球区块链社区,有1000多条公......
在软件生命周期的任意阶段,均可能因为各种原因而导致软件发生变化。当软件发生变化时,必须对其进行回归测试,检查这些变化是否影......
NS-3是国外近几年发展起来的重要网络仿真软件,它提供了比NS-2更低层次的无线功能抽象,更贴近真实的无线物理层的工作原理。分析了......
针对软件测试过程中存在着大量重复性工作的现状,将软件工程中的自动化思想和Klocwork静态测试工具结合起来,规范了软件静态测试流......
文章介绍了一种新的工具包。其中，源代码分析器SCP（Source Code Parser）用于将嵌入式软件源代码转换为对应的ANSIC，C＋＋代码，作为目标系统......
源代码分析技术对于软件安全缺陷分析是一项非常重要的手段。分析了软件源代码分析工具的技术手段和发展过程,最后对源代码分析的......
文章从程序设计的角度介绍了SYN Flood攻击的原理，并分析了攻击源代码，对涉及的Linux网络编程知识进行了研究。......
针对Java系统再工程的需求,利用Microsoft Office软件中强大的VBA工具,设计开发一款适合部门内部使用,主要用户为SE及PG为主的开发......
Redis是一个开源Key—Value内存数据库，以支持丰富的数据结构著称，支持主从复制、持久化等高可用特性，可以和程序无缝结合，本文继续上......
ProducerConsumerQueue是一个简单的无锁队列，特点是需要预先确定大小，推人和弹出各只允许一个线程。类在构造时申请固定长度的内存......
Folly是Facebook的一个开源C＋＋11组件库，它提供了类似Boost库和STL的功能，包括散列、字符串、向量、内存分配、位处理等，用于满足大规模......
对于具有一定规模的软件，通过直接阅读源代码来分析软件的结构信息，将是极为艰苦的工作。逆向建模可以将代码中的各类结构信息进行抽......
采用自顶向下的LL（1）语法分析技术，设计一个程序静态分析器，对源文法进行高级概念化抽象。可以从不同层次不同方面来得到源程序的设计......
曾几何时，一谈到学电脑，便是学五笔、学BASIC语言。后来网络出现了，一说到网页制作，便有人搬出“HTML语言”来吓人，让人以为又是什么高......
《莱昂氏 UNIX 源代码分析》(澳)莱昂氏著尤晋元译本书由上、下两篇组成。上篇为 UNIX V6的源代码,下篇是莱昂先生对 UNIX 操作系......
程序理解是一种需要高度智力活动的过程，其效率取决于所理解的程序、理解人员的领域经验和所采用的辅助机制。为了保证该活动的准确......
在软件工程领域,源代码分析是软件上线前必不可少的一环。静态分析工具的作用就是在不执行代码的情况下检查代码的缺陷,并对可能的......
Redis是一个开源的Key—Value的内存数据库，以支持丰富的数据结构而著称，支持主从复制、持久化等高可用特性，可以和程序无缝地结合，本......
文章在全面分析软件系统安全性缺陷的基础上,提出一种基于相似特征的软件安全性缺陷检测算法。针对C语言源代码,应用实例推理CBR的......
摘要：设计模式是面向对象的软件开发中一种可重用的、能够解决软件设计开发中普遍存在问题的方法。识别软件系统中的设计模式能够帮......
针对开源软件漏洞,提出一种基于深度聚类算法的软件源代码漏洞检测方法。该方法利用代码图模型构造开源软件代码属性图,遍历得到关......
在软件产业飞速发展的今天．越来越多的程序员倾向于使用自由软件，Linux以其开放性逐渐获得软件开发人员的青睐。然而．基于Linux平台的......
作为代码分析和理解的重要内容,代码标识符及其归一化是国际学术界的前沿热点研究领域。标识符归一化旨在将标识符解析成自然语言......
现有嵌入式软件仿真工具的应用受到仿真速度等不足的限制。在一些领域中，此处介绍的方法将是更好的解决方案。该方法使用自行开发的......
图表视图流可以使我们能够快速、有效和准确地找到最佳定位位置。本文通过图表视图将代码可视化,帮助开发人员描绘出代码的安全状......
本文介绍了源代码分析领域里的最新进展，重点介绍了剽窃检测技术。剽窃检测融合了克隆检测和相似性确定检测方法。目前，主流的剽窃检......
在对已有程序代码进行理解或者维护时,开发人员通常需要使用代码搜索技术搜寻感兴趣的代码,但有时候不知道该软件系统过去的开发者......
为了分析操作系统内核等大型软件的模块间函数调用关系,针对传统的函数调用关系生成工具不适用于模块间调用关系分析以及其依赖编......
近年来在集成电路工业,自动测试设备(ATE,Automatic Testing Equipment)的不断更新换代对ATE应用程序的转换平台的工作提出了挑战......
进入21世纪，软件在社会的生产生活中的作用日趋重要，从最基础的衣食住行，到各种关键的位置，都有不同的软件协助人类进行自动化操控，然而......
为有效应对电网信息物理系统（Power Grid Cyber Physical Systems,PGCPS）所面临的网络安全风险和保证PGCPS的安全稳定运行,文章结合......
本文概要介绍了计算机“２０００年问题”的基本概念，研究意义和国内外研究开发的动向着重讨论了解决“２０００年问题”的日期处理方法。......
