期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于二进制文件的格式串漏洞检测技术 认领 引用 被引量:1
1
作者 张龙杰 谢晓方 +1 位作者 袁胜智 唐江 《计算机应用》 北大核心 2008年第10期2495-2498,共4页
当前有关格式串漏洞的检测技术大多局限于源代码层次,针对二进制文件的研究较少。以格式串栈指针和参数栈指针为切入点,分析研究了格式串漏洞的攻击原理,在目标代码的层次提出了一种新的格式串漏洞检测技术,给出了构造攻击代码的具体方... 当前有关格式串漏洞的检测技术大多局限于源代码层次,针对二进制文件的研究较少。以格式串栈指针和参数栈指针为切入点,分析研究了格式串漏洞的攻击原理,在目标代码的层次提出了一种新的格式串漏洞检测技术,给出了构造攻击代码的具体方法,重点研究了不同系统中攻击代码的构建过程,最后结合实例对检测方法进行了验证。通过与实例源代码的比较,充分证明了检测方法的有效性,具有重要的应用价值。 展开更多
关键词 格式串漏洞 二进制文件 堆栈指针 漏洞检测
暂未订购 下载PDF
空指针异常的自动故障定位方法 认领 引用 被引量:5
2
作者 姜淑娟 王兴亚 +3 位作者 张艳梅 李威 鞠小林 刘颖祺 《通信学报》 EI CSCD 北大核心 2015年第1期18-29,共12页
提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提... 提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提方法虽然因收集堆栈信息和别名分析增加了时间开销,但是利用堆栈信息可以缩小问题搜索空间,别名分析可以发现隐含的值传递过程,从而克服单独使用静态方法分析结果引起误报和漏报的缺陷,使最终的错误定位结果更精确。 展开更多
关键词 自动故障定位 空指针异常 实时堆栈 程序切片 别名分析
暂未订购 下载PDF
二进制代码级函数指针攻击机理与检测研究 认领 引用
3
作者 李昆仑 巩春景 +2 位作者 李尚然 王琳 张德智 《小型微型计算机系统》 CSCD 北大核心 2018年第12期2657-2661,共5页
尽管有许多防御和保护机制已经被引入到现代操作系统中,但内存泄漏漏洞仍然对软件系统和网络安全造成巨大威胁.对于返回导向式编程ROP攻击(Return Oriented Programming)通常利用缓冲区溢出漏洞改写函数的返回地址,而函数指针在c/c++中... 尽管有许多防御和保护机制已经被引入到现代操作系统中,但内存泄漏漏洞仍然对软件系统和网络安全造成巨大威胁.对于返回导向式编程ROP攻击(Return Oriented Programming)通常利用缓冲区溢出漏洞改写函数的返回地址,而函数指针在c/c++中普遍存在,比如struct结构体和虚函数中都含有大量的函数指针.本文通过实验表明了覆盖函数指针发起的ROP攻击是存在的并且提出fpDetect检测方法用来检测这种攻击.采取二进制代码插桩技术与动态检测相结合,大大提高了检测的准确性.通过实验证明了fpDetect检测方法可以应用在Linux和windows操作系统中. 展开更多
关键词 ROP 缓冲区溢出 函数指针 二进制代码插桩 动态检测
暂未订购 下载PDF
数据结构中指针的应用及分析 认领 引用 被引量:1
4
作者 杨丽萍 《计算机时代》 2012年第2期57-58,共2页
分析了指针在单链表、链栈及链队列中的应用,指出了容易出错的环节,并深入分析了出错原因,使学生能够深入理解和掌握指针在数据结构中的应用。
关键词 指针 单链表 链栈 链队列 数据结构
暂未订购 下载PDF
栈指针程序的形式验证 认领 引用 被引量:2
5
作者 冯峰 罗奇鸣 陈意云 《小型微型计算机系统》 CSCD 北大核心 2017年第5期936-940,共5页
提出一种验证含栈指针、静态区指针操作的C语言程序的方法.该方法定义指针的三元属性表示一个指针的状态.指针的三元属性包括指针指向数据块的名称、数据块的长度以及指针在所指向数据块上的偏移.通过对Hoare逻辑的扩展,基于指针的三元... 提出一种验证含栈指针、静态区指针操作的C语言程序的方法.该方法定义指针的三元属性表示一个指针的状态.指针的三元属性包括指针指向数据块的名称、数据块的长度以及指针在所指向数据块上的偏移.通过对Hoare逻辑的扩展,基于指针的三元属性设计了相应的断言演算规则和演算过程中生成验证条件的方法.该方法可以解决访问路径别名判断、指针越界访问检查、非法指针解引用检查等问题.该方法已经在一个基于演绎推理的安全C语言验证系统中实现,并且成功验证了教材上常用的一些经典算法. 展开更多
关键词 程序验证 栈指针 静态区指针 路径别名 Hoare逻辑
暂未订购 下载PDF
浅谈C语言中指针使用不当的危险性 认领 引用 被引量:2
6
作者 康牧 赵治国 《洛阳师专学报(自然科学版)》 2000年第2期80-82,共3页
C语言是一种中级语言 ,它的指针具有强大的功能 ,它的功能是其它高级语言所不能比拟的 ,但是 ,如果对指针使用不当就会使系统处于极端危险的状态 ,有时会使系统丢失数据 ,有时会使系统‘死机’ 本文详细讨论了产生这种情况的原因 。
关键词 C语言 指针 悬挂访问 中断向量表 堆栈段 代码段 数据段 附加段
暂未订购 下载PDF
用汇编语言解析C/C++函数调用中值传递、指针传递和引用传递的内在机制 认领 引用 被引量:2
7
作者 火善栋 杨旭东 《计算机时代》 2012年第9期49-50,54,共2页
为了让学生通过对汇编语言的学习加深对计算机内部原理的理解,借助汇编语言低级化的特点,详细分析了C/C++函数调用中值传递、指针传递和引用传递的内在实现机制。
关键词 汇编语言 函数调用 指针 引用 堆栈
暂未订购 下载PDF
上一页 1 下一页 到第
在线咨询 使用帮助 返回顶部 意见反馈