基于数据流分析的表达式优化

本文通过对编译程序生成的中间代码或目标代码进行数据流分析后 ,建立数据流方程并使用适合的算法求出方程的解 ,通过所求出的解对代码进行优化。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

基于IL的遗产软件规约析取算法研究

提出了一种基于中间语言IL(Intermediate Language)的遗产软件代码解析方法,所提方法从程序集信息解析、定位数据流,通过层次扫描方式从数据流分析程序框架的属性、类、函数、结构等软件要素,从代码语义等价地析取包括分支结构、控制结构和循环结构组成的基本结构集。实验结果表明所提方法能够有效地解析出Dot Net遗产代码的语义,可实现遗产代码的复用和集成。     

通过表达式演算局部优化中间代码

常量合并，删除公共子表达式是中间代码优化时采用的有效技术，但在表达式间能进行的运算仅限于常量之间，极大地限制了可优化的范围，选择一类简单而基本的表达式及表达式运算，在正规化表示的基础上进行表达式的静态运算，尽可能地了化简要表达式，压缩代码代度并找出更锪公共子表达式，以达到更好的优化效果。     

浅谈如何利用数据流功能诊断电控发动机故障

使用故障诊断仪对发动机单元进行诊断时,并根据发动机电控单元的故障代码进行维修,这样的方法在大部分的情况下是可行的,但是单靠这样很容易造成判断失误,所以最可行的办法是用诊断仪对数据流进行检测,根据静态和动态数据流来分析发动机的故障。本文首先介绍了数据流检测的要求,然后主要谈了怎样利用静态和动态数据流分析电控发动机故障。     

一种面向审查的过程内数据流异常自动检测方法

审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常检测和审查的效率.     

数据流在汽车维修中的应用

随着电子技术在汽车上的广泛应用,汽车中的电子设备越来越多,维修工作变得更专业化、更复杂化.但目前大多数汽车维修人员仍然依赖于查阅故障代码来解决问题,其结果是维修效率不高,重复性劳动增加.那么,熟悉系统工作原理,善用数据流和示波嚣进行分析,是现代汽车维修人员应具备的基本素质.能够读懂数据流,并进行一系列的分析将会给实际工作带来很多帮助.本文通过对动态数据流和维修工作中应用案例的介绍,希望能够有一定的借鉴和启发.     

实现屏幕编辑器的新方法

采用Ｃ语言开发屏幕编辑器，便于引用动态存储技术，具有实现方法简捷、内存资源消耗少、目标代码短、执行速度快等优点．采用结构化分析方法，面向数据流进行需求分析，归纳出屏幕编辑器的基本操作函数，建立操作函数库．使程序结构紧凑，可靠性高，操作灵活，运行稳定可靠     

基于抽象语法树和图匹配网络的代码作者身份识别

源代码作者身份识别有助于解决恶意代码攻击溯源、代码剽窃、软件侵权等问题，本文提出一种新的基于图匹配网络和抽象语法树的源代码作者身份识别方法.首先，通过删除注释、统一换行符、制表符预处理源代码，消除不同集成开发环境和代码布局的影响；然后，基于数据增强抽象语法树将源代码转换为树结构，添加不同类型的边构建代码特征图，不仅关注语法和句法特征，还提取了代码中数据流和控制流特征；接着使用特征图训练图匹配神经网络，生成源代码的图嵌入特征向量；最后，使用孪生神经网络对输出的两个图嵌入特征向量进行计算，识别源代码作者身份.实验结果表明，本文的方法在包含1000位程序员的Google Code Jam数据集上达到了95.60%的准确率，与现有的源代码作者身份识别方法相比，提高了准确率和扩展性.     

基于符号执行提高缺陷分析的准确性研究

静态分析是检测软件代码缺陷和提升软件代码质量的有效方式. 由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果的准确性有待提高. 相比而言,符号执行技术能够模拟执行程序并收集大量的数据流信息,提升数据流分析的准确程度,弥补静态分析的不足. 为了提高静态分析工具分析程序缺陷的准确性,本文设计并实现了一个代码缺陷检测工具ABAZER-SE,它基于GCC抽象语法树,综合采用符号执行与静态分析技术以检测源代码中的缺陷. 使用Toyota ITC静态分析基准对该工具进行了评估,实验结果表明,本文方法及工具可以提高静态分析结果的准确性.      

实现屏幕编辑器的新方法

采用Ｃ语言开发屏幕编辑器，便于引用动态存储技术，具有实现方法简捷，内存资源消耗少，目标代码短，执行速度快等优点，采用结构化分析方法，面向数据流进行需求分析，归纳出屏幕编辑器的基本操作函数，建立操作函数库，使程序结构紧凑，可靠性高，操作灵活，运行稳定可靠。     

基于约束符号集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式,而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,本文方法可以精确的分析C程序中的条件表达式。     

北半球向南平抛物体的运动方程及其偏离表达式

为了更全面地研究北半球抛体运动的运动方程和偏离问题，同时考虑了地球自转和空气阻力对抛体的影响，通过解微分方程组，得到了北半球向南平抛物体的运动方程和南偏、东偏表达式，讨论了地球自转和空气阻力对抛体偏离的影响。     

高斯混合密度降解模型在数据流聚类中的应用

针对数据流具有数据量无限且流速快的特点，将高斯混合密度降解模型应用于数据流聚类问题，在数据流中找出有效的高斯分量，并且合并相等的高斯分量．通过采用真实数据进行实验的结果表明，此方法能够有效解决数据流的聚类问题．     

基于二进制熵的加解密函数定位方法

针对二进制程序模糊测试中加解密函数定位准确率低的问题,提出一种基于二进制熵的加解密函数定位方法.该方法对二进制程序的控制流信息进行模型构建以定位程序关键代码,提取关键代码前后的数据流并计算其二进制熵,通过前后二进制熵的关系确定被测代码中是否存在加解密函数.实验结果表明,该方法能够有效发现程序中的加解密函数,准确率大于99%;该方法可以用于提高模糊测试发现漏洞的能力,具有一定的实用价值.      

"信息阳光"--无冲突共享结构

文章探讨一种非Internet原理的无冲突信息共享结构--"信息阳光"。"信息阳光"包含"数据流环境"和"个人需求代码"两个新概念。所谓"数据流环境",是利用DVB技术,营造一种普照天下的高速数据流,每天都有数百GB的数据流经家庭。其流量如此之大,足以把上千种报纸、期刊、网站、课程的内容每天反复传播几十遍。所谓"个人需求代码"用来在上述数据流中辨认并下载用户有兴趣的内容,实现无需远程互联的交互选择。由于只需单向广播,大大降低了成本,也从原理上消除了互联结构固有的带宽冲突。     

一种针对可执行代码的内存泄漏静态分析方案

针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.     

倾斜双曲线数控车加工探究

分析研究倾斜双曲线数控车宏程序编制的问题。首先根据加工轮廓确定中心在坐标原点且不倾斜的双曲线方程,在UG软件中创建表达式,应用规律曲线命令绘制出曲线图形,对表达式中的方程进行坐标旋转及平移转换,绘制出与加工图纸一致的曲线轮廓。再参考表达式中的方程编制出宏程序,在数控车床上加工成形。     

远程屏幕图像实时传输的方法与实现

就当前的热点远程屏幕图像的抓取及其在网络上传输过程进行了详细介绍，并针对目前这类相关软件中普遍存在的网络带宽过大、实时性差、占用系统资源过多、稳定性差等问题，侧重在屏幕图像的抓取与位图数据流的压缩、解压缩两方面提出了较为有效的解决方法，并提供了改进与实现的Delphi代码。