数据流分析方法

作品数:17被引量:42H指数:4
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:张兆庆唐锋王一拙武成岗金成植更多>>
相关机构:中国科学院吉林大学北京大学北京因特睿软件有限公司更多>>
相关期刊:《计算机与数字工程》《微型电脑应用》《计算机工程与应用》《硅谷》更多>>
相关基金:国家自然科学基金教育部跨世纪优秀人才培养计划国家重点基础研究发展计划江苏省高技术研究计划项目更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于渐进扩展的二进制程序数据流分析方法被引量:1
《软件学报》2022年第9期3249-3270,共22页潘家晔 庄毅 孙炳林 
国家自然科学基金(61572253);江苏省研究生科研创新计划(KYLX16_0384)。
二进制程序分析技术广泛应用于软件的安全性评估,恶意代码分析等领域.动态分析技术能够准确体现程序真实的运行状态,但面临目标程序运行负载过高、难以深入了解内部结构信息等挑战.提出一种基于渐进扩展的二进制程序数据流分析方法.方...
关键词:二进制程序 数据流分析 污点跟踪 恶意代码 逆向分析 
普光智能气田岗位数据流分析方法被引量:4
《天然气工业》2018年第10期47-51,共5页陈惟国 易建锋 张捍卫 付培晨 李涛 杨晓燕 
国家科技重大专项"高含硫气藏安全高效开发技术(三期)"(编号:2016ZX05017)
岗位数据采集是数据资源中心建设的重要组成部分之一且直接关系到后者的质量和水平,普光气田数据采集过程中存在着各专业数据库异构建设、数据无法共享、标准不一、多头采集、冗余存储、管理困难等问题。为了实现面向生产岗位、全业务...
关键词:普光气田 智能化 岗位 数据流 数据集 分析方法 编码 应用 采存管用一体化 
电喷发动机ECU的数据流分析被引量:3
《汽车实用技术》2013年第9期46-52,共7页张放 
随着汽车电控发动机技术的不断提高,汽车电子控制日新月异,增大了汽车故障检测诊断的难度,传统的调故障代码寻找故障,往往会出现判断上的失误,因为故障代码仅仅是ECU认可的一个是或否的界定结论,不一定是汽车真正的故障部位:在维修实践...
关键词:汽车数据流 数据流分析方法 数据流与汽车故障 
一种改进的数据流分析方法
《硅谷》2009年第13期59-60,共2页吕怀莲 
首先讨论传统的数据流分析技术;然后在引入分支依赖分析方法的基础上,对广泛应用于工程中的迭代数据流方程求解方法进行分析,提出一种改进的数据流分析方法,并将其应用到实际的程序分析中。
关键词:数据流分析 数据流方程 控制流 语句块 
基于VC++的数据流分析方法
《微型电脑应用》2008年第4期60-61,1,共2页梁洪波 慕晓冬 帅桂华 常瑞花 
第二炮兵科研项目
数据流分析在编译系统的代码优化、软件故障检测以及程序切片中都起着非常关键的作用。本文介绍了数据流分析方法的基本概念和基本原理,介绍了数据流方程的到达-定义迭代算法,并提出了一种利用VC++工具实现数据流方程求解的方法。
关键词:数据流分析 迭代算法 数据流方程求解方法 
一种基于异常传播分析的数据流分析方法被引量:14
《软件学报》2007年第1期74-84,共11页姜淑娟 徐宝文 史亮 
国家杰出青年科学基金;国家自然科学基金;国家重点基础研究发展规划基金(973);教育部跨世纪优秀人才基金;江苏省高技术研究项目;中国矿业大学科技基金~~
异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对...
关键词:异常处理 程序分析 异常传播 控制流图 数据流分析 
用数据流分析方法检查程序信息流安全被引量:7
《小型微型计算机系统》2007年第1期102-106,共5页黄海军 陈意云 
国家自然科学基金项目(60473068)资助.
程序信息流安全是信息安全的一个重要研究方向.基于类型的分析虽然是检查程序信息流安全的一种有效方法,但过于保守.本文尝试将传统的数据流分析方法用于程序信息流安全的检查,即利用数据流分析来跟踪程序数据间的安全依赖关系,达到检...
关键词:程序信息流安全 形式语义 静态分析 数据流分析 
Ambient演算的数据流分析方法及其实现
《计算机科学》2006年第8期247-248,255,共3页张晶 张丽翠 金成植 
吉林省科技厅项目(批准号:20050527)
针对Ambient演算的定义,提出了Ambient演算语法结构树的概念,并且给出一个基于Ambient语法结构树的Ambient演算的数据流分析方法及其实现。为深入研究Ambient演算的性质和应用提供了分析手段。
关键词:Ambient演算 数据流分析 Ambient语法结构树 
数据流分析方法被引量:12
《计算机工程与应用》2003年第13期142-144,共3页李慧贤 刘坚 
电子预研基金资助(编号:51406070101DZ0151)
数据流分析是一项编译时使用的技术,它能从程序代码中收集程序的语义信息,并通过代数的方法在编译时确定变量的定义和使用。该文对数据流、数据流框架及数据流算法进行了阐述;并简要地介绍了所提出的需求过程间数据流分析的方法。
关键词:数据流分析 数据流框架 需求过程间数据流分析 
类的数据流分析方法研究
《计算机应用与软件》2002年第12期6-10,43,共6页孙跃勇 张涌 赵文耘 丁文 
本文把类的操作划分成三个不同的级别,采用增量算法分别对不同级别的操作进行数据流分析,相应得到三种不同的定义-引用对,根据生成的定义-引用对就可以进行基于数据流的测试。如何对有调用关系的操作之间进行快速有效的数据流分析是对...
关键词:数据流分析方法 面向对象 软件开发 操作级别 操作调用序列 操作调用图 控制流图 
检索报告 对象比较 聚类工具 使用帮助 返回顶部