您现在的位置: 首页> 研究主题> 数据流分析

数据流分析

数据流分析的相关文献在1991年到2022年内共计351篇,主要集中在自动化技术、计算机技术、公路运输、工业经济 等领域,其中期刊论文270篇、会议论文20篇、专利文献805584篇;相关期刊127种,包括内燃机与配件、计算机工程、计算机工程与应用等; 相关会议20种,包括第二十四届测试与故障诊断技术研讨会、2012中国气象学会气象通信与信息技术学术研讨年会、第十四届全国容错计算学术会议等;数据流分析的相关文献由716位作者贡献,包括宫云战、王光宏1、舒辉等。

数据流分析—发文量

期刊论文>

论文:270 占比:0.03%

会议论文>

论文:20 占比:0.00%

专利文献>

论文:805584 占比:99.96%

总计:805874篇

数据流分析—发文趋势图

数据流分析

-研究学者

  • 宫云战
  • 王光宏1
  • 舒辉
  • 张广梅
  • 杨朝红
  • 肖庆
  • 赵荣彩
  • 刘磊
  • 周航
  • 宋元力
  • 期刊论文
  • 会议论文
  • 专利文献

搜索

排序:

年份

    • 刘嘉勇; 韩家璇; 黄诚
    • 摘要: 漏洞这一名词伴随着计算机软件领域的发展已经走过了数十载。自世界上第一个软件漏洞被公开以来,软件安全研究者和工程师们就一直在探索漏洞的挖掘与分析方法。源代码漏洞静态分析是一种能够贯穿整个软件开发生命周期的、帮助软件开发人员及早发现漏洞的技术,在业界有着广泛的使用。然而,随着软件的体量越来越大,软件的功能越来越复杂,如何表示和建模软件源代码是当前面临的一个难题;此外,近年来的研究倾向于将源代码漏洞静态分析和机器学习相结合,试图通过引入机器学习模型提升漏洞挖掘的精度,但如何选择和构建合适的机器学习模型是该研究方向的一个核心问题。本文将目光聚焦于源代码漏洞静态分析技术(以下简称:静态分析技术),通过对该领域相关工作的回顾,将静态分析技术的研究分为两个方向:传统静态分析和基于学习的静态分析。传统静态分析主要是利用数据流分析、污点分析等一系列软件分析技术对软件的源代码进行建模分析;基于学习的静态分析则是将源代码以数值的形式表示并提交给学习模型,利用学习模型挖掘源代码的深层次表征特征和关联性。本文首先阐述了软件漏洞分析技术的基本概念,对比了静态分析技术和动态分析技术的优劣;然后对源代码的表示方法进行了说明。接着,本文对传统静态分析和基于学习的静态分析的一般步骤进行了总结,同时对这两个研究方向典型的研究成果进行了系统地梳理,归纳了它们的技术特点和工作流程,提出了当前静态分析技术中存在的问题,并对该方向上未来的研究工作进行了展望。
    • 文伟平; 刘成杰; 时林
    • 摘要: 空指针异常引用是系统运行过程中的一种常见问题,该问题会引起程序崩溃或者异常退出,同时攻击者也可以利用空指针解引用来完成任意读写操作,导致信息泄露。Java作为一种广泛使用的语言,也存在空指针引用问题,主要原因是对引用变量的指向检查不足。文章提出一种基于数据流追溯的空指针引用检测系统,并设计了静态分析工具jvd。该工具通过特化追踪空指针在容器中的传播,使得空指针变量不会在容器中传播丢失,在中间语言Jimple层面上完成检测并覆盖多种空指针容器传播场景,有效降低复杂场景下的漏报率。在Juliet Test Suite的CWE476号测试集上,将文章所设计的jvd与SpotBugs、Infer等工具进行对比实验。实验结果表明,jvd能够在多种空指针传播场景下使用,在高精度场景下能够取得比其他工具更好的效果。
    • 胡安祥; 尹小康; 朱肖雅; 刘胜利
    • 摘要: 嵌入式设备已经随处可见,它们常常出现在安全领域的关键位置和靠近终端的隐私场所。然而,最近的研究表明,很多嵌入式设备存在后门,发现最多的为硬编码后门(即口令后门)。在口令后门的触发过程中,字符串比较函数(比较类函数)是不可或缺的,其重要性不言而喻。目前,针对比较类函数的识别主要借助于函数签名和控制流特征的匹配,前者不适用于对未知的比较类函数进行识别,并且受编译环境的影响较大,后者具有较高的误报率和漏报率。针对上述问题,提出了一种新颖的比较类函数识别方法CMPSeek。该方法在函数控制流的基础上,对比较类函数的数据流特征进行分析并构建了识别模型,用于对二进制程序中比较类函数的识别,并且适用于剥离的二进制程序(Stripped Binary)。此外,将二进制代码转换为中间语言VEX IR指令,以支持ARM,MIPS,PowerPC(PPC)和x86/64指令集。实验结果表明,当缺少源码、函数名等信息时,相比FLIRT和SaTC,CMPSeek在精准率和召回率上都有着更好的结果。
    • 孙昌爱; 卫新洁; 刘镇贤; 宫云战
    • 摘要: 软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSampling),设计了启发式规则,基于这些规则对随机选择技术与基于路径感知的变异体精简技术(PAMR)进行了改进.采用经验研究的方式评估了DFSampling的有效性,比较了DFSampling与随机选择技术、PAMR技术的有效性,实验结果表明DFSampling是一种有效的变异体精简策略,提高了变异测试的效率.
    • 潘家晔; 庄毅; 孙炳林
    • 摘要: 二进制程序分析技术广泛应用于软件的安全性评估,恶意代码分析等领域.动态分析技术能够准确体现程序真实的运行状态,但面临目标程序运行负载过高、难以深入了解内部结构信息等挑战.提出一种基于渐进扩展的二进制程序数据流分析方法.方法旨在充分利用在线数据流分析的能力,在局部细粒度分析的基础上逐渐扩展分析范围,从而使分析能够覆盖整个目标程序.通过设计的分治策略,可降低对目标程序运行时的性能影响,从而可使对延迟敏感的目标代码段能成功地执行.并在此基础上,进一步提出基于内存引用关系的函数参数相关性分析方法,从函数调用层面获取数据流传递信息,可辅助恢复参数的内部结构信息.通过对大量真实案例进行研究和实验,验证了所提出方法的可行性与有效性,在降低对目标程序影响的同时未引入显著的额外分析开销,能够用于实际环境下二进制程序的分析.
    • 顾晔; 李溢群; 张毅
    • 摘要: 伴随电子控制单元(ECU)在汽车上的大量应用,汽车售后故障诊断技术朝电子化、智能化和自动化方向发展。诊断设备基于总线技术与车内ECU通信,迅速定位和解决故障,提高维修效率。本文基于数据流分析技术,与汽车故障诊断协议相结合,设计具有数据交互功能、可靠性高、易于操作的便携式汽车专家诊断系统,帮助车辆售后维修人员发现车辆产生故障的原因,进一步对车辆进行维修。
    • 张超
    • 摘要: 汽车发动机是一个非常关键的部件,主要为汽车行驶提供驱动力。汽车发动机内部构造复杂、运行环境也较为恶劣,汽车发动机电控系统工作中也会产生一定的故障,为了提高汽车发动机电控系统故障诊断的效率与准确性,可以采用数据流分析方法,包含有数值分析法、时间分析法,在进行故障诊断时,一般遵守自外向内原则、从易到难原则、先获取代码等原则。
    • 朱广林; 吕方; 赖庆宽; 陈华英; 何先波
    • 摘要: 编译优化技术的目的是挖掘程序中的优化空间,提高程序编译或运行效率,无效代码删除优化是被广泛使用的编译优化技术之一,它旨在删除程序中不可达的代码,以提升程序的执行效率.许多应用程序的执行路径往往与运行时的输入参数值相关,并且在一些分支路径上与运行时参数值相结合,可能存在无效代码,通过现有的无效代码删除优化,很难做出优化处理.为此,提出一种依赖数据流分析的激进蝴蝶优化方法,利用SSA中间表示,根据动态运行时的参数可能值,自动为程序生成代码形状类似蝴蝶(butterfly)的分支代码,使编译器在程序编译阶段为相关优化提供可行的优化依据.最后通过实验验证了该方法的有效性和可行性.
    • 何丕东
    • 摘要: 本文根据一台日产风度A33轿车发动机怠速熄火故障,在阐述日产ECCS系统基本工作原理基础上,运用数据分析方法对发动机怠速易熄火的故障进行诊断,进而排除故障.
    • 陈振华; 王浩华
    • 摘要: 针对海量数据流分类的方法,创建海量数据流评判数学模型,保证系统的稳定性.对比静态数据,数据流具有传输高速性、动态变化性等特点,并且具备概念漂移情况,使用传统分类方法实现数据流分析,无法对大量不确定性信息进行处理,分类精准率比较低,无法满足理想化分类效果.为此,文中提出基于模糊粗糙集理论的数据流评判数学模型,使用改进算法创建模糊粗糙集的理论评价模型,对入侵信号检测.通过仿真结果表示,此数据流评判数学模型的执行效率比较高,能够使系统稳定性与运行效率得到提高,满足实际使用需求.
  • 查看更多

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号