控制流分析

作品数：42被引量：69H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王震宇韦韬王旭徐国爱张淼更多>>
相关机构：解放军信息工程大学北京理工大学河北科技大学北京大学更多>>
相关期刊：《计算机工程与设计》《中国学术期刊文摘》《计算机与现代化》《吉林大学学报（理学版）》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
金融行业AI智能化源代码审计实践
《金融电子化》2024年第21期38-39,共2页李志勇 谢朝海 
海云安根据源代码审计的优缺点,研发开发者安全智能助手(D10),提出动态审计与静态审计结合、源代码与制品/补丁结合的程序分析技术,采用先进的符号执行、逆执行、补丁分析、控制流分析、成分分析、二进制逆向分析、特征提取、深度学习...
关键词：控制流分析 符号执行 逆向分析 特征提取 源代码 深度学习 金融行业 补丁 
隐式信息流重组粒度与污点传播能力判别
《小型微型计算机系统》2024年第6期1512-1520,共9页唐成华 杜征 关晓龙 强保华 
国家自然科学基金项目(62062028)资助;广西可信软件重点实验室基金项目(kx201918)资助;广西密码学与信息安全重点实验室基金项目(GCIS201619,GCIS201801)资助;广西云计算与大数据协同创新中心项目(YF17101)资助;桂林电子科技大学研究生创新项目(2022YCXS070)资助。
污点分析中的隐式信息流由于其通过控制流传播污点的特性导致许多基于数据流的污点分析技术无效或分析效率低.本文提出了一种简洁有效的基于重组粒度的隐式信息流污点传播能力判别方法.通过预定义重组链构建规则,并基于程序切片和控制...
关键词：污点分析 隐式信息流 控制流分析 静态分析 重组粒度 
基于控制流的卷烟物流系统柔性化应用
《物流技术与应用》2023年第8期156-161,共6页李坤 周广振 孙梅 
为提高卷烟辅料物流系统柔性化应用程度和智能应用水平,使包装物流系统更加灵活,满足多工况生产需求。本文建立基于物流系统柔性化应用的数学模型,模型中采用“黑箱”对现有物流系统提出多工况柔性化需求,介绍原有人工搬运的多工况解决...
关键词：物流系统 柔性化应用 控制流分析 解决方案 
基于控制流分析的导向性灰盒模糊测试方法被引量：1
《电子测量技术》2022年第15期21-27,共7页黎君玉 罗琴 刘智 
国家自然科学基金(61902328)项目资助。
模糊测试(Fuzzing)是软件漏洞挖掘的主要技术,它能随机生成测试用例并动态执行程序,可以覆盖较深的分支。但模糊测试技术中变异存在一定的盲目性,并且随机变异样本执行相同路径的频率很高,导致变异样本冗余,从而降低测试效率。本文提出...
关键词：符号执行 模糊测试 控制流图 约束求解 测试用例 
基于调用链控制流分析的大型微服务系统性能建模与异常定位被引量：4
《软件学报》2022年第5期1849-1864,共16页于庆洋 白晓颖 李明杰 李奇原 刘涛 刘泽胤 裴丹 
国家重点研发计划(2019YFB1802504,2019YFE0105500);国家自然科学基金(62072264)。
大型微服务系统中组件众多、依赖关系复杂,由于故障传播的涟漪效应,一个故障可能引起大规模服务异常,快速识别异常并定位根因是服务质量保证的关键.目前主要采用的调用链分析方法,常常面临调用链结构复杂、实例数量庞大、存在大量小样...
关键词：微服务系统 性能异常检测 根因分析 调用链 控制流分析 
抵御控制流分析的Python程序混淆算法
《数字技术与应用》2021年第5期102-104,共3页刘建 
中职信息技术专业程序设计类课程教学模式改革与实践研究(2019GH408)。
由于现有的Python程序混淆算法没有设计不透明谓词的插入结构,因此很难长时间抵抗控制流分析的攻击,为提高Python程序的安全性,对其进行优化设计。加密Python程序混沌映射,提高混淆算法的无规律性,设计混淆算法不透明谓词结构,加大控制...
关键词：控制流 安全性分析 Python程序 混淆算法 
轻量级嵌入式软件动态二进制插桩算法被引量：4
《信息网络安全》2021年第4期89-95,共7页梁晓兵 孔令达 刘岩 叶莘 
国家电网有限公司总部科技项目[5600-201955458A-0-0-00]。
软件二进制插桩是软件性能分析、漏洞挖掘、质量评价领域的关键技术。在嵌入式环境下,传统动态插桩算法受到无操作系统、CPU架构复杂、内存资源紧张等局限,难以展开工作。文章以软件动态二进制插桩算法为研究目的,通过静态特征分析和动...
关键词：软件插桩 二进制插桩 软件调试 控制流分析 
抵御控制流分析的程序混淆算法被引量：1
《计算机工程与设计》2020年第11期3255-3261,共7页乐德广 赵杰 龚声蓉 
教育部新一代信息技术产学研创新基金项目(2018A01003);教育部人文社会科学研究基金项目(18YJCZH068);江苏省自然科学基金面上基金项目(BK20191475);江苏省高校自然科学研究面上基金项目(18KJB520002)。
针对控制流分析获取程序执行过程中的分支路径信息,引起路径信息泄露问题,提出能有效隐藏分支路径及其顺序的程序混淆算法。通过二态非透明谓词插入不相关分支路径和不相关结点,改变控制流中的单一结点形式,增加程序分支路径的控制流复...
关键词：软件安全 程序混淆 控制流平展化 非透明谓词 分支路径 
面向并发程序的重构一致性检测方法被引量：1
《河北师范大学学报（自然科学版）》2020年第3期200-208,共9页张杨 孙仕欣 张冬雯 东春浩 乔柳 
国家自然科学基金(61440012);河北省高等学校科学研究重点项目(ZD2019093);河北省自然科学基金重点项目(18960106)。
针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据流分析检测重构前后的变化,使用同步依赖分析检测重构前后同步依赖关系的变化.针对对象重用性、静态共享字段、死锁3种典型的引...
关键词：并发软件重构 一致性检测 控制流分析 数据流分析 同步依赖分析 
基于静态污点分析的Android应用能力泄露检测框架被引量：3
《现代计算机》2019年第9期94-100,共7页陈纯 周安民 
各大Android应用市场上的App的数量不断增加,Android应用程序安全问题也日益突出。其中能力泄露也是众多安全问题之一,这种能力泄露可能使恶意软件通过Android安全机制绕过达到权限提升和隐私泄露,因此在此前提下,研究一种基于静态污点...
关键词：ANDROID应用 能力泄露 权限提升 污点分析 控制流分析 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部