检索结果-南通市图书馆

汽车维修技师 2024年第12期 18-19页

作者：肖国尧湛江市第二技工学校广东湛江524001

数据流分析已被视为现代汽车维护中的关键技术之一,该技术有助于汽车维修技师实时掌握车辆运行状况,为故障的成功诊断与解决提供专业技术依据。本文针对汽车数据流分析的方法以及在电控发动机故障诊断中的应用进行剖析,为科学修车抛砖... 详细信息

数据流分析已被视为现代汽车维护中的关键技术之一,该技术有助于汽车维修技师实时掌握车辆运行状况,为故障的成功诊断与解决提供专业技术依据。本文针对汽车数据流分析的方法以及在电控发动机故障诊断中的应用进行剖析,为科学修车抛砖引玉。

关键词：电控发动机数据流分析故障诊断应用实例

在线全文

学校读者我要写书评

暂无评论

基于渐进扩展的二进制程序数据流分析方法

软件学报 2022年第9期33卷 3249-3270页

作者：潘家晔庄毅孙炳林南京邮电大学现代邮政学院江苏南京210003 南京航空航天大学计算机科学与技术学院江苏南京210016

二进制程序分析技术广泛应用于软件的安全性评估,恶意代码分析等领域.动态分析技术能够准确体现程序真实的运行状态,但面临目标程序运行负载过高、难以深入了解内部结构信息等挑战.提出一种基于渐进扩展的二进制程序数据流分析方法.方... 详细信息

二进制程序分析技术广泛应用于软件的安全性评估,恶意代码分析等领域.动态分析技术能够准确体现程序真实的运行状态,但面临目标程序运行负载过高、难以深入了解内部结构信息等挑战.提出一种基于渐进扩展的二进制程序数据流分析方法.方法旨在充分利用在线数据流分析的能力,在局部细粒度分析的基础上逐渐扩展分析范围,从而使分析能够覆盖整个目标程序.通过设计的分治策略,可降低对目标程序运行时的性能影响,从而可使对延迟敏感的目标代码段能成功地执行.并在此基础上,进一步提出基于内存引用关系的函数参数相关性分析方法,从函数调用层面获取数据流传递信息,可辅助恢复参数的内部结构信息.通过对大量真实案例进行研究和实验,验证了所提出方法的可行性与有效性,在降低对目标程序影响的同时未引入显著的额外分析开销,能够用于实际环境下二进制程序的分析.

关键词：二进制程序数据流分析污点跟踪恶意代码逆向分析

基于控制流和数据流分析的内存拷贝类函数识别技术

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2023年第2期60卷 326-340页

作者：尹小康芦斌蔡瑞杰朱肖雅杨启超刘胜利数学工程与先进计算国家重点实验室(信息工程大学) 郑州450001

内存错误漏洞仍是当前网络攻击中造成危害最严重的漏洞之一.内存错误漏洞的产生往往与对内存拷贝类函数的误用有关.目前针对内存拷贝类函数的识别主要借助于符号表和代码特征模式匹配,具有较高的误报率和漏报率,并且适用性较差.提出了... 详细信息

内存错误漏洞仍是当前网络攻击中造成危害最严重的漏洞之一.内存错误漏洞的产生往往与对内存拷贝类函数的误用有关.目前针对内存拷贝类函数的识别主要借助于符号表和代码特征模式匹配,具有较高的误报率和漏报率,并且适用性较差.提出了一种内存拷贝类函数识别技术CPYFinder(copy function finder).该技术在内存拷贝类函数控制流特征的基础上,将二进制代码转换为中间语言表示VEX IR(intermediate representation)进行数据流的构建和分析,根据内存拷贝类函数在数据流上的特征进行识别.该技术能够在较低的运行时间下对多种指令集架构(x86,ARM,MIPS,PowerPC)的二进制程序中的内存拷贝类函数进行识别.实验结果表明,相比于最新的工作BootStomp和SaTC,CPYFinder在对内存拷贝类函数识别上具有更好的表现,在精准率和召回率上得到更好的平衡,并且运行时间与SaTC几乎相等,仅相当于BootStomp耗时的19%.此外,CPYFinder在漏洞函数识别上也具有更好的表现.

关键词：静态分析数据流分析中间表示内存拷贝函数函数识别

DFSampling:一种数据流分析指导的变异体精简策略

在线全文

学校读者我要写书评

暂无评论

软件学报 2022年第9期33卷 3407-3421页

作者：孙昌爱卫新洁刘镇贤宫云战北京科技大学计算机与通信工程学院北京100083 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 北京邮电大学网络技术研究院北京100876

软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSamp... 详细信息

软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSampling),设计了启发式规则,基于这些规则对随机选择技术与基于路径感知的变异体精简技术(PAMR)进行了改进.采用经验研究的方式评估了DFSampling的有效性,比较了DFSampling与随机选择技术、PAMR技术的有效性,实验结果表明DFSampling是一种有效的变异体精简策略,提高了变异测试的效率.

关键词：软件测试变异测试数据流分析变异体精简随机选择策略

基于控制流和数据流分析的拷贝类函数识别技术

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2022年

作者：尹小康芦斌蔡瑞杰朱肖雅杨启超刘胜利数学工程与先进计算国家重点实验室(信息工程大学)

内存错误漏洞仍是当前网络攻击中造成危害最严重的漏洞之一. 内存错误漏洞的产生往往与对拷贝类函数的误用有关. 目前针对拷贝类函数的识别主要借助于符号表和代码特征模式匹配，具有较高的误报率和漏报率，并且适用性较差. 针对上述问... 详细信息

内存错误漏洞仍是当前网络攻击中造成危害最严重的漏洞之一. 内存错误漏洞的产生往往与对拷贝类函数的误用有关. 目前针对拷贝类函数的识别主要借助于符号表和代码特征模式匹配，具有较高的误报率和漏报率，并且适用性较差. 针对上述问题，提出了一种新颖的拷贝类函数识别技术CPYFinder. 该方法在拷贝类函数控制流特征的基础上，将二进制代码转换为中间语言表示VEX IR (intermediate representation) 进行数据流的构建和分析，根据拷贝类函数在数据流上的特征进行识别. 该方法能够在较低的运行时间下对多种指令集架构（x86，ARM，MIPS，PowerPC）的二进制程序中的拷贝类函数进行识别. 实验结果表明，相比于最新的工作BootStomp和SaTC，CPYFinder在对拷贝类函数识别上具有更好的表现，在精准率和召回率上得到更好的平衡，并且运行时间与SaTC几乎相等，仅相当于BootStomp耗时的19%. 此外，CPYFinder在漏洞函数识别上也具有更好的表现.

关键词：静态分析数据流分析中间表示内存拷贝函数函数识别

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

数据流分析中的区域覆盖技术

软件学报 2000年第3期11卷 334-341页

作者：胡世亮臧斌宇凌冰朱传琪复旦大学并行处理研究所上海200433

用计算函数模型进行精确的数据流分析 ,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系 .该文讨论在各种常见的程序构造下如何表示、计算和传递 Ω区域、Φ区域 ,并在数据流分析过程中 ,利用 Ω区域、Φ区域之间的覆盖关系消除... 详细信息

用计算函数模型进行精确的数据流分析 ,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系 .该文讨论在各种常见的程序构造下如何表示、计算和传递 Ω区域、Φ区域 ,并在数据流分析过程中 ,利用 Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性 ,以得到更精确的数据流信息 .

关键词：数据流分析区域覆盖数组符号分析数据集

在线全文

学校读者我要写书评

暂无评论

用计算函数模型增强数据流分析

软件学报 2000年第2期11卷 187-194页

作者：胡世亮臧斌宇朱传琪复旦大学并行处理研究所上海200433

精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑... 详细信息

精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题 .而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法 .

关键词：计算函数模型数据流分析并行化编译器

在线全文

学校读者我要写书评

暂无评论

基于图模型的C程序数据流分析

浙江大学学报（工学版） 2017年第5期51卷 1007-1015,1050页

作者：常超刘克胜谭龙丹贾文超解放军电子工程学院安徽合肥230037

针对数据流分析常面临的高误报率等问题,提出基于图模型的C程序数据流分析方法,构建包含抽象语法树、控制流信息、程序依赖信息及函数调用信息的多维图模型,从安全敏感程序点(sink)溯源得到所有相关的外界可控输入源(source),通过基于... 详细信息

针对数据流分析常面临的高误报率等问题,提出基于图模型的C程序数据流分析方法,构建包含抽象语法树、控制流信息、程序依赖信息及函数调用信息的多维图模型,从安全敏感程序点(sink)溯源得到所有相关的外界可控输入源(source),通过基于图模型的过程内和过程间定值分析,实现对污点型缺陷的检测.结果表明,依赖完备的代码属性指导和区间运算支撑,可以有效降低数据流分析的误报率,减少人工审计代码的工作量.

关键词：数据流分析污点型漏洞多维属性图定值分析

数据流分析在汽车电控发动机故障诊断中的应用

在线全文

学校读者我要写书评

暂无评论

汽车测试报告 2023年第10期 107-109页

作者：马付屹郑州旅游职业学院河南郑州450000

传统的故障诊断方法依赖于维修人员的经验,存在耗时长和成本高的问题。随着大数据和人工智能技术的兴起,数据流分析作为一种新兴的故障诊断方法,为汽车行业提供了一种全新的视角和故障解决方案。该文从数据流分析在汽车电控发动机故障... 详细信息

传统的故障诊断方法依赖于维修人员的经验,存在耗时长和成本高的问题。随着大数据和人工智能技术的兴起,数据流分析作为一种新兴的故障诊断方法,为汽车行业提供了一种全新的视角和故障解决方案。该文从数据流分析在汽车电控发动机故障诊断中应用的重要性和应用现状入手,探讨数据流分析在汽车电控发动机故障诊断中的应用策略和发展方向,以提高汽车电控发动机故障诊断水平。

关键词：汽车数据流分析电控发动机故障诊断

基于BPEL的Web Service组合的数据流分析测试方法(英文)

在线全文

学校读者我要写书评

暂无评论

软件学报 2009年第8期20卷 2102-2112页

作者：董文莉胡建华中国科学院软件研究所北京100190 淮海工学院现代教育技术中心江苏连云港222005

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Serv... 详细信息

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.

关键词： Web服务业务流程执行语言 Web服务组合软件测试数据流分析