别名分析

作品数：35被引量：104H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：姜淑娟张艳梅宫云战刘坚张杨更多>>
相关机构：北京邮电大学南京大学河北科技大学西安电子科技大学更多>>
相关期刊：《高技术通讯》《西安电子科技大学学报》《吉林大学学报（理学版）》《计算机学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Java指针分析综述被引量：3
《计算机研究与发展》2023年第2期274-293,共20页谭添 马晓星 许畅 马春燕 李樾 
国家自然科学基金项目(61932021,62025202,62002157);航空科学基金项目(20185853038,201907053004)。
近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等....
关键词：指针分析 别名分析 JAVA 静态分析 上下文敏感 
并发程序中数据竞争检测方法被引量：5
《计算机应用》2019年第1期61-65,共5页张杨 梁亚楠 张冬雯 孙仕欣 
国家自然科学基金资助项目(61440012);河北省自然科学基金资助项目(F2016208007);河北省基础研究计划重点基础专项(18960106D)~~
针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的...
关键词：并发程序 数据竞争 控制流分析 别名分析 程序切片 
面向PHP程序的SQL漏洞检测系统被引量：5
《计算机工程》2016年第4期112-118,共7页王耀辉 王丹 付利华 
国家自然科学基金资助项目(61202074)
针对PHP程序,提出一种基于注入活动分析技术的结构化查询语言(SQL)漏洞检测方法。以动静态相结合的分析技术为基础,对注入活动从数据流和程序行为方面进行分析,给出基于词法特征比较的SQL漏洞判定算法。通过检测模拟测试数据,并结合别...
关键词：结构化查询语言漏洞 动静态结合分析 别名分析 行为模型 词法特征 
高效而精确的锁别名分析方法
《计算机系统应用》2016年第2期212-218,共7页陈露 顾乃杰 黄理 杜云开 
安徽省自然科学基金(1408085MKL06);高等学校学科创新引智计划(B07033)
锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的方式处理,进而影响分析结果的准确性.针对这一问题,提出了一种锁别名分析方法,该方法首先使用GCC插件获取...
关键词：锁别名分析 SSA 中间代码 FP_LOCK 流敏感 上下文敏感 
基于事件驱动模型的GUI数据流异常分析方法被引量：3
《计算机工程与设计》2016年第1期146-151,253,共7页杨广 郭泽 
核高基重大专项基金项目(2014ZX01040201-003)
针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法。基于有限状态机,对变量生命周期状态迁移进行建模,引入别名分析方法,实现过程内数据流分析;通过获取化简的交互事件序列,将序列引入到代...
关键词：GUI软件 数据流分析 状态迁移 别名分析 事件序列 
流敏感按需指针别名分析算法被引量：2
《计算机研究与发展》2015年第7期1620-1630,共11页逄龙 苏小红 马培军 赵玲玲 
国家自然科学基金项目(61173021)
为了提高交互环境下指针别名查询的响应效率,近期研究提出通过只分析与目标相关指针的按需分析策略来降低浪费在与目标无关的指针分析的额外开销.典型的代表是基于上下文无关文法的按需别名分析算法.但是,该算法的精度只局限于控制流不...
关键词：别名分析 流敏感精度 按需查询 上下文无关语言 图可达性 
基于值依赖分析的空指针解引用检测被引量：4
《电子学报》2015年第4期647-651,共5页马森 赵文 习翔宇 王栋伟 
本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采用...
关键词：程序分析 静态缺陷检测 空指针解引用检测 需求驱动别名分析 
空指针异常的自动故障定位方法被引量：5
《通信学报》2015年第1期18-29,共12页姜淑娟 王兴亚 张艳梅 李威 鞠小林 刘颖祺 
国家自然科学基金资助项目(60970032;61202006);江苏省"333"基金资助项目;中央高校基本科研业务费专项基金资助项目(2013QNB17);江苏省高校自然科学研究基金资助项目(12KJB520014);江苏省研究生培养创新工程基金资助项目(CXZZ12-0935);南京大学计算机软件新技术国家重点实验(KFKT2014B19)~~
提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提...
关键词：自动故障定位 空指针异常 实时堆栈 程序切片 别名分析 
一种基于CIL静态分析的C#程序缺陷检测方法被引量：3
《计算机科学》2014年第1期220-224,共5页边攀 梁彬 石文昌 
国家自然科学基金项目(61170240;61070192);核高基重大专项(2012ZX01039-004)资助
通过静态检测发现源程序中的潜在缺陷,可以帮助程序员在软件发布之前发现并修补程序缺陷,提高软件的安全性。提出一种通过静态分析CIL代码来检测C#程序代码缺陷的方法。采用改进的深度优先搜索算法遍历目标程序的控制流程图,结合历史状...
关键词：静态分析 缺陷检测 别名分析 CIL C# 
一种重构二进制代码中类型抽象的方法被引量：8
《计算机研究与发展》2013年第11期2418-2428,共11页马金鑫 李舟军 忽朝俭 张俊贤 郭涛 
国家自然科学基金项目(90718017;60973105;61170189);教育部高等学校博士学科点专项科研基金项目(20111102130003);软件开发环境国家重点实验室自主研究课题(SKLSDE-2011ZX-03)
重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对...
关键词：类型重构 寄存器抽象语法树 中间语言 循环变量 别名分析 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部