程序控制流图

作品数：10被引量：22H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙利民卢凯张南张浩宇刘雯雯更多>>
相关机构：中国科学院浙江大学北京理工大学国防科学技术大学更多>>
相关期刊：《科技风》《计算机应用与软件》《小型微型计算机系统》《电脑知识与技术》更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机应用技术x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于程序控制流图的模糊测试漏洞挖掘方法
《武汉大学学报（工学版）》2023年第9期1146-1153,共8页李伟明 郭瑾仪 唐娜 
国家重点基础研发计划(编号:2017YFB0802205)。
提出了一种利用程序控制流图和符号化执行来指导生成模糊测试初始用例的方法。首先通过动态计算上下文敏感度级别和增加函数返回边优化符号化执行效率,构建出准确的二进制程序的控制流图,得到主要的程序执行路径;在此基础上,提出基于分...
关键词：模糊测试 符号化执行 程序控制流图 程序切片 
一种可扩展的C代码静态分析方法研究
《科技风》2012年第14期13-16,共4页余亚刚 邱征 魏雪菲 
为降低软件工程项目的开发风险和后期维护成本,本文提出一种模型检验的可扩展C代码静态检查方法。该方法将C代码常见错误归纳为可扩展的计算树逻辑公式库,同时将被检测代码转化成为程序控制流图,并将该图抽象为等价的Kripke结构;依据Kri...
关键词：计算树逻辑(CTL) 程序控制流图(CFG) 代码静态分析 错误模式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部