一种基于特征矩阵的软件脆弱性代码克隆检测方法

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过遍历代码片段对应的语法分析树中关键节点的数量,构造对应的特征矩阵.从公开漏洞数据库中抽取部分实例作为基本知识库,通过对代码进行基于多种克隆类型的聚类计算,达到了从被测软件代码中检测脆弱代码的目的.与基于单一特征向量的检测方法相比,对脆弱性特征的描述更加精确,更具有针对性,并且弥补了形式化检测方法在脆弱性类型覆盖能力上的不足.在对android-kernel代码的测试中发现了9个脆弱性.对不同规模软件代码的测试结果表明,该方法的时间开销和被测代码规模成线性关系.

多特征融合的英语口语考试自动评分系统的研究

该文主要针对大规模英语口语考试自动评分系统的问答题型,采用多特征融合的方法进行评分。以语音识别文本作为研究对象,提取了3类特征进行评分。这3类特征分别是:相似度特征、句法特征和语音特征。总共9个特征从不同方面描述了考生回答与专家评分之间的关系。在相似度特征中,改进了Manhattan距离作为相似度。同时提出了基于编辑距离的关键词覆盖率的特征,充分考虑了识别文本中存在的单词变异现象,为给考生一个客观公平的分数提供依据。所有提取的特征利用多元线性回归模型进行融合,得到机器评分。实验结果表明,提取的特征对机器评分是十分有效的,并且在以考生为单位的系统评分性能达到了专家评分性能的98.4%。

基于XML的网上数学表达式显示技术

提出了一种WEB上数学表达式显示技术的实现方案。该方案克服了以前网上数学表达式多为图形或使用特殊插件的弊端 ,使用IBM公司的XML4J解析器解析MathML描述的文档 ,用Java语言实现方案 ,以JavaApplet的形式完成了与常用网页开发工具的集成。

PostgreSQL分析器的研究

介绍了对象关系数据库系统 ＰｏｓｔｇｒｅＳＱＬ的内部结构、查询处理的过程及 ＰｏｓｔｇｒｅＳＱＬ语法／词法分析器的实现，并通过一个 ＳＱＬ语句实例，分析了 ＰｏｓｔｇｒｅＳＱＬ语法／词法分析器的内部结构，最后给出Ｑｕｅｒｙ树的详细数据结构图示．

Wireshark环境下的网络协议解析与验证方法

网络协议解析通过程序分析网络数据包的协议头及其负载,是一系列网络功能的基础。分析了Wireshark的功能、作用、体系结构以及开发环境,给出了Wireshark在Windows系统下对网络协议解析的两种方法,总结了两种方法的特性。实验结果表明,在两种方式下添加的协议解析器都能正确解析网络数据包相应协议并分析数据包的负载内容,对网络协议的解析与验证及网络数据包的内容分析具有借鉴意义。

基于解析器树的日志压缩优化方法

信息系统日志数据对安全分析非常重要,随着日志规模与日俱增,高效地进行日志数据存储和审计成为信息系统安全的关键问题之一。日志数据压缩能够减少对日志数据存储的巨大开销,已经成为日志数据领域的研究热点之一。传统的压缩工具、算法在小规模文本的处理上效果较好,但对于信息系统产生的大规模日志数据并不适用。现有日志压缩算法通过提取日志结构的方式实现数据压缩,但对日志数据中数值变量部分的压缩率和压缩速度的提升不明显。文章提出一种基于解析器树的日志压缩优化方法(TOLC),通过解析器构造解析器树,提取相应的日志模板并进行模板压缩,进而对数值变量部分进行编码压缩。文章通过5个不同类型的大型日志数据集对TOLC进行评估,并与其他方法进行比较。实验结果表明,TOLC在所有数据集上都实现了最高的压缩率,且在大型日志数据集中也表现出了很好的压缩速度,整体上表现最优。

并行程序验证的调度策略

针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。

基于标点符号分割的汉语句法分析算法

目前大部分句法解析器都忽略标点符号这一重要的句法特征或者只进行非常简单的处理。本文根据标点符号的句法结构特性,提出单独解析块的概念,并且根据标点符号在句子中的特有特征和位置关系,给出了基于决策树算法(Id3)单独解析块识别方法,将标点融入汉语句法分析中。本文所用的实验数据(包括训练集和测试集)均来自中文宾州树库5.0。对句长大于40个词的汉语长句单独进行了实验,句法分析精度和召回率分别提高1.59%和0.93%,同时时间开销降低了近2/3。实验结果表明,标点对汉语长句句法分析非常有利,系统性能获得了较大提高。

基于JavaCC的抽象语法树的构建与实现

抽象语法树(abstract syntax tree,AST)作为程序一种重要的中间表示形式,在代码分析领域中有着广泛的应用。如何针对Java程序生成其抽象语法树是在进行代码静态分析前必不可少的工作。分析抽象语法树的构建算法,通过JavaCC解析工具完成对Java文件抽象语法树的构建,该方法可实现代码树状形式的可视化呈现。

面向数据库性能的SQL语句解析与翻译

信息泄漏事件不断发生使得数据库安全的重要性不断提高。基于SQL解析能够实现SQL到自然语言的翻译,帮助非专业人员分析数据库的访问活动和识别风险。通过SQL词法和语法的EBNF描述构造了可以用于LL的规则输入,使用ANTLR工具生成了SQL词法和语法解析器。进一步,SQL词法和语法解析器实现了SQL语句到抽象语法树的转换。并通过解析抽象语法树,将SQL语句翻译成自然语言。最后,将SQL解析和翻译功能应用在数据库防火墙和安全审计系统中。

一种支持异构协议解析的可配置解析器设计

针对当前网络转发设备难以快速应对不断出现的新型网络协议的现状,设计了一种支持异构协议的可重配置解析器。首先,通过配置用户定制模块,实时更新用于解析逻辑的解析树,快速实现新型协议的添加、删除;然后,在满足传统互联网解析需求的同时,引入数据链路层的可配置性,将异构协议解析进行统一;最后,通过相应的解析树映射算法将用户定制的协议映射到硬件结构中,并通过匹配域的压缩,减少了所用的硬件资源。实验结果表明,与已有的方案相比,节省了20%的slice资源和17%的BRAM资源,并实现了176 Gbps的解析速度。

嵌入式系统配置框架

小型嵌入式系统具有计算资源与存储资源有限、计算相对简单的特点,其中配置系统是嵌入式系统与用户之间的窗口;提出了一种嵌入式系统的配置框架,主要解决命令解析、配置存储和重启执行的问题,同时还对命令树的功能、工作机理做了详细的阐述。系统可运行在各种嵌入式平台上,具有资源占用少和命令扩充性良好的特点。

基于PCFG模型的哈萨克语句法分析

为了实现哈萨克语的句法分析,研究概率上下无关文法,结合哈萨克语自身的语法特征得到哈萨克语的概率上下无关文法,获取哈萨克语PCFG参数,结合自底向下的Viterbi算法进行句法分析的歧义消除,进而实现一种有自学习能力的哈萨克语句法分析器,哈萨克语句子分析达到不错的效果。实验结果显示,PCFG模型可以适用于到哈萨克语的句法分析研究。

基于OSG的LAS文件三维渲染研究

该文在研究点云数据四叉树存储结构和内外存调度策略的基础上,利用OSG技术,构建良好的交互环境,实现LiDAR点云数据的三维实时渲染绘制,并通过实验验证了该渲染方法。实验表明,该方法无论是在渲染效率,还是渲染效果上,均取得了令人满意的结果,为LAS文件的实时三维渲染提供一种新的解决思路。

嵌入式构件中的自适应机制与策略

为了对嵌入式构件进行智能管理,提出了一种基于实例的学习算法。该适应算法能对经XML形式化表达过的构件进行自适应调整,从而在软件复用过程中减少人工干预。它比由自然语言描述的构件有更强的通用性、灵活性、自治性。

基于黑板结构模式的XML解析器

以协同工作平台服务(CWPS)项目为研究背景,提出一种基于黑板结构模式的XML解析器的设计方案。分析传统编译器的缺陷,给出XML解析器的软件构架,阐述该构架的设计思想,探讨关键技术,包括DOM树生成算法、模式树对象模型、有效性验证算法和解析引擎等。工程应用验证,该解析器构架具有良好的解析效果。

语言附着的句法结构

本文研究语言Ｌ的附着Ａｄｈ（Ｌ）的句法结构，借助于Ｌ的语法分析树，我们分析了Ａｄｈ（Ｌ）的句法特征，提出并证明了正规语言和上下文无关语言附着的叠代定理，从而解决了这两类语言的附着的句法结构问题。另外，应用引理证明了某些附着不是正规语言的附着或上下文无关语言的附着。

国标BASIC语言实现中的集成化编程支持环境

本文介绍了在国家“七五”科技攻关项目“国标BASIC语言的实现”中所设计实现的一个集成化编程支持环境。它以语法树作为环境内部的唯一存贮形式,使环境中各部分共享这一统一的内部表示。本文介绍了该环境的结构、功能特点及实现,着重介绍了语法制导的编辑器以及程序的正文表示形式和语法树表示形式之间的相互转换,同时阐述了该环境对自顶向下逐步求精的程序设计方法学的支持。

Intermediate Representation Using Graph Visualization Software

In this paper, a method to initiate, develop and visualize an abstract syntax tree (AST) in C++ source code is presented. The approach is in chronological order starting with collection of program codes as a string and split into individual characters using regular expression. This will be followed by separating the token grammar using best first search (BFS) algorithm to determine node having lowest value, lastly followed by graph presentation of intermediate representation achieved with the help of graph visualization software (GraphViz) while former is implemented using python programming language version 3. The efficacy of our approach is used in analyzing C++ code and yielded a satisfactory result.

COC++ 编译器面向对象技术的实现

ＣＯＣ＋＋编译器的功能是将Ｃ＋＋源程序转换为等价的Ｃ程序。ＣＯＣ＋＋编译器不是使用传统的构造方法而是采用面向对象的设计技术，将相应成分如符号表，语法分析等模块封装为类，并以Ｃ＋＋语言实现。符号表类封装符号表及其建立、登录、查找等操作。基于Ｃ＋＋的作用域规则，ＣＯＣ＋＋编译器为每个作用域中的符号建立一个符合表，利用指针链指明嵌套关系和继承关系。语法分析的模块设计为一个抽象类，定义所有语法成分类的公共特性和公共接口。实际的分析工作和语义处理工作通过Ｃ＋＋语言的多态机制由相应的派生类各自的成员函数实现。这样类化的编译结构不会因为增加某些语言成分而做很大的改动。阐述了面向对象的技术用于编译系统的设计和开发的特点。