控制流图

作品数：171被引量：295H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战金大海何龙张鹏程史建琦更多>>
相关机构：北京邮电大学浙江大学中国科学院东南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划湖北省自然科学基金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于符号执行的智能合约重入漏洞检测
《计算机工程》2024年第10期196-204,共9页高山 王诚昱 毕成铭 朱铁英 
东北师范大学《信息安全技术》混合式课程建设项目;东北师范大学“计算机网络与安全虚拟仿真实验”项目。
在智能合约安全问题中,利用重入漏洞是最具破坏性的攻击之一。针对目前相关检测工作漏报率和误报率高的问题,提出一种基于符号执行的重入漏洞检测方法。该方法基于静态符号执行技术,在模拟以太坊虚拟机指令执行过程中,通过将可能被外部...
关键词：智能合约 重入漏洞检测 符号执行 控制流图 合约状态一致性 
面向C程序的环形复杂度自动化计算方法
《计算机工程》2018年第12期102-107,114,共7页秦振华 牟永敏 
国家自然科学基金(61370129);北京市自然科学基金(Z160002);网络文化与数字传播北京市重点实验室开放课题(5221735410);北京信息科技大学研究生教育基金(5121723403)
为准确度量软件复杂程度,提出一种环形复杂度计算方法。借助于Mc Cabe度量法,针对C语言程序,通过对源程序进行预处理,提取其中含有控制流信息的关键语句后对其进行分情况处理,从而无须借助控制流图即可实现程序环形复杂度的自动化计算...
关键词：McCabe度量法 控制流图 环形复杂度 复合条件 自动化计算 
基于表驱动的纯软件签名错误检测算法被引量：1
《计算机工程》2018年第4期187-192,共6页陈建 沈潇军 姚一杨 邢雅菲 琚小明 
上海市自然科学基金(15ZR1410000)
针对临时性、间歇性与永久性错误的存在,处理器获取并执行一条不正确的指令将导致控制流错误的发生。为此,在研究通过软件签名的控制流检错(CFDSS)算法的基础上,基于表驱动形式,提出一种纯软件签名错误检测算法(EDSS)。构建二维表(CFID)...
关键词：表驱动 软件签名 错误检测 通过软件签名的控制流检错算法 控制流图 
实时控制系统程序模式的WCET自动分析方法被引量：1
《计算机工程》2017年第8期56-62,68,共8页侯小静 姬孟洛 黄辰林 舒云星 阎奔 
国家自然科学基金"基于复合传感器阵列的多火源融合定位方法研究"(61503174);河南省基础与前沿技术研究计划项目"实时嵌入式系统WCET的精确分析研究"(152300410115);河南省科技攻关计划项目"基于PLC控制技术与Saa S云服务模式的智能运维系统关键技术研究"(162102210276);河南省科技厅国际科技合作项目"基于二维码离散视觉识别模式的物流机器人路径规划与导引的研究"(152102410053)
基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相...
关键词：程序模式 最差情况执行时间分析 实时控制系统 控制流图 线性规划 
一种结合动态与静态分析的函数调用图提取方法被引量：4
《计算机工程》2017年第3期154-162,共9页孙贺 吴礼发 洪征 颜慧颖 张亚丰 
江苏省自然科学基金(BK2011115;BK20131069)
完整准确地提取函数调用图是基于函数调用图进行恶意程序相似性分析的基础。为此,提出一种动静结合的恶意程序函数调用图提取方法。在对程序进行静态反汇编的基础上抽取恶意程序的可执行路径,使用隐藏信息主动发现策略找出恶意程序中隐...
关键词：恶意程序 函数调用图 控制流图 静态分析 动态分析 
基于嵌套复杂度的控制流混淆算法被引量：1
《计算机工程》2016年第11期177-181,188,共6页王磊 侯整风 向润昭 史兆鹏 
国家自然科学基金(61272540);安徽省自然科学基金(11040606M138)
采用随机插入策略的垃圾代码控制流混淆算法,存在混淆强度和额外开销的不确定性。针对该问题,提出一种基于嵌套复杂度的控制流混淆算法OB_NC,对混淆所引入的开销进行定量计算,采用嵌套复杂度对控制流复杂度进行度量,基于分组背包思想构...
关键词：代码保护 控制流图 混淆算法 分组背包 嵌套复杂度 
基于依赖图等价代换的SSDG构建算法被引量：1
《计算机工程》2015年第12期91-95,100,共6页徐东 狄效国 孟宇龙 冯晓宁 
国家自然科学基金资助项目(61100006;61272184);黑龙江省自然科学基金资助项目(F201129)
已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题。为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法。通过对目标程序进行等价代换,并使用程序依赖图替换程...
关键词：语义分析 控制流图 系统依赖图 程序切片 程序依赖 数据依赖 
基于反馈的JCVM指令预调度方案被引量：1
《计算机工程》2014年第1期78-82,共5页曹晓 李莹 
国家科技支撑计划基金资助项目(2011BAH16B04);浙江省自然科学基金资助项目(Y12F020153)
卡内应用执行效率较低是制约Java Card发展的瓶颈。为此,研究Java Card虚拟机(JCVM)解释器的运行原理,针对其执行架构提出一种基于反馈的JCVM指令预调度方案。通过收集反馈应用的运行指令流统计信息,设计解释器加权控制流图(WCFG),利用...
关键词：JAVA Card虚拟机 嵌入式系统 解释器优化 指令调度 控制流图 编译优化 
基于自动路径驱动的动态控制流恢复算法被引量：1
《计算机工程》2013年第8期77-82,共6页张平 李清宝 崔晨 
国家"863"计划基金资助项目(2009AA01ZA434)
动态控制流恢复方法存在路径覆盖不全的问题。为解决该问题,提出一种基于自动路径驱动的控制流恢复算法。在可控的模拟调试环境中动态执行并分析二进制程序,通过修改CPU程序计数器的值,使驱动程序执行在当前输入条件下无法访问的程序路...
关键词：控制流图 路径驱动 动态分析 二进制程序 模拟调试环境 程序计数器 
一种工作流的控制流距离度量方法
《计算机工程》2013年第7期94-98,114,共6页黄袁 付晓东 贾楠 代志华 马玉倩 
国家自然科学基金资助项目(71161015);云南省应用基础研究计划基金资助项目(2009CD040);云南省教育厅科研基金资助重点项目(2010Z009);昆明理工大学人才培养基金资助项目(2009-08)
为准确计算工作流中的控制流距离,提出一种工作流的控制流距离度量方法。介绍从工作流中分离控制节点生成控制流图的过程。在控制节点间距离基础上,建立通过控制流图进行工作流控制流距离度量的模型,并从理论上证明距离度量模型满足自...
关键词：工作流 控制流图 图遍历 控制流距离 有向无环图 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部