论文部分内容阅读
提出了一种软件安全漏洞的检测方法，重点介绍了静态测试。对当前基于源码分析的软件安全测试工具进行了分类并加以分析。
软件安全静态检测技术与工具
【摘 要】
：
提出了一种软件安全漏洞的检测方法，重点介绍了静态测试。对当前基于源码分析的软件安全测试工具进行了分类并加以分析。
【机 构】
：
北京装甲兵工程学院,北京邮电大学网络与交换技术国家重点实验室
【出 处】
：
信息化纵横
【发表日期】
：
2009年9期
【基金项目】
：
国家863计划(2007AA010302)
其他文献
《中国养老产业白皮书》预计:到2020年养老产业市场规模将达到7.7万亿元,2030年更将超过20万亿元,复合平均增长率为11.4%。随着养老服务市场准入不断放宽,包括房企、保险机构
本文采用混合密度泛函理论中的B3LYP方法，结合6-31G（df,p）基组，首次系统地分析了组氨酸的四种质子化结构在空气、四氯化碳、四氢呋喃和水中的几何结构和红外光谱。为进一步探索质
纵隔节细胞神经瘤孔繁农，李善春女，４０岁，查体发现纵隔肿瘤１３年。手术及病理：节细胞神经瘤。说明：节细胞神经瘤多发生在脊椎两侧的交感神经节。本例肿瘤位于后纵隔，第７、８肋间隙增宽，椎间孔
据农村农业部网消息,近日,中央农村工作领导小组办公室、农业农村部印发了《2020年农村人居环境整治工作要点》(简称《要点》),制定1丨个方面50项举措,涉及21个部门,对各地区
打情感牌无可厚非,可是当所有奶粉品牌都在走情感路线时,你又将如何脱颖而出?品牌定位是所有奶粉厂商开展公关传播的核心,包括他们乐此不疲的以知识为主导的传播模式同样也需
随着信息技术的发展，计算机软件日趋复杂，软件是计算机运行的大脑，是保障计算机安全运行的基础。而软件本身是否安全会直接影响计算机的性能，用计算机软件安全检测技术对软件进行
越野滑雪场地大、速度快,这就使教练员的训练和选才比较困难。随着信息化时代的到来,运动训练数字化已经成为现实。使用传感器技术,就可以使瞬间完成的动作数字化,使抽象的运
膜融合是有包膜病毒入侵靶细胞的关键步骤,低pH、受体结合、二者兼具或其他尚未界定的机制均可触发病毒融合蛋白的构象重排,介导病毒包膜与靶细胞膜或内体膜间的融合。组氨酸
《半导体器件物理》是高职院校微电子专业的一门重要的专业基础课，是集成电路设计和制造的理论基础。笔者在教学实践中通过调整教学内容，推进理实一体化教学模式，改进教学方法，对