切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
静态检测缓冲区溢出漏洞
静态检测缓冲区溢出漏洞
来源 :微机发展 | 被引量 : 0次 | 上传用户:jiaranerzhi
【摘 要】
:
缓冲区溢出漏洞是目前惟一最重要最常见的安全威胁.文中分析了防止缓冲区溢出攻击的运行时方法的不足.介绍了一种静态检测缓冲区溢出漏洞的方法及工具.给源代码添加注解,用注
【作 者】
:
李建平
刘坚
【机 构】
:
西安电子科技大学软件工程研究所
【出 处】
:
微机发展
【发表日期】
:
2004年6期
【关键词】
:
缓冲区溢出
安全漏洞
静态分析
静态检测
注解
SPLINT
buffer overflow
safety vulnerabilities
static ana
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
缓冲区溢出漏洞是目前惟一最重要最常见的安全威胁.文中分析了防止缓冲区溢出攻击的运行时方法的不足.介绍了一种静态检测缓冲区溢出漏洞的方法及工具.给源代码添加注解,用注解辅助静态分析,用这种方法能够在软件交付使用前,检测出程序中潜在的安全漏洞.
其他文献
电子政务的虚拟组织建模
文中介绍了电子政务系统组成虚拟组织的需要.利用层次结构协议分析信息集成的层次和形式的关系,并研究其在电子政务中的应用.提出了基于服务的电子政务建模方法,处理的政府对
期刊
电子政务
虚拟组织
服务集成
E-government
virtual organization
service integration
Agent技术在网格计算中的应用
网格计算的异构性、动态性和可扩展性对分布式计算技术提出了挑战.当前的分布式计算都是基于传统的Client/Server模式,通过远程过程调用或消息传递等方式实现跨平台操作,比较
期刊
AGENT技术
网格计算
网格服务
应用模型
agent
grid computing
OGSA
grid service
基于GA的神经网络在火炸药剂辨识中的应用
在分析了火炸药产品生产中压药过程特点的基础上,结合计算智能的相关理论,介绍了基于遗传算法的神经网络模型系统用于压药过程中药剂量的辨识.实验结果表明,该系统能够较好地
期刊
火炸药剂
辨识
神经网络
GA
遗传算法
genetic algorithms
neural networks
loading materials for in
面向农村 面向市场 推进新的农业科技革命
提出了湖南“十五”期间农业科技工作的目标和任务,并提出要重点抓好6个方面的工作和20项重点项目。并对农业科技管理和农村科技工作提出了工作思路和意见。
期刊
农业科技
农村科技
湖南
“十五”计划
科技管理
高新技术
科技成果产业化
提高应用MATLAB进行存贮问题仿真效率的研究
为了解决MATLAB编程中的瓶颈问题--循环语句及循环体执行效率低,从存贮问题出发,提出了用向量化的运算来代替循环操作以及优先采用内在函数的方法,从而提高了仿真程序的执行
期刊
仿真效率
MATLAB
存贮问题
数学模型
运筹学
store issue
vector quantities operation
intrinsic func
基于J2EE框架的税务信息服务系统设计
论述了基于J2EE框架的CALL CENTER技术的信息系统.J2EE规范支持跨平台开发的特性使系统风险大大降低,同时保证了系统的高可靠性和扩展性;CALL CENTER技术将电话和计算机结合,
期刊
J2EE
税务
框架
信息系统
征管
J2EE
tax
platform
information system
tax collection
农业可持续发展与化肥结构调整
中国是化肥消耗量最大的国家之一.为了提高中国农产品的品质,推动中国农业的可持续发展,必须对化肥产业结构进行战略性调整.对化肥结构调整应以农业结构调整为导向.通过对化
期刊
农业
可持续发展
化肥
结构调整
中国
发展趋势
市场定位
土壤肥料
绿色农产品
与本文相关的学术论文