切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于契约的函数指针静态安全分析
基于契约的函数指针静态安全分析
来源 :电子科技 | 被引量 : 0次 | 上传用户:bibby_514
【摘 要】
:
文中扩充了基于契约的安全检查机制,提出了一种针对函数指针的安全检查方法。该方法利用静态分析获取的函数指针指向信息,结合自下而上分析过程中记录的契约信息,对函数指针的使
【作 者】
:
马志宇
【机 构】
:
西安电子科技大学软件工程研究所
【出 处】
:
电子科技
【发表日期】
:
2007年4期
【关键词】
:
契约
函数指针
安全分析
安全漏洞
contract
function pointer
safety analysis
bugs
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文中扩充了基于契约的安全检查机制,提出了一种针对函数指针的安全检查方法。该方法利用静态分析获取的函数指针指向信息,结合自下而上分析过程中记录的契约信息,对函数指针的使用进行安全性检查。
其他文献
松毛虫防治技术在抚顺地区的应用
松毛虫主要食害松树的针叶,是抚顺市的主要森林害虫之一。被害林木,轻者影响生长,重者造成枯死。为确保抚顺市森林健康生长,更好地发挥森林的生态效益、经济效益和社会效益,文章在
期刊
松毛虫
防治技术
应用
关于中小企业融资难问题的探讨
近年来社会经济取得了较快的发展,中小企业经营规模不断扩大,但在中小企业发展过程中普遍面临着融资难的问题,这在很大程度上制约了中小企业经营规模的扩大,因此需对中小企业融资
期刊
中小企业
融资
问题
对策
生态城市理念下的园林绿化设计分析
生态城市理念有着极为丰富的内涵,园林绿化工程可以说是其中的重要组成部分,基于此,在园林绿化设计中必须要坚持因地制宜和以人为本的原则,对园林绿化设计方案予以不断地完善
期刊
园林绿化设计
园林绿化工程
生态城市理念
以人为本的原则
宜居城市建设
美化环境
生态型
因地制宜
海州矿排土场造林技术探讨
在详细分析海州矿排土场基本情况的基础上,从多方面、有针对性地对该地区进行了造林技术探讨。结果得出:在海州矿排土场上采取相应的整地、造林、幼林抚育等措施,可使该造林获得
期刊
排土场
造林
树种选择
混交林
纯林
土改与乡村权力关系的重塑——以新中国成立初期的四川绵阳专区为例
新中国成立初期的土地改革,从经济上摧毁了旧社会政治关系的基础,颠覆了我国乡村社会传统的政治格局和秩序,对当代中国历史发展产生了深远影响。本文以新中国成立初期(1950—1
期刊
土地改革
乡村权力关系
传统精英
政治格局
执政者阶层
land reform
rural power relations
the traditional
基于TMS320c6711b浮点DSP的自动白平衡的实现
由于自然界的光线不总是相同的,而可感知到的一个物体的颜色依赖于照射到它的光源。人类的大脑可以很好地“校正”这些颜色变化,但CCD和CMOS感光器却不能完成这样的任务,所以要
期刊
白平衡
12C
AWB
White balance
I2C
AWB
一种基于H.264标准的视频水印方案
本方案采用量化DCT系数和最低有效位匹配的方式进行水印提取。通过每个4×4整数DCT变换块中的量化DC系数来确定是否嵌入水印。最低有效位是指量化AC系数的幅度之和所在编
期刊
视频水印
予块编号
最低有效位
video watermark
block number
LSB
一种起点预测的十字形快速运动估计算法
基于对运动矢量概率分布的方向性中心偏移特性和起点预测搜索技术的研究,提出了一种起点预测的十字形快速运动估计算法(IPPAFA),在保持搜索精度的同时有效降低了计算复杂度。实验
期刊
运动估计
十字形搜索
起点预测
IPPAFA
motion estimation
acrossshape search
initial search poi
一种基于平滑窗口法的盲分离复数算法
通过对传统盲源分离批处理EASI算法的分析,针对时变信道中通信信号的复数形式,以平滑窗的形式实现了批处理算法在时变混合模型下的应用。通过主分量分析的原理,进行噪声方差估计
期刊
盲源分离
平滑窗
独立分量分析
主分量分析
blind source separation
sliding window
independent compo
个人视角IP网络视频会议
在分析多窗口模式视频会议系统体系结构及其对网络带宽占用情况的基础上,结合现实会议中语音和视频的关系,提出个人视角模式视频会议的概念及其体系结构,并深入分析该模式与多窗
期刊
视频会议
个人视角
静音检测
video conference
personal view
voice activity detection
与本文相关的学术论文