程序语义

作品数：25被引量：24H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张晓东郑庆华刘沛刘烃宫云战更多>>
相关机构：南京航空航天大学中国科学院软件研究所青岛大学北京邮电大学更多>>
相关期刊：《计算机学报》《青岛大学学报（自然科学版）》《兰州大学学报（自然科学版）》《信息工程大学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金教育部留学回国人员科研启动基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于程序语义与度量的代码缺陷检测
《中北大学学报(自然科学版)》2025年第1期105-115,共11页卢跃 嵇友晴 周礼亮 吕青 张迎周 
国家自然科学基金资助项目(62272214)。
软件中存在的代码缺陷严重影响了软件用户使用的体验感和安全性,传统的代码缺陷检测方法存在准确率较低的问题,而结合深度学习的现有方法的检测粒度较粗,检测效果也不够理想。为此,本文提出了一种基于程序语义与度量的代码缺陷检测方法...
关键词：预训练模型 程序切片 切片认知域 残差网络 卷积神经网络 门控制神经网络 
基于统计推理的二进制程序语义比较模型
《电子学报》2025年第1期163-181,共19页郭曦 王盼 
国家自然科学基金(No.61502194);国家重点研发计划(No.2023YFF1000100);湖北省教育厅科学技术研究项目(No.Q20211405);湖北工业大学博士科研启动基金项目(No.XJ2021003601)。
在程序缺陷分析、恶意代码发掘等过程中,通常需要对二进制程序的行为相似性进行分析.目前基于语法的相似性分析方法忽略了程序的执行语义,存在分析精度不高的问题.基于语义的相似性分析方法在符号逻辑公式生成过程中,频繁地调用约束求...
关键词：程序分析 语义比较 逆向工程 统计推理 迁移学习 
面向代码重用检测的程序语义分析模型
《通信学报》2024年第12期179-196,共18页郭曦 王盼 
国家自然科学基金资助项目(No.61502194);国家重点研发计划基金资助项目(No.2023YFF1000100);湖北省教育厅科学技术研究基金资助项目(No.Q20211405);湖北工业大学博士科研启动基金资助项目(No.XJ2021003601)。
程序相似性分析在代码缺陷检测、产权保护等领域有广泛的用途,但普遍存在计算开销过大等问题,为此提出了一种基于模糊匹配和统计推理的代码相似度分析方法。针对二进制程序,首先对其进行反汇编分析,然后进行函数边界识别操作,从而提取...
关键词：程序分析 模糊匹配 统计推理 机器学习 
基于序列的程序语义规则挖掘与违规检测方法被引量：1
《计算机科学》2024年第6期78-84,共7页李孜 周宇 
国家自然科学基金(61972197);国防基础科研项目(JCKY2022605C006);江苏省自然科学基金(BK20201292)。
在软件开发中,违反语义规则的源码可以正常地编译或运行,但却存在性能或功能上的缺陷。因此,如何准确地检测此类缺陷成为了一项挑战。已有的研究通常采用基于项集的规则挖掘与检测方法,但由于未能良好地结合源码的顺序信息与控制流信息...
关键词：语义规则挖掘 重叠聚类 缺陷检测 
抽象解释及其应用研究进展
《计算机研究与发展》2023年第2期227-247,共21页陈立前 范广生 尹帮虎 王戟 
国家重点研发计划项目(2022YFA1005101);国家自然科学基金项目(61872445,62032024,62102432);湖南省自然科学基金项目(2021JJ40697)。
抽象解释是一种对用于形式描述复杂系统行为的数学结构进行抽象和近似并推导或验证其性质的理论.抽象解释自20世纪70年代提出以来,在语义模型、程序分析验证、混成系统验证、程序转换、系统生物学模型分析等领域取得了广泛应用.近年来,...
关键词：抽象解释 程序语义 程序分析 形式验证 抽象域 
程序表示学习综述被引量：2
《浙江大学学报（工学版）》2023年第1期155-169,共15页马骏驰 迪骁鑫 段宗涛 唐蕾 
国家自然基金青年资助项目(62002030);陕西省重点研发资助项目(2019ZDLGY17-08,2019ZDLGY03-09-01,2019GY-006,2020GY-013)。
为了提高软件的开发效率,目前已出现应用人工智能技术进行智能化开发的趋势,如何理解程序语义是智能化开发中需要重点解决的问题.针对该问题,出现了一系列程序表示学习的研究,程序表示学习可以自动地从程序中学习有用的特征,将特征表示...
关键词：软件工程 表示学习 程序语义 神经网络 深度学习 
面向基本路径学习的代码自动命名
《小型微型计算机系统》2022年第11期2302-2307,共6页王一凡 赵逢禹 艾均 
国家自然科学基金项目(61803264)资助。
在基于学习的方法代码抽象命名研究中,现有工作中的模型学习的代码表示缺少方法代码的控制流与动态可执行的信息.针对这一问题,本文提出一种面向基本路径学习的代码自动命名模型.该模型首先将方法代码通过编译器得到三地址码的中间表示...
关键词：基本路径 程序语义 机器学习 注意力机制 代码特征 
一种面向程序理解的程序语义聚类技术
《软件导刊》2019年第10期62-64,共3页陈颖 
江苏省教育信息化研究基金项目(20180104);中国民航信息技术科研基地开放基金项目(CAAC-ITRB-201704)
针对源代码中一些非结构化的自然语言描述信息进行语义聚类,辅助开发人员开展程序理解。主要利用自然语言处理技术对程序中的标识符和注释进行预处理,将程序转换成词频矩阵;然后利用潜在语义索引技术对该词频矩阵进行层次聚类,并对每个...
关键词：程序理解 语义聚类 潜在语义索引 语义标注 
DroidFAR:一种基于程序语义的Android重打包应用抗混淆检测方法被引量：2
《武汉大学学报（理学版）》2018年第5期407-414,共8页汪润 唐奔宵 王丽娜 
国家自然科学基金(U1536204);国家高技术发展计划(863)(2015AA016004)资助项目
为了使Android平台重打包应用检测的方法在面向大规模移动应用中既能实现快速、准确地检测重打包应用又能对抗代码混淆攻击,本文提出了一种基于程序语义的重打包应用抗混淆检测方法.该方法首先进行粗粒度的检测,即先将应用的程序依赖图...
关键词：重打包应用 代码克隆 程序依赖图 安全与隐私 
基于程序语义的本体表示方法
《信息系统工程》2017年第8期154-154,共1页王智学 
本文以沈阳市沈北新区的三所大学和途经这三所大学的两条交通线路为例,构建了一个城市交通本体的片段作为实验本体,在此基础上给出了实验本体的非形式化描述,定义了传统本体表示方法向基于程序语义表示方法转化的相关规则,是对本体自动...
关键词：抽取技术 交通线路 处理技术研究 自动抽取 沈北新区 城市交通 信息检索 知识表示 属性表 相关规则 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部