【摘 要】
：
研究和设计了一个基于程序分析的源代码漏洞分析与检测工具框架,框架中的各个模块如控制流分析（控制流图的构建、函数调用图的实现及过程内分析与过程间分析等）、数据流分析（求
论文部分内容阅读
研究和设计了一个基于程序分析的源代码漏洞分析与检测工具框架,框架中的各个模块如控制流分析（控制流图的构建、函数调用图的实现及过程内分析与过程间分析等）、数据流分析（求定义引用链、污染数据传播的设计、指针别名分析）、结构分析器、安全调度器、规则构建器,本文主要对代码分析的两个阶段进行了较为详细的介绍,同时对主要采取的过程内和过程间分析算法做了说明。
其他文献
笔者在讲了“对立事件”这节课后，布置了这样一道课本习题，“今有标号为1、2、3、4、5的五封信，另有同样标号的五个信封．现将五封信任意地装入五个信封中，每个信封装一封信，试求至
面对复杂多变的社会状况,有必要建立起紧急状态制度、颁布<紧急状态法>,这是应对突发性社会事件的一个重要途径.本文围绕紧急状态立法从紧急状态的定义、国内外紧急状态立法
<正>"十三五"时期是杭州市养老服务体系"优化机构、提升能力、破解难题"的重要阶段,也是全市加快推进养老服务业健康发展的关键时期。面对新时期、新挑战,杭州市相继出台《杭
近年来,随着航空技术的迅速发展,飞机用电设备不断增多,配电系统用电量猛增,对航空电力系统要求也更高,其安全问题受到了更高的关注和重视。航空电缆复杂的工作环境加速了它
应用改良CTAB法分别提取生长于珠海和海南的3种药用红树植物秋茄、老鼠簕和桐花树的基因组DNA,以真核生物rDNA ITS区的通用引物分别对其rDNA ITS区进行nPCR扩增及测序,并对测
目的对帕金森患者进行神经电生理检测,研究其神经病变情况。方法选取我院诊治的帕金森患者25例作为实验组,并且选取同一时间在我院进行体检的健康人25例作为正常组,对其神经
作为《中国哲学史大纲》的骨架的“诸子不出于王官论” ,是胡适的一大创见。此说的建立 ,缘于从“哲学方法的性质”角度探讨“中国之所以缺乏科学研究”的问题意识 ,借助了以
根据PEMFC热量传递机理建立电堆温度的simulink模型,由于实验模型属于非线性模型,很难对其设计控制器,因此在工作点附近将系统线性展开得到其线性模型。针对线性模型设计MPC
目的:观察银冰愈痔膏用于混合痔外剥内扎术后换药的临床疗效。方法:将120例混合痔患者按手术时间先后顺序,随机分为观察组和对照组各60例。观察组术后给予中药银冰愈痔膏肛内
傣族男女青年发生婚前性行为被视为神所不容 ,未婚先孕更被看作是一种触犯鬼神的现象 ,当事人要受到村寨头人的各种惩罚 ,还要祭祀寨神勐神以求神灵的宽恕。被社会所接受的性