控制流

作品数：553被引量：978H指数：11
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战金大海王雅文黄俊飞张鹏程更多>>
相关机构：北京邮电大学中国科学院浙江大学国防科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
DeepCom-GCN:融入控制流结构信息的代码注释生成模型
《江西师范大学学报(自然科学版)》2025年第1期27-36,共10页钟茂生 刘会珠 匡江玲 严婷 
国家自然科学基金(32460214)资助项目。
代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结...
关键词：代码注释生成 抽象语法树 控制流图 图卷积神经网络 软件工程 程序理解 自然语言处理 
基于二进制重写的混合分析构建控制流图方案
《计算机应用研究》2025年第2期555-559,共5页李自友 黄晓芳 殷明勇 
四川省科技厅重点研发资助项目(2022YFG0321);四川省自然科学基金资助项目(2022NSFSC0916)。
控制流图(CFG)是二进制程序分析的基础。传统静态分析方法构建控制流图速度快,代码覆盖率高,但不能解决间接跳转问题;动态分析方法能够分析间接跳转,但代码覆盖率低、性能开销大。为更加高效构建完备的控制流图,提出静态动态结合的混合...
关键词：控制流图 二进制程序 混合分析 二进制重写 
基于远程证明的数据服务完整性验证方法
《软件学报》2024年第11期4949-4972,共24页张溯 张颖 张伟 黄罡 
国家重点研发计划(2021YFF1201103)。
数据作为一种新型生产要素,需要在不同主体间流通以发挥价值.在这一过程中,数据需要确保其完整性,避免受到未经授权的篡改,否则可能导致极为严重的后果.现有工作通过将分布式账本与数据加密、校验技术结合实现数据存证以证明待流通数据...
关键词：数据服务 数据完整性 远程证明 控制流证明 可信执行环境 
金融行业AI智能化源代码审计实践
《金融电子化》2024年第21期38-39,共2页李志勇 谢朝海 
海云安根据源代码审计的优缺点,研发开发者安全智能助手(D10),提出动态审计与静态审计结合、源代码与制品/补丁结合的程序分析技术,采用先进的符号执行、逆执行、补丁分析、控制流分析、成分分析、二进制逆向分析、特征提取、深度学习...
关键词：控制流分析 符号执行 逆向分析 特征提取 源代码 深度学习 金融行业 补丁 
基于局部路径图的自动化漏洞成因分析方法
《软件学报》2024年第10期4555-4572,共18页余媛萍 苏璞睿 贾相堃 黄桦烽 
国家自然科学基金(62232016,62102406,61902384);中国科学院战略性先导科技专项(XDC02020300);前沿科技创新专项(2019QY1403)。
快速的漏洞成因分析是漏洞修复中的关键一环,也一直是学术界和工业界关注的热点.现有基于大量测试样本执行记录进行统计特征分析的漏洞成因分析方法,存在随机性噪声、重要逻辑关联指令缺失等问题,其中根据测试集测量,现有统计方法中的...
关键词：漏洞分析 成因分析 函数间调用图 函数内控制流转移图 统计分析 
基于符号执行的智能合约重入漏洞检测
《计算机工程》2024年第10期196-204,共9页高山 王诚昱 毕成铭 朱铁英 
东北师范大学《信息安全技术》混合式课程建设项目;东北师范大学“计算机网络与安全虚拟仿真实验”项目。
在智能合约安全问题中,利用重入漏洞是最具破坏性的攻击之一。针对目前相关检测工作漏报率和误报率高的问题,提出一种基于符号执行的重入漏洞检测方法。该方法基于静态符号执行技术,在模拟以太坊虚拟机指令执行过程中,通过将可能被外部...
关键词：智能合约 重入漏洞检测 符号执行 控制流图 合约状态一致性 
反汇编工具中间接跳转表求解算法分析与测试
《软件学报》2024年第10期4623-4641,共19页庞成宾 徐雪兰 张天泰 茅兵 
国家自然科学基金(62032010,62172201)。
二进制反汇编是困难的,但是对于提高二进制软件的安全性至关重要.造成二进制反汇编比较困难的一大原因是编译器为了提高效率会在二进制代码中引入很多间接跳转表.为了求解间接跳转表,主流反汇编工具采用了各种策略.然而,这些策略的具体...
关键词：二进制反汇编 控制流 间接跳转表 值集分析 
基于图神经网络的源代码漏洞检测研究综述
《计算机工程与科学》2024年第10期1775-1792,共18页陈子雄 陈旭 景永俊 宋吉飞 
宁夏回族自治区重点研发项目(2023BDE02017);北方民族大学中央高校基本科研业务费专项资金(2022PT_S04)。
随着开源软件在各个领域的广泛应用,源代码漏洞已经导致了一系列严重的安全问题。鉴于这些漏洞对计算机系统的潜在威胁,检测软件中的源代码漏洞以防止网络攻击已成为一个重要的研究领域。为了实现自动化检测并降低人力成本,研究人员提...
关键词：图神经网络 漏洞检测 数据集 数据流图 控制流图 
面向加密流量的社交软件用户行为识别
《计算机研究与发展》2024年第9期2321-2333,共13页吴桦 王磊 黄瑞琪 程光 胡晓艳 
国家重点研发计划项目(2021YFB3101403)。
随着智能终端和社交网络越来越融入人们的日常生活,针对社交软件的用户行为识别在网络管理、网络环境监管和市场调研等方面发挥越来越重要的作用.社交软件普遍使用端到端加密协议进行加密数据传输,现有方法通常提取加密数据的统计特征...
关键词：社交网络 用户行为 服务频次 控制流 长度序列 
日志重融合:应用程序日志完整性对抗攻击及其防御方法
《中国科学：信息科学》2024年第9期2157-2180,共24页陈昌骅 万海 赵曦滨 
国家自然科学基金(批准号:62076146,U20A6003,62021002,6212780016);工信部产业技术基础公共服务平台项目“城市轨道交通装备信号系统检测及安全评估公共服务平台”(批准号:2022-233-225);国家重点研发计划(批准号:2023YFB3307500)资助项目。
在攻击调查领域,为应对依赖爆炸和语义鸿沟的挑战,日志融合通过引入多层级日志的丰富语义得到系统实体之间细粒度的因果关系,以逼近实际的执行历史.然而,由于审计日志的系统调用和应用日志的程序消息被用来推断复杂的系统状态,基于日志...
关键词：攻击调查 对抗攻击 日志融合 控制流图 数据流图 
全选清除导出
共55页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部