基于CDFG的SoC验证方法及其分割与搜索算法

1

作者 李德识 曹阳 《计算机工程》 CAS CSCD 北大核心 2007年第2期9-11,共3页

随着芯片复杂度以及市场对集成电路上市时间要求的不断提高,对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。该文针对SoC验证的需要,利用CDFG,研究了基于CDFG的验... 随着芯片复杂度以及市场对集成电路上市时间要求的不断提高,对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。该文针对SoC验证的需要,利用CDFG,研究了基于CDFG的验证体系,给出了CDFG的几种定义,讨论了CDFG的表示方法,提出了基于CDFG的验证流程,研究了基于DFS的生成树算法、CDFG的分割算法和CDFG的搜索算法,并以实例说明了这些算法在验证流程中的作用。 展开更多

关键词 控制数据流图 SOC 验证 深度优先搜索算法

在线阅读 下载PDF 职称材料

HCDFG-II—面向C语言系统描述的控制/数据流图表示 被引量：4

2

作者 牛亚文 边计年 +1 位作者 吴强 薛宏熙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第11期1547-1552,共6页

介绍了基于C语言系统描述的面向软硬件划分的一种中间表示———层次化控制 /数据流图HCDFG II及其转换方法 HCDFG II根据C语言的特点对HCDFG进行了扩充 ,通过引入内存访问结点来表示和处理C程序中的数组及指针 ,通过定义并发结构来表... 介绍了基于C语言系统描述的面向软硬件划分的一种中间表示———层次化控制 /数据流图HCDFG II及其转换方法 HCDFG II根据C语言的特点对HCDFG进行了扩充 ,通过引入内存访问结点来表示和处理C程序中的数组及指针 ,通过定义并发结构来表示C程序中的可并发部分 同时 ,由于HCDFG II采用以控制流为主的结构 ,从C语言进行转换十分容易 这使得它能有效地作为C语言系统描述的中间表示 。 展开更多

关键词 控制/数据流图 软硬件划分 层次化

在线阅读 下载PDF 职称材料

基于增强型语义程序依赖图的智能化二进制分析方法

3

作者 薛磊 张际灿 杜平心 《信息网络安全》 北大核心 2025年第9期1357-1366,共10页

在软件安全分析领域,二进制程序分析技术正面临编译器优化复杂化与结构信息缺失带来的双重挑战,传统工具链普遍存在分析流程割裂、依赖人工操作、语义表达不足等问题,难以满足结构化、自动化漏洞挖掘任务的需求。文章提出一种基于增强... 在软件安全分析领域,二进制程序分析技术正面临编译器优化复杂化与结构信息缺失带来的双重挑战,传统工具链普遍存在分析流程割裂、依赖人工操作、语义表达不足等问题,难以满足结构化、自动化漏洞挖掘任务的需求。文章提出一种基于增强型语义程序依赖图的智能化二进制分析方法,通过统一建模控制流、数据依赖与符号路径约束信息,实现对程序语义的三维结构化表达。在实验评估中,增强型语义程序依赖图展现了显著的性能优势,在OpenSSL项目无优化级别下,SPDG恢复的基本块数比Ghidra提升了60.5%,控制边数提升了42.5%;SPDG在数据依赖追踪上也比Ghidra提升了287.1%,恢复了超过13万条数据依赖链。此外,在符号执行覆盖率方面,SPDG在OpenSSL的无优化级别下达到64.7%,优于Angr的60%。在漏洞检测任务中,SPDG成功识别了9个漏洞样例,仅误报1次,准确率达90.0%,显著高于其他工具。 展开更多

关键词 二进制分析 控制流 数据流 符号执行 程序依赖图

在线阅读 下载PDF 职称材料

基于大数据分析的网络安全漏洞扫描系统设计

4

作者 申亚亚 《信息与电脑》 2025年第18期59-61,共3页

传统网络安全源代码漏洞检测主要通过代码审查人员进行人工检查,这种安全检查不仅效率较低,且完全依赖于检查人员的技术水平和工作经验。因此,文章提出了基于大数据分析的网络安全漏洞扫描设计方案,旨在构建基于图注意力网络的漏洞检测... 传统网络安全源代码漏洞检测主要通过代码审查人员进行人工检查,这种安全检查不仅效率较低,且完全依赖于检查人员的技术水平和工作经验。因此,文章提出了基于大数据分析的网络安全漏洞扫描设计方案,旨在构建基于图注意力网络的漏洞检测设计方案,提升检测精度和检测效率。文章首先详细分析了网络安全漏洞检测理论,提出了抽象语法树(Abstract Syntax Tree,AST)和控制流图的应用;其次,提出了基于图注意力网络的网络安全漏洞检测方法,通过数据结果分析验证了该方法的可行性和有效性。结果表明,图注意力网络方法在数据中模型的性能均达到了最优,准确率达到90.01%。 展开更多

关键词 网络安全 漏洞扫描 大数据 抽象语法树 控制流图

在线阅读 下载PDF 职称材料

一种基于异常传播分析的数据流分析方法 被引量：14

5

作者 姜淑娟 徐宝文 史亮 《软件学报》 EI CSCD 北大核心 2007年第1期74-84,共11页

异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对... 异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间控制流图的构建方法.该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径;然后提出了基于异常传播分析的数据流分析方法,并给出相应的算法.该方法既克服了因忽略异常传播对数据流影响而造成分析结果不准确的不足,又有助于实现异常传播数据流分析的自动处理;最后用一个实例验证了该方法的可用性.该方法可以为结构测试、回归测试、程序切片等软件工程任务提供相关信息. 展开更多

关键词 异常处理 程序分析 异常传播 控制流图 数据流分析

在线阅读 下载PDF 职称材料

基于控制流和数据段分析的反汇编策略研究 被引量：4

6

作者 蒋烈辉 陈亮 +3 位作者 吴金波 何红旗 费勤福 赵荣彩 《计算机工程》 CAS CSCD 北大核心 2007年第2期94-96,共3页

反汇编策略大体可以分为线性扫描策略和基于控制流的递归扫描策略,该文通过对基于控制流的递归扫描策略以及多款处理器指令系统的研究,提出了一种基于程序静态流程遍历图的反汇编策略,使用6种策略将隐匿于数据段中的程序段提取出来,提... 反汇编策略大体可以分为线性扫描策略和基于控制流的递归扫描策略,该文通过对基于控制流的递归扫描策略以及多款处理器指令系统的研究,提出了一种基于程序静态流程遍历图的反汇编策略,使用6种策略将隐匿于数据段中的程序段提取出来,提高了反汇编结果的精确度。 展开更多

关键词 反汇编 流程遍历图 数据段 程序段 控制流

在线阅读 下载PDF 职称材料

一种基于路径的调度算法 被引量：2

7

作者 袁小龙 沈绪榜 《计算机研究与发展》 EI CSCD 北大核心 1998年第3期279-282,共4页

操作调度是高级综合中的重要任务．文中首次提出了一种基于路径的操作调度算法，该算法可同时处理条件结构及循环结构的调度．采用该算法可获得使控制数据流图（ＣＤＦＧ）中的所有的路径的执行所需的控制步数达到最小化的调度．经实验... 操作调度是高级综合中的重要任务．文中首次提出了一种基于路径的操作调度算法，该算法可同时处理条件结构及循环结构的调度．采用该算法可获得使控制数据流图（ＣＤＦＧ）中的所有的路径的执行所需的控制步数达到最小化的调度．经实验证明。 展开更多

关键词 操作调度 路径 调度算法 算法

在线阅读 下载PDF 职称材料

高层综合中一种新的控制/数据流图表示形式 被引量：1

8

作者 曹炜 林争辉 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期896-899,共4页

提出了一种新的控制 /数据流图 ( CDFG)的格式 ,这种 CDFG与过去一般所使用的 CDFG的最大区别在于这里的 CDFG引入了布尔节点 ( Bool-node)的概念 .文中介绍该这种新格式的具体细节 ;并给出了该 CDFG的实例和表示它的数据结构 。

关键词 电子设计自动化 高层综合 控制/数据流图 调度

在线阅读 下载PDF 职称材料

基于XCFG的BPEL数据流属性分析与验证 被引量：3

9

作者 吉顺慧 李必信 邱栋 《电子学报》 EI CAS CSCD 北大核心 2013年第7期1365-1370,共6页

BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证... BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的. 展开更多

关键词 WEB服务组合 扩展控制流图(XCFG) 数据流属性 验证

在线阅读 下载PDF 职称材料

基于格的数据流分析框架研究 被引量：1

10

作者 刘晓锋 吴亚娟 +1 位作者 李明东 曾宪华 《计算机工程与应用》 CSCD 北大核心 2006年第21期48-51,共4页

数据流分析是编译系统中的一个重要的内容,也是程序静态分析的一个方面。论文按程序执行路径对数据流分析问题进行分类,这有利于建立数据流分析的统一的描述模型,并以此为基础论述了数据流分析框架与数据流分析的内在联系,这为并发程序... 数据流分析是编译系统中的一个重要的内容,也是程序静态分析的一个方面。论文按程序执行路径对数据流分析问题进行分类,这有利于建立数据流分析的统一的描述模型,并以此为基础论述了数据流分析框架与数据流分析的内在联系,这为并发程序的数据流分析奠定了良好的基础。 展开更多

关键词 数据流 信息流 控制流图 前向流 后向流

在线阅读 下载PDF 职称材料

一种使用控制块消除流图中回边的算法 被引量：1

11

作者 李兰英 张滇 +1 位作者 崔林海 胡磊 《计算机工程》 CAS CSCD 北大核心 2008年第20期74-76,共3页

引入控制块分解流图来构建控制流树,确定流图中的回边及循环路径中包含的节点,通过消去原流图中的回边,构建无环流图,简化流图的数据流分析。控制块将流图的控制关系转移到新构建的控制流树的内部控制节点上。使用控制块分解算法将流图... 引入控制块分解流图来构建控制流树,确定流图中的回边及循环路径中包含的节点,通过消去原流图中的回边,构建无环流图,简化流图的数据流分析。控制块将流图的控制关系转移到新构建的控制流树的内部控制节点上。使用控制块分解算法将流图转换到控制流树过程中,所创建节点数目不超过n,使用控制流树求解路径表达式和确定回边的时间复杂度不超过O(nlogn)。 展开更多

关键词 编译器优化 流图 全局数据流分析 控制流树 控制块

在线阅读 下载PDF 职称材料

新的结构化测试数据自动生成方法 被引量：1

12

作者 马建红 辛政华 +1 位作者 王磊 徐敏 《计算机工程与设计》 CSCD 北大核心 2008年第10期2581-2586,共6页

针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结... 针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结果说明了该方法的可行性。根据得到的测试路径将GEMGA应用到测试数据的自动生成,TriType的实验结果表明,GEMGA能生成更高质量的数据,并适用于较大规模的程序。 展开更多

关键词 数据流图 控制流图 结构测试 测试数据 基因表达散乱遗传算法 黑盒优化 搜索被构想为按级别排列的联系和类的框架 串链方法

在线阅读 下载PDF 职称材料

集成电路的模块生成与选择算法 被引量：2

13

作者 郎荣玲 戴冠中 《电子学报》 EI CAS CSCD 北大核心 2005年第11期1955-1958,共4页

借鉴软件设计中的思想,采用模块化技术是提高大规模集成电路的设计能力和系统芯片开发效率的重要手段.文章首先对现有的模块生成算法进行了全面的分析,在此基础上提出了一新的模块生成算法,此算法可生成一个电路系统的顶点数小于m的所... 借鉴软件设计中的思想,采用模块化技术是提高大规模集成电路的设计能力和系统芯片开发效率的重要手段.文章首先对现有的模块生成算法进行了全面的分析,在此基础上提出了一新的模块生成算法,此算法可生成一个电路系统的顶点数小于m的所有模块,并且对电路系统以及模块的结构没有限制.本文还提出了一个模块选择算法,此算法可以在满足一定要求的前提下选择一部分模块覆盖整个电路,同时还对算法进行了实验分析. 展开更多

关键词 模块 模块化技术 规则性 控制数据流图

在线阅读 下载PDF 职称材料

系统服务Rootkits隐藏行为分析 被引量：1

14

作者 龙海 郝东白 黄皓 《计算机科学》 CSCD 北大核心 2008年第6期103-106,共4页

用挂钩系统服务来实现进程、文件、注册表、端口等对象的隐藏是最常见的rootkits实现方式。然而大量的检测方法并不能将rootkits和其所隐藏的对象对应起来。本文分析了用户层和内核层系统服务rootkits的隐藏行为,建立了6种模型。在检测... 用挂钩系统服务来实现进程、文件、注册表、端口等对象的隐藏是最常见的rootkits实现方式。然而大量的检测方法并不能将rootkits和其所隐藏的对象对应起来。本文分析了用户层和内核层系统服务rootkits的隐藏行为,建立了6种模型。在检测出系统服务rootkits的基础上,提出了一种分析其二进制执行代码,匹配模型,找出隐藏对象的方法,实现了一个隐藏行为分析原型。实验结果证明这种隐藏行为分析方法能有效分析出隐藏对象。 展开更多

关键词 ROOTKITS 系统服务 行为 控制流图 数据流图 函数调用图

在线阅读 下载PDF 职称材料

动态可重构系统的时域划分及其行为级算法的定量分析 被引量：1

15

作者 陈乃金 江建慧 +3 位作者 陈昕 周洲 徐莹 潘诚 《小型微型计算机系统》 CSCD 北大核心 2011年第2期328-332,共5页

对近20年来可重构系统的时域划分算法进行了分析,把它们分为网表级和行为级算法两大类.网表级时域划分算法主要采用网络流方法,使电路的面积、割网的个数等最小化,并使电路获得较小的时延和通信代价.我们对层划分、簇划分、增强静态列... 对近20年来可重构系统的时域划分算法进行了分析,把它们分为网表级和行为级算法两大类.网表级时域划分算法主要采用网络流方法,使电路的面积、割网的个数等最小化,并使电路获得较小的时延和通信代价.我们对层划分、簇划分、增强静态列表调度、多目标时域划分等四种行为级时域划分算法进行了定量分析和比较,评价指标体系包括划分后的模块数、跨模块的输入/输出边数、划分后所有模块的执行总延迟.实验结果表明,层划分是四个算法划分后所有模块执行总延迟最小的;簇划分算法获得较少的跨模块的输入/输出边数;增强的静态列表调度和多目标时域划分两个算法在三个指标之间获得了一个好的折中.然而,这四个算法均没有考虑划分后的模块形状及模块的跨层映射成本. 展开更多

关键词 可重构计算 控制/数据流图 粒度 时域划分 测试基准

在线阅读 下载PDF 职称材料

程序分片技术及应用 被引量：1

16

作者 宫慧颖 张晓东 刘磊 《大连民族学院学报》 CAS 2001年第3期1-6,9,共7页

程序分片是一种分析和理解程序的技术.系统介绍了程序分片的概念、计算方法及分片工具、应用领域、研究现状和发展趋势等方面的问题.

关键词 程序分片 控制流图 数据依赖 控制依赖 系统依赖图 图形可达性算法

在线阅读 下载PDF 职称材料

面向代码搜索的函数功能多重图嵌入 被引量：1

17

作者 徐杨 陈晓杰 +1 位作者 汤德佑 黄翰 《软件学报》 EI CSCD 北大核心 2024年第8期3809-3823,共15页

如何提高异构的自然语言查询输入和高度结构化程序语言源代码的匹配准确度,是代码搜索的一个基本问题.代码特征的准确提取是提高匹配准确度的关键之一.代码语句表达的语义不仅与其本身有关,还与其所处的上下文相关.代码的结构模型为理... 如何提高异构的自然语言查询输入和高度结构化程序语言源代码的匹配准确度,是代码搜索的一个基本问题.代码特征的准确提取是提高匹配准确度的关键之一.代码语句表达的语义不仅与其本身有关,还与其所处的上下文相关.代码的结构模型为理解代码功能提供了丰富的上下文信息.提出一个基于函数功能多重图嵌入的代码搜索方法.在所提方法中,使用早期融合的策略,将代码语句的数据依赖关系融合到控制流图中,构建函数功能多重图来表示代码.该多重图通过数据依赖关系显式表达控制流图中缺乏的非直接前驱后继节点的依赖关系,增强语句节点的上下文信息.同时,针对多重图的边的异质性,采用关系图卷积网络方法从函数多重图中提取代码的特征.在公开数据集的实验表明,相比现有基于代码文本和结构模型的方法,所提方法的MRR提高5%以上.通过消融实验也表明控制流图较数据依赖图在搜索准确度上贡献较大. 展开更多

关键词 代码搜索 控制流图 数据依赖图 函数功能多重图

在线阅读 下载PDF 职称材料

基于程序流程图的数据例化与程序例化 被引量：8

18

作者 廖湖声 《计算机学报》 EI CSCD 北大核心 2001年第9期985-990,共6页

提出了一种基于程序流程图的部分求值方法 ,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化 ,能够在例化阶段进行程序基本块例化的同时 ,完成控制转移的优化 ,并生成既可用于编译时刻例化 ,又可用于运行时刻例化的滞留程... 提出了一种基于程序流程图的部分求值方法 ,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化 ,能够在例化阶段进行程序基本块例化的同时 ,完成控制转移的优化 ,并生成既可用于编译时刻例化 ,又可用于运行时刻例化的滞留程序 ;基于这种方式的部分求值系统采用离线工作方式 ,利用了绑定时间分析 ,提高了滞留程序的效率 ;同时避免了例化阶段的代码复制与拼接 ,有效地简化了运行时刻例化系统的实现难度 . 展开更多

关键词 数据例化 程序流程图 程序例化 软件自动化

在线阅读 下载PDF 职称材料

基于依赖图等价代换的SSDG构建算法 被引量：1

19

作者 徐东 狄效国 +1 位作者 孟宇龙 冯晓宁 《计算机工程》 CAS CSCD 北大核心 2015年第12期91-95,100,共6页

已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题。为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法。通过对目标程序进行等价代换,并使用程序依赖图替换程... 已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题。为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法。通过对目标程序进行等价代换,并使用程序依赖图替换程序系统依赖图,改进传统系统依赖图的构建流程。实验结果表明,该算法可有效降低构建系统依赖图的复杂度,并能提高程序切片的速率。 展开更多

关键词 语义分析 控制流图 系统依赖图 程序切片 程序依赖 数据依赖

在线阅读 下载PDF 职称材料

程序控制流图自动生成的算法 被引量：4

20

作者 张雁 林英 《计算机与数字工程》 2010年第2期28-30,共3页

运用程序控制流图,可以方便地度量程序的逻辑复杂度,确定软件测试中控制结构独立路径的基本集合。文章提出了根据程序设计的伪码,自动生成程序控制流图的数据结构和详细的算法,为进行控制优化、软件基本路径测试以及程序控制相关性分析... 运用程序控制流图,可以方便地度量程序的逻辑复杂度,确定软件测试中控制结构独立路径的基本集合。文章提出了根据程序设计的伪码,自动生成程序控制流图的数据结构和详细的算法,为进行控制优化、软件基本路径测试以及程序控制相关性分析提供了良好的基础。 展开更多

关键词 程序控制流图 数据结构 PDLToCFG算法

在线阅读 下载PDF 职称材料