【摘 要】
：
软件代码的静态分析是一种针对代码的自动验证的非常有效的方法,其目的是在不运行代码的情况下,通过分析软件代码本身的语法和数据流,检查代码是否满足安全性和可靠性要求。
论文部分内容阅读
软件代码的静态分析是一种针对代码的自动验证的非常有效的方法,其目的是在不运行代码的情况下,通过分析软件代码本身的语法和数据流,检查代码是否满足安全性和可靠性要求。为控制程序的复杂性,便于后期的检测与维护,《GJBZ 102A-2012军用软件安全性设计指南》对软件的复杂性提出了控制要求,对此引入Understand软件对程序代码的模块规模进行分析。在分析Understand软件及其在分析程序代码后生成的TXT文件后,设计一种统计工具,利用C++语言对文件中的数据进行筛选,提取所需数据并对其进行处理,以此提
其他文献
工业园区是产业集聚的一个载体,是区域经济发展的核心动力所在，工业园区能否实现其集聚效应、达到可持续发展并且引领区域经济实力的增强，关键在于就是产业规划是否合理，在工业
背景与目的:脑卒中具有发病率高、复发率高、致残率高和死亡率高的特点,尚缺乏高效、简便、准确的预测方法。本研究通过病例-对照研究的方法,结合Framingham卒中风险评分(Fra
<正>背景材料:2018年12月19日至21日召开的中央经济工作会议指出,宏观政策要强化逆周期调节,积极的财政政策要加力提效,实施更大规模的减税降费,较大幅度增加地方政府专项债
日本餐饮业还流行着学徒制,传说“洗米煮饭要三年,捏寿司得八年。”以前,学徒无法直接从师傅的教导中学习技艺,得一边做杂役一边偷师,从学徒开始到独当一面的寿司师傅,至少要
目的:探讨补充骨化三醇对酒精性肝硬化患者骨密度和骨代谢指标的影响。方法:将维生素D缺乏的酒精性肝硬化患者随机分成观察组和对照组,两组常规治疗相同,观察组给予骨化三醇
目的探讨老年性白内障多焦点人工晶状体植入的护理。方法回顾性非随机病例对照研究。选择2013年2月~2014年8月在我院植入Acry Sof Re STOR人工晶状体的老年性白内障48例60眼
凝聚了生活、生产实践经验的生态智慧,是云南少数民族传统生态文化在美丽云南建设中的价值维度和观念支撑。云南少数民族传统生态文化与习近平生态文明思想在实现人与自然的