控制流图

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机与现代化x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
POF表项指令和动作的合法性检测
《计算机与现代化》2020年第10期23-30,共8页封栋 陈晓 
中国科学院战略性科技先导专项课题(XDC02070100)。
POF协议是SDN的一种南向接口协议,相较于经典的OpenFlow协议具有协议无关、灵活性强的特点。在关于POF协议的最近研究中,学者们为POF增加了比较和跳转等动作和指令,使得每个表项可以实现的功能更为强大。但指令数量和功能的增加也为软...
关键词：静态检测 POF协议 流表表项 控制流图 强连通分量 
一种基于Native层的Android恶意代码检测机制被引量：3
《计算机与现代化》2019年第5期1-6,12,共7页孙炳林 庄毅 
国家自然科学基金面上项目(61572253);航空科学基金资助项目(2016ZC52030)
Android现有的恶意代码检测机制主要是针对bytecode层代码,这意味着嵌入Native层的恶意代码不能被检测,最新研究表明86%的热门Android应用都包含Native层代码。为了解决该问题,本文提出一种基于Native层的Android恶意代码检测机制,将sm...
关键词：安卓 恶意代码检测 控制流图 子图同构 
一种基于约束分析精简控制流图方法被引量：1
《计算机与现代化》2013年第10期55-61,共7页李金诺 
很多静态代码分析的方法都以控制流图作为基础,本文采用一种基于约束的分析技术,包括基于约束的0-CFA,加入数据流的分析方法构造约束集,使用不动点算法求出约束集的最小解并生成控制流图,可以约减不可达分支,生成较少冗余的控制流图。...
关键词：静态分析 基于约束的分析 控制流分析 不动点算法 
一种基于故障模型的代码静态测试方法研究
《计算机与现代化》2011年第2期77-80,共4页夏玉辉 李鸣 万琳 王洪艳 
软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静...
关键词：故障模型 软件测试 语法树 控制流图 静态测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部