控制流图

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于二进制重写的混合分析构建控制流图方案
《计算机应用研究》2025年第2期555-559,共5页李自友 黄晓芳 殷明勇 
四川省科技厅重点研发资助项目(2022YFG0321);四川省自然科学基金资助项目(2022NSFSC0916)。
控制流图(CFG)是二进制程序分析的基础。传统静态分析方法构建控制流图速度快,代码覆盖率高,但不能解决间接跳转问题;动态分析方法能够分析间接跳转,但代码覆盖率低、性能开销大。为更加高效构建完备的控制流图,提出静态动态结合的混合...
关键词：控制流图 二进制程序 混合分析 二进制重写 
基于符号执行的智能合约重入漏洞检测
《计算机工程》2024年第10期196-204,共9页高山 王诚昱 毕成铭 朱铁英 
东北师范大学《信息安全技术》混合式课程建设项目;东北师范大学“计算机网络与安全虚拟仿真实验”项目。
在智能合约安全问题中,利用重入漏洞是最具破坏性的攻击之一。针对目前相关检测工作漏报率和误报率高的问题,提出一种基于符号执行的重入漏洞检测方法。该方法基于静态符号执行技术,在模拟以太坊虚拟机指令执行过程中,通过将可能被外部...
关键词：智能合约 重入漏洞检测 符号执行 控制流图 合约状态一致性 
基于图神经网络的源代码漏洞检测研究综述
《计算机工程与科学》2024年第10期1775-1792,共18页陈子雄 陈旭 景永俊 宋吉飞 
宁夏回族自治区重点研发项目(2023BDE02017);北方民族大学中央高校基本科研业务费专项资金(2022PT_S04)。
随着开源软件在各个领域的广泛应用,源代码漏洞已经导致了一系列严重的安全问题。鉴于这些漏洞对计算机系统的潜在威胁,检测软件中的源代码漏洞以防止网络攻击已成为一个重要的研究领域。为了实现自动化检测并降低人力成本,研究人员提...
关键词：图神经网络 漏洞检测 数据集 数据流图 控制流图 
日志重融合:应用程序日志完整性对抗攻击及其防御方法
《中国科学：信息科学》2024年第9期2157-2180,共24页陈昌骅 万海 赵曦滨 
国家自然科学基金(批准号:62076146,U20A6003,62021002,6212780016);工信部产业技术基础公共服务平台项目“城市轨道交通装备信号系统检测及安全评估公共服务平台”(批准号:2022-233-225);国家重点研发计划(批准号:2023YFB3307500)资助项目。
在攻击调查领域,为应对依赖爆炸和语义鸿沟的挑战,日志融合通过引入多层级日志的丰富语义得到系统实体之间细粒度的因果关系,以逼近实际的执行历史.然而,由于审计日志的系统调用和应用日志的程序消息被用来推断复杂的系统状态,基于日志...
关键词：攻击调查 对抗攻击 日志融合 控制流图 数据流图 
面向代码搜索的函数功能多重图嵌入
《软件学报》2024年第8期3809-3823,共15页徐杨 陈晓杰 汤德佑 黄翰 
广东省自然科学基金面上项目(2020A1515010696,2022A1515011491);国家自然科学基金面上项目(61876207,62276103);中央高校面上项目(2020ZYGXZR014);广东省财税大数据重点实验室开放基金(2019B121203012)。
如何提高异构的自然语言查询输入和高度结构化程序语言源代码的匹配准确度,是代码搜索的一个基本问题.代码特征的准确提取是提高匹配准确度的关键之一.代码语句表达的语义不仅与其本身有关,还与其所处的上下文相关.代码的结构模型为理...
关键词：代码搜索 控制流图 数据依赖图 函数功能多重图 
基于混合图表示的软件变更预测方法
《软件学报》2024年第8期3824-3842,共19页杨馨悦 刘安 赵雷 陈林 章晓芳 
国家自然科学基金(62172202,61872177);江苏省自然科学基金(BK20211307);江苏省高等学校基础科学研究重大项目(19KJA610002,22KJA520008);软件新技术与产业化协同创新中心资助项目;江苏高校优势学科建设工程。
软件变更预测旨在识别出具有变更倾向的模块,可以帮助软件管理者和开发人员有效地分配资源,降低维护开销.从代码中提取有效的特征在构建准确的预测模型中起着重要作用.近年来,研究人员从利用传统的手工特征进行预测转向具有强大表示能...
关键词：软件变更预测 图神经网络 AST 控制流图 数据流图 
基于异构指令图的恶意软件分类方法研究被引量：1
《计算机工程与应用》2024年第3期299-308,共10页钱丽萍 吉晓梅 
国家重点研发计划(2022YFC3321101);国家自然科学基金(61571144);北京建筑大学促进高校内涵发展定额项目——研究生教学研究与质量提升项目(31081023001)。
恶意软件是当今互联网上最大的安全威胁之一。目前基于图深度学习的恶意软件分类研究未考虑同家族恶意软件的控制流信息所隐含的内在相似性。针对该问题提出了一种基于异构指令图的恶意软件分类方法MCHIG,包括三个阶段:异构指令图生成...
关键词：恶意软件分类 异构指令图 图深度学习 控制流图 
基于程序控制流图的模糊测试漏洞挖掘方法
《武汉大学学报（工学版）》2023年第9期1146-1153,共8页李伟明 郭瑾仪 唐娜 
国家重点基础研发计划(编号:2017YFB0802205)。
提出了一种利用程序控制流图和符号化执行来指导生成模糊测试初始用例的方法。首先通过动态计算上下文敏感度级别和增加函数返回边优化符号化执行效率,构建出准确的二进制程序的控制流图,得到主要的程序执行路径;在此基础上,提出基于分...
关键词：模糊测试 符号化执行 程序控制流图 程序切片 
基于多表征融合的函数级代码漏洞检测方法
《西安邮电大学学报》2023年第1期78-84,共7页田振洲 吕佳俊 王凡凡 
国家自然科学基金项目(61702414);陕西省自然科学基础研究计划项目(2022JM-342,2018JQ6078)。
针对采用单一表征结构时,网络模型无法全面学习代码所承载的语义信息的问题,提出一种多表征融合的函数级代码漏洞检测(Sequence and Structure Fusion based Vulnerability Detector,S 2FVD)方法。该方法使用针对序列的神经网络TextCNN...
关键词：漏洞检测 深度学习 表征融合 图神经网络 属性控制流图 
进程控制流完整性保护技术综述被引量：3
《软件学报》2023年第1期489-508,共20页张正 薛静锋 张静慈 陈田 谭毓安 李元章 张全新 
国家自然科学基金(U1936218,62072037);之江实验室开放课题(2020LE0AB02)。
控制流劫持攻击利用程序内存漏洞获取程序的控制权,进而控制程序执行恶意代码,对系统安全造成极大的威胁.为了应对控制流劫持攻击,研究人员提出了一系列的防御手段.控制流完整性是一种运行时防御方法,通过阻止进程控制流的非法转移,来...
关键词：控制流完整性 控制流劫持 控制流图 系统安全 
全选清除导出
共17页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部