“控制流图”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果9872800个，建议您升级VIP下载更多相关专利

[发明专利]调试指定控制流的可执行控制流图-CN201980034483.8在审
发明人： J·L·威农;M·斯塔克尼斯;李欣 -专利权人：起元技术有限责任公司
申请日： 2019-03-13 - 公布日： 2021-02-05 - 主分类号： G06F11/36 文献下载
摘要：一种用于调试指定多个功能模块之间的控制流的可执行控制流图的计算机实现的方法，该控制流被表示为该多个功能模块之间的转换，该计算机实现的方法包括：指定该可执行控制流图中该可执行控制流图的执行将被中断的位置；其中，所指定的位置表示到给定功能模块的转换、到执行该给定功能模块的内容的状态的转换、或从该给定功能模块的转换；在执行环境中开始该可执行控制流图的执行；以及在表示该指定位置的执行点处，中断该可执行控制流图的执行
调试指定控制可执行

[发明专利]数据控制流图的生成方法、系统及集成电路设计方法-CN201711458312.7有效
发明人：李健萍;陈岚;胡子一 -专利权人：佛山中科芯蔚科技有限公司
申请日： 2017-12-28 - 公布日： 2022-01-04 - 主分类号： G06F30/32 文献下载
摘要：本申请公开了一种数据控制流图的生成方法、系统及集成电路设计方法，其中，所述数据控制流图的生成方法通过对计算机语言描述的数据控制流图进行解析获得的算法数据流信息和算法控制流信息，生成待优化数据控制流图，为计算机实现计算机语言描述的数据控制流图向待优化数据控制流图的映射提供了可能，也就是说为自动实现计算机语言描述的数据控制流图向待优化数据控制流图的映射提供了可能，从而实现了降低数据控制流图的生成难度，提升数据控制流图的生成效率的目的。另外，在获取了待优化数据控制流图后，还根据生成的计算机语言的功耗信息库，对所述待优化数据控制流图进行优化，以满足获得的数据控制流图的低功耗要求。
数据控制生成方法系统集成电路设计

[发明专利]一种基于重构控制流图的控制流错误检测优化方法-CN201010504386.1无效
发明人：谭庆平;李建立;宁洪;徐建军;周会平;谭兰芳;徐锡山 -专利权人：中国人民解放军国防科学技术大学
申请日： 2010-10-12 - 公布日： 2011-01-12 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于重构控制流图的控制流错误检测优化方法，目的是提供一种新的基于重构控制流图的控制流错误检测优化方法，解决检错效率不高等问题。技术方案是将源程序划分为基本块，构建基本块表，并基于基本块表构建程序控制流图，然后基于控制流图，划分逻辑块，构建逻辑块表，接着复制基本块，使得逻辑块相互独立，再根据配置要求均匀切割逻辑块，构建基本逻辑块表，最后基于基本逻辑块表，重构程序控制流图。基于重构的控制流图即可实现现有的控制流错误检测算法。采用本发明能够灵活配置基本块的划分，使得现有的控制流检错算法能够基于重构的控制流图直接应用，有效提高检错算法的效率。
一种基于控制错误检测优化方法

[发明专利]一种基于中断控制流图的中断验证系统-CN201810160216.2有效
发明人：史建琦;佘庆;黄滟鸿;郭欣;熊家文;毛侠 -专利权人：华东师范大学;上海华元创信软件有限公司
申请日： 2018-02-26 - 公布日： 2020-12-29 - 主分类号： G06F9/48 文献下载
摘要：一种基于中断控制流图的中断验证系统，包括：代码转换模块，用于根据中断驱动程序获取汇编代码；中断信息统计模块，根据所述汇编代码统计中断信息；控制流图生成模块，根据所述汇编代码生成控制流图；中断控制流图生成模块，根据所述控制流图与所述中断信息生成中断控制流图；处理模块，用于对所述中断控制流图切片处理；分析模块，根据所述中断控制流图切片，验证所述中断驱动程序的时间安全与内存安全。本发明提出了一个新的用以表示中断驱动程序控制流结构的模型—中断控制流图，并给出削减中断控制流图规模(切片)的方法，实现了在同一模型中验证中断驱动程序最常出现的两类问题，提高了中断驱动程序验证的可靠性与安全性
一种基于中断控制验证系统

[发明专利]一种基于控制流图的数据流分析方法及装置-CN201910422869.8有效
发明人：唐云善;刘德欣;杨维永;邹旎彬;马森;高庆;张世琨 -专利权人：国家电网有限公司;北京大学;南瑞集团有限公司;南京南瑞信息通信科技有限公司;国网江苏省电力有限公司
申请日： 2019-05-21 - 公布日： 2021-10-15 - 主分类号： G06F16/90 文献下载
摘要：本发明实施例提供一种基于控制流图的数据流分析方法及装置，其中方法包括：对控制流图进行简化处理，简化后的控制流图包括控制流条件中的所有条件变量以及与所述条件变量有关的节点与边；遍历所述简化后的控制流图中的所有控制流路径，以判断所述控制流图是否符合分析条件；若符合分析条件，则以所述简化后的控制流图的每条控制流路径作为状态节点构建状态图；根据所述状态图生成循环摘要。
一种基于控制数据流分析方法装置

[发明专利]基于车联网风险的漏洞检测方法和装置-CN202211448733.2在审
发明人：吕江毅;隋美丽;刘敏杰;张华磊 -专利权人：北京电子科技职业学院
申请日： 2022-11-18 - 公布日： 2023-03-31 - 主分类号： G06F21/57 文献下载
摘要：本发明提供基于车联网风险的漏洞检测方法和装置，其中方法包括：从待检测程序的抽象语法树中搜索候选语法节点，并基于候选语法节点，从程序依赖图中遍历与候选语法节点相关联的语句，得到候选漏洞语句；基于候选漏洞语句，结合抽象语法树、控制流图和数据流图，构建抽象语法树子图、控制流子图和数据流子图；分别对抽象语法树子图、控制流子图和数据流子图进行语义信息抽取，得到抽象语法树子图、控制流子图和数据流子图的图向量；将抽象语法树子图、控制流子图和数据流子图的图向量拼接
基于联网风险漏洞检测方法装置

[发明专利]一种基于控制流图的函数调用路径提取方法及装置-CN201510542043.7有效
发明人：牟永敏 -专利权人：牟永敏;北京信息科技大学
申请日： 2015-08-28 - 公布日： 2018-01-23 - 主分类号： G06F9/44 文献下载
摘要：本发明公开了一种基于控制流图的函数调用路径提取方法及装置，所述方法包括对源代码进行处理，获得包含控制流消息的中间代码；将所述中间代码转换为控制流图，并将函数调用保留在所述控制流图的节点中；根据所述控制流图中每一个节点包含的函数调用的个数的对控制流图进行处理，将控制流图转换成函数调用关系图；以及根据所述函数调用关系图提取出函数调用路径。
一种基于控制函数调用路径提取方法装置

[发明专利]一种区块链中智能合约的并行冲突域确定方法及装置-CN202111472554.8有效
发明人：李陈希;李辉忠;张开翔;范瑞彬 -专利权人：深圳前海微众银行股份有限公司
申请日： 2021-12-06 - 公布日： 2022-04-01 - 主分类号： G06F9/455 文献下载
摘要：本发明公开了一种区块链中智能合约的并行冲突域确定方法及装置，其中方法为：构建智能合约的第一控制流图，第一控制流图包括所述智能合约的各函数的子控制流图；确定各函数的调用关系，并在第一控制流图中存在调用关系的节点间添加调用关系边，并确定所添加调用关系边的类型，获得第二控制流图；在第二控制流图中添加各节点对应变量的数据事实节点，以及根据第二控制流图中节点间的调用关系边及类型，确定第二控制流图中各节点间传递的数据事实，获得第三控制流图；针对各函数的任一函数，根据第三控制流图，从该函数的结束节点的数据事实节点搜索至该函数的开始节点的数据事实节点，上述方法适用于金融科技（Fintech）。
一种区块智能合约并行冲突确定方法装置

[发明专利]逻辑电路生成装置以及方法-CN201480067351.2有效
发明人：一色刚 -专利权人：国立大学法人东京工业大学
申请日： 2014-12-11 - 公布日： 2019-07-05 - 主分类号： G06F17/50 文献下载
摘要：一种逻辑电路生成装置(1)具有：控制流图生成部(23)，其生成控制流图；控制流退化转换部(28)，其通过从控制流图中除去所有条件分支指令，来生成控制流退化程序；数据流图生成部(29)，其基于控制流退化程序来生成数据流图；逻辑电路描述输出部(33)，其生成逻辑电路描述，该逻辑电路描述表示时序电路，其中，数据流图的有向枝对应于逻辑电路的配线，数据流图的节点对应于逻辑电路的运算器。
逻辑电路生成装置以及方法

[发明专利]基于控制流图的函数调用路径提取方法-CN201610541747.7在审
发明人：牟永敏 -专利权人：北京信息科技大学;牟永敏
申请日： 2016-07-11 - 公布日： 2016-12-14 - 主分类号： G06F9/45 文献下载
摘要：本发明提供一种基于控制流图的函数调用路径提取方法，包括：步骤1、获取源代码的中间代码，并对中间代码进行分析以对中间代码内的代码块进行识别，然后以此生成控制流图；所述控制流图中的节点为代码块，且节点之间的连接线为代码块内的函数调用关系；步骤2、对控制流图中的节点所包含的函数调用个数进行分析，以将控制流图转换为函数的调用关系图。
基于控制函数调用路径提取方法

[发明专利]一种目标代码控制流图生成系统-CN201611169736.7有效
发明人：何积丰;熊家文;史建琦;黄滟鸿;李昂;方徽星 -专利权人：华东师范大学
申请日： 2016-12-16 - 公布日： 2019-06-14 - 主分类号： G06F8/53 文献下载
摘要：本发明公开了一种基于符号执行的目标代码控制流图生成系统，该系统包括预处理模块、反汇编与控制流图生成模块、目标地址分析模块。其中，预处理模块用于目标代码文件的格式识别与程序入口地址的定位，反汇编与控制流图生成模块用于机器指令的翻译与控制流图的生成，目标地址分析模块用于间接跳转指令处目的地址的可能值分析计算，其采用符号执行、SMT本发明的系统对间接地址跳转地址进行了分析，其生成的控制流图，相比于一般模块生成的控制流图，具有更加精确、相对完整的特点。
一种目标代码控制生成系统

[发明专利]基于加权控制流图的前瞻线程划分方法-CN201210491456.3无效
发明人：李川;杨洪斌;吴悦 -专利权人：上海大学
申请日： 2012-11-28 - 公布日： 2013-03-13 - 主分类号： G06F9/38 文献下载
摘要：本发明公开了一种基于加权控制流图的前瞻线程划分方法。本方法的操作步骤如下：（1）自上而下扫描原串行程序；（2）对步骤（1）中找出的所有的过程调用进行处理；（3）根据profiling信息对步骤（2）中处理后的串行程序建立加权控制流图T；（4）自上而下遍历整个复加权控制流图T，找出图中所有的循环区域；（5）对步骤（4）中找出的所有的循环进行处理；（6）根据染色法从超控制流图F中提取出可执行的前瞻线程。本发明的方法兼顾了线程的体积，线程间的控制和数据相关性，线程间的访存负载均衡，对于自身难以解决的问题，借助硬件技术都给予了相应的解决，方法充分利用了计算机的资源，提高了程序的执行效率。
基于加权控制前瞻线程划分方法

[发明专利]一种基于中断控制流图的中断验证方法-CN201810160219.6有效
发明人：史建琦;佘庆;黄滟鸿;郭欣;熊家文;毛侠 -专利权人：华东师范大学;上海华元创信软件有限公司
申请日： 2018-02-26 - 公布日： 2021-04-02 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于中断控制流图的中断验证方法，包括：对中断驱动程序的目标代码进行反汇编操作，获取汇编代码；根据所述汇编代码构建中断控制流图；对所述中断控制流图切片处理；根据所述中断控制流图切片，验证所述中断驱动程序的时间安全与内存安全本发明采用中断控制流图来描述中断驱动程序的控制流信息，并利用程序切片的技术思想，对中断控制流图进行切片，进而分析验证所述目标代码的时间安全与内存安全。本发明的优点是，提出了中断驱动程序控制流结构的模型—中断控制流图，实现了在同一模型中验证中断驱动程序最常出现的两类问题，提高了中断驱动程序验证的可靠性与安全性。
一种基于中断控制验证方法

[发明专利]数据流图配置-CN201880037759.3在审
发明人： R·A·爱泼斯坦;M·帕尔默 -专利权人：起元技术有限责任公司
申请日： 2018-06-05 - 公布日： 2020-03-24 - 主分类号： G06F16/25 文献下载
摘要：一种用于配置第一计算机可执行程序的方法，所述方法包括通过用户界面接收指示数据源和数据目标的信息；通过所述用户界面，接收过程的特性，所述特性包括所述过程的类型和与所述过程相关联的相应特性的值。所述方法包括基于所接收到的信息，自动地为所述第一计算机可执行程序的相应参数分配值，以使所述第一计算机可执行程序在被执行时从所述数据源接收数据并将所述数据输出到所述数据目标。所述方法包括基于所接收到的所述过程的特性，自动地配置所述第一计算机可执行程序以引用第二计算机可执行程序。所述配置包括基于所述过程的类型标识所述第二计算机可执行程序；以及基于与所述过程相关联的所述相应特性的值，为所述第二计算机可执行程序的相应参数分配值。
数据流配置

[外观设计]折叠书（流觞图）-CN03325907.0无效
发明人： -专利权人：
申请日： 2003-01-05 - 公布日： 2003-08-20 - 主分类号： 19-04 文献下载
摘要：1.后视图无设计内容；2.省略其它视图。
折叠流觞图

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条